Test Selection for Object-Oriented Software Based on Formal Specifications

doi 10.1007/978-0-387-35358-6_25
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Model-Based Software Testing for Object-Oriented Software

E-Learning
Computer Science ApplicationsEducation
2008English

Search-Based Test Case Generation for Object-Oriented Java Software Using Strongly-Typed Genetic Programming

2008English

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2008English

Changeability Evaluation Model for Object Oriented Software

International Journal of Computer Science and Information Technology
2017English

Reusability Estimation Model for Object Oriented Software

IARJSET
2015English

Software Visualization for Object-Oriented Program Comprehension

English

Formal Specifications of Software Model Evolution Using Contracts

English

Beyond Object-Oriented Software Development

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy