Reducing FSM-Based Test Suites with Guaranteed Fault Coverage.
Jorge Francisco CutigiAdenilso da Silva SimãoSimone R. S. SouzaPublished in: Comput. J. (2016)
Keyphrases
- test suite
- test suite reduction
- test cases
- regression testing
- mutation testing
- finite state machines
- test case generation
- static analysis
- software testing
- model checker
- testing process
- java programs
- number of test cases
- databases
- machine learning
- test data
- model checking
- feature extraction
- case study
- artificial intelligence