Fast Model-Based Fault Localisation with Test Suites.
Geoff BirchBernd FischerMichael R. PoppletonPublished in: TAP@STAF (2015)
Keyphrases
- test suite
- test cases
- test suite reduction
- regression testing
- software testing
- fault diagnosis
- model checker
- mutation testing
- java programs
- test case generation
- fault detection
- static analysis
- testing process
- test set
- expert systems
- black box
- multi agent systems
- database
- test sequences
- feature selection
- failure modes
- data sets