Fault-based test suite prioritization for specification-based testing.
Yuen-Tak YuMan Fai LauPublished in: Inf. Softw. Technol. (2012)
Keyphrases
- test suite
- regression testing
- test case generation
- test cases
- test suite reduction
- software testing
- static analysis
- sequence diagrams
- testing process
- tool support
- software maintenance
- fault detection
- high level
- mutation testing
- fault diagnosis
- number of test cases
- code coverage
- specification language
- test data generation
- formal specification
- machine learning
- object oriented
- data model
- decision trees