Test frame updating in CPM testing of Prolog programs.
Lingzhong ZhaoTianlong GuJunyan QianGuoyong CaiPublished in: Softw. Qual. J. (2008)
Keyphrases
- prolog programs
- test cases
- logic programs
- test data
- test generation
- software testing
- test sequences
- statistical tests
- test suite
- testing process
- logic programming
- frame rate
- integration testing
- code coverage
- number of test cases
- statistical significance
- test case generation
- test driven development
- neural network
- test data generation
- software development
- general purpose
- object oriented
- training data
- knowledge base