Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines.
Anton ErmakovNina YevtushenkoPublished in: Autom. Control. Comput. Sci. (2017)
Keyphrases
- finite state machines
- mutation testing
- test suite
- model checking
- model checker
- test cases
- test sequences
- test suite reduction
- finite state automata
- test generation
- database applications
- testing process
- static analysis
- regular expressions
- test case generation
- integration testing
- regression testing
- training data
- set of test cases
- artificial intelligence