catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
Mutsunori BanbaraKatsumi InoueHiromasa KaneyukiTenda OkimotoTorsten SchaubTakehide SohNaoyuki TamuraPublished in: LPNMR (2017)
Keyphrases
- answer set programming
- test suite
- test suite reduction
- test cases
- logic programs
- logic programming
- regression testing
- software testing
- answer sets
- test case generation
- testing process
- number of test cases
- constraint logic programming
- causal theories
- mutation testing
- answer set programs
- stable model semantics
- test sequences
- test generation
- set of test cases
- code coverage
- knowledge representation
- artificial intelligence
- update semantics
- disjunctive logic programming
- test data
- general purpose
- knowledge base
- haplotype inference
- decision trees
- declarative programming
- data sets
- modulo theories