Automata-Based Generation of Test Cases for Reactive Systems.
Simone VuottoPublished in: CPS Summer School, PhD Workshop (2019)
Keyphrases
- test cases
- reactive systems
- software testing
- control flow
- test data
- black box
- test sequences
- test suite
- regression testing
- test generation
- test suite reduction
- temporal logic
- test set
- model checking
- test case generation
- test data generation
- object oriented
- testing process
- test case selection
- number of test cases
- information flow
- generation algorithm
- formal methods
- set of test cases
- database
- model based testing
- information systems
- real time