Greedy combinatorial test case generation using unsatisfiable cores.
Akihisa YamadaArmin BiereCyrille ArthoTakashi KitamuraEun-Hye ChoiPublished in: ASE (2016)
Keyphrases
- test case generation
- unsatisfiable cores
- test cases
- hidden structure
- software testing
- object oriented systems
- test data generation
- test suite
- max sat
- search algorithm
- dynamic programming
- java programs
- software maintenance
- boolean satisfiability
- search space
- artificial intelligence
- branch and bound algorithm
- static analysis
- multi agent