Generating test case chains for reactive systems.
Peter SchrammelTom MelhamDaniel KroeningPublished in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
- test cases
- reactive systems
- software testing
- control flow
- test data
- test case selection
- test sequences
- test generation
- model checking
- test case generation
- temporal logic
- petri net
- regression testing
- information flow
- test suite reduction
- black box
- test set
- test suite
- testing process
- test data generation
- set of test cases
- object oriented
- number of test cases
- formal methods
- real time systems
- real time
- error rate
- artificial intelligence