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