Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs.
Vaclav RechtbergerMiroslav BuresBestoun S. AhmedPublished in: ICST Workshops (2022)
Keyphrases
- test case generation
- directed graph
- test suite
- finite state machines
- mutation testing
- test cases
- software testing
- random walk
- test data generation
- directed acyclic graph
- finite state automata
- model checking
- static analysis
- object oriented systems
- undirected graph
- java programs
- test sequences
- test generation
- simulated annealing algorithm
- strongly connected
- graph structures
- relational databases
- graph structure
- software engineering