On deriving test suites for nondeterministic finite state machines with time-outs.
Natalia ShabaldinaR. F. GalimullinPublished in: Program. Comput. Softw. (2012)
Keyphrases
- finite state machines
- test suite
- mutation testing
- test cases
- test suite reduction
- model checking
- finite state automata
- model checker
- test sequences
- regression testing
- static analysis
- regular expressions
- software testing
- test case generation
- finite automata
- java programs
- testing process
- hidden markov models
- test generation
- database applications
- case study
- temporal logic
- open source
- code coverage
- object oriented
- number of test cases