Industrial Examples of Formal Specifications for Test Case Generation.
Hendrik RoehmRainer GmehlichThomas HeinzJens OehlerkingMatthias WoehrlePublished in: ARCH@CPSWeek (2015)
Keyphrases
- test case generation
- formal specification
- software testing
- object oriented design
- object oriented systems
- test cases
- model checking
- test data generation
- software maintenance
- quality assurance
- software systems
- test suite
- software engineering
- reverse engineering
- cooperative
- concurrent systems
- formal methods
- temporal logic
- data sets
- genetic programming
- software development
- programming language
- object oriented
- search space
- databases