Systematic generation of glass-box test cases for functional logic programs.
Sebastian FischerHerbert KuchenPublished in: PPDP (2007)
Keyphrases
- logic programs
- test cases
- logic programming
- test data
- software testing
- stable models
- black box
- answer set programming
- background knowledge
- fixpoint
- test set
- answer sets
- test suite
- test generation
- test case generation
- regression testing
- normal logic programs
- number of test cases
- prolog programs
- model based testing
- partial deduction
- computational properties
- inductive logic programming
- term rewriting systems
- test case selection
- object oriented
- strong equivalence
- semantics of logic programs
- loop formulas
- stable model semantics
- deductive databases
- test suite reduction
- artificial intelligence