Automated generation of (F)LTL oracles for testing and debugging.
Ingo PillFranz WotawaPublished in: J. Syst. Softw. (2018)
Keyphrases
- test cases
- software testing
- search based testing
- test data generation
- temporal logic
- semi automated
- generation process
- model checking
- fully automated
- semi automatic
- active learning
- data driven
- automated analysis
- test set
- software engineering
- search engine
- model based diagnosis
- case study
- bounded model checking
- web services