Test Selection for Object-Oriented Software Based on Formal Specifications

doi 10.1007/978-0-387-35358-6_25

Full Text

Abstract

Available in

Date

January 1, 1998

Authors

Publisher

Springer US

Related search

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Model-Based Software Testing for Object-Oriented Software

Computer Science Applications

English

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

English

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Journal of Computer Science

Computer Networks

Artificial Intelligence

English

Reusability Estimation Model for Object Oriented Software

English

Changeability Evaluation Model for Object Oriented Software

International Journal of Computer Science and Information Technology

English

Software Visualization for Object-Oriented Program Comprehension

English

Formal Specifications of Software Model Evolution Using Contracts

English

Beyond Object-Oriented Software Development

English