Decreasing the complexity of deriving test suites against nondeterministic finite state machines.
Hüsnü YenigünNatalia KushikJorge LópezNina YevtushenkoAna R. CavalliPublished in: EWDTS (2017)
Keyphrases
- finite state machines
- mutation testing
- test suite
- finite state automata
- test cases
- model checking
- test sequences
- regression testing
- model checker
- java programs
- test suite reduction
- computational complexity
- database applications
- temporal logic
- test generation
- data sets
- decision problems
- data management
- feature space
- multi agent systems
- integration testing
- learning algorithm
- machine learning