Prioritized Variable-length Test Cases Generation for Finite State Machines.
Vaclav RechtbergerMiroslav BuresBestoun S. AhmedYoucef BelkhierJiri NemaHynek SchvachPublished in: ICST Workshops (2022)
Keyphrases
- variable length
- test cases
- finite state machines
- fixed length
- mutation testing
- software testing
- test data
- test suite
- test generation
- finite state automata
- test sequences
- model checking
- black box
- n gram
- regression testing
- number of test cases
- test set
- test case generation
- bitstream
- hidden markov models
- test suite reduction
- test case selection
- testing process
- regular expressions
- test data generation
- integration testing
- model based testing
- object oriented
- human motion
- feature selection
- data sets