Test suite consistency verification.
Sergiy BorodayAlexandre PetrenkoAndreas UlrichPublished in: EWDTS (2008)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- optimisation problems
- test generation
- static analysis
- software testing
- number of test cases
- mutation testing
- formal verification
- set of test cases
- consistency checking
- test data
- model checking
- data sets
- real time
- face verification
- test sequences
- global consistency
- temporal consistency
- asynchronous circuits
- feature extraction
- artificial intelligence
- databases