A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications.
Shaoying LiuShin NakajimaPublished in: SSIRI (2010)
Keyphrases
- test case generation
- formal specification
- software testing
- object oriented design
- object oriented systems
- test cases
- specification languages
- model checking
- reverse engineering
- software maintenance
- test data generation
- object oriented
- formal methods
- test suite
- software systems
- software development
- source code
- concurrent systems
- software engineering
- genetic algorithm
- protocol specification
- formal specification language