A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.
Lingzhong ZhaoTianlong GuJunyan QianGuoyong CaiPublished in: APLAS (2007)
Keyphrases
- test cases
- generation method
- prolog programs
- software testing
- test case selection
- test data
- logic programs
- regression testing
- black box
- test suite
- test generation
- control flow
- test case generation
- test sequences
- logic programming
- test set
- set of test cases
- test suite reduction
- testing process
- test data generation
- domain specific languages
- number of test cases
- formal semantics
- design patterns
- databases
- software maintenance
- life cycle
- query language
- artificial intelligence