An Automated (F) LTL Test Oracle for Testing with Requirements.
Ingo PillFranz WotawaPublished in: ISSRE Workshops (2016)
Keyphrases
- test cases
- software testing
- search based testing
- test sequences
- test data
- test suite
- test generation
- test data generation
- statistical tests
- semi automated
- model checking
- model based testing
- test case generation
- relational databases
- neural network
- number of test cases
- databases
- testing process
- cd rom
- fully automated
- code coverage
- set of test cases
- database