Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search.
Andreas FellnerWillibald KrennRupert SchlickThorsten TarrachGeorg WeissenbacherPublished in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
- test case generation
- search algorithm
- test data generation
- exhaustive search
- variable ordering
- candidate solutions
- genetic algorithm
- evolutionary algorithm
- search space
- search procedure
- test cases
- branch and bound
- simulated annealing algorithm
- solution space
- fitness function
- simulated annealing
- evolutionary search
- databases
- variable ordering heuristics
- software testing
- search tree
- genetic algorithm ga
- software systems
- feature space
- artificial intelligence
- real world