Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs.
Vaclav RechtbergerMiroslav BuresBestoun S. AhmedPublished in: CoRR (2022)
Keyphrases
- test case generation
- directed graph
- test suite
- finite state machines
- mutation testing
- test cases
- software testing
- random walk
- test data generation
- finite state automata
- model checking
- static analysis
- directed acyclic graph
- object oriented systems
- java programs
- data sets
- graph structure
- test sequences
- hidden markov models
- testing process
- disjoint paths
- artificial intelligence