Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C. Péraire
Test Selection for Object-Oriented Software Based on Formal Specifications
Related publications
Formal Verification of Object-Oriented Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Software Testing for Object-Oriented Software
E-Learning
Computer Science Applications
Education
Search-Based Test Case Generation for Object-Oriented Java Software Using Strongly-Typed Genetic Programming
CSCW for Preparing Formal Software Specifications: Issues and Implementation
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Changeability Evaluation Model for Object Oriented Software
International Journal of Computer Science and Information Technology
Reusability Estimation Model for Object Oriented Software
IARJSET
Software Visualization for Object-Oriented Program Comprehension
Formal Specifications of Software Model Evolution Using Contracts
Beyond Object-Oriented Software Development
