A Test Generation Method Based on k-Cycle Testing for Finite State Machines.
Yuya KinoshitaToshinori HosokawaHideo FujiwaraPublished in: IOLTS (2019)
Keyphrases
- generation method
- finite state machines
- mutation testing
- test cases
- test generation
- test sequences
- test suite
- software testing
- model checking
- statistical tests
- test data
- set of test cases
- test case generation
- regular expressions
- regression testing
- testing process
- finite state automata
- test data generation
- integration testing
- database
- number of test cases