Generation of test cases for simple prolog programs.

Pekka Kilpeläinen Heikki Mannila

Published in: Acta Cybern. (1990)

Keyphrases

test cases
prolog programs
black box
test data
software testing
test generation
test case generation
regression testing
test sequences
test set
test case selection
test data generation
test suite
model based testing
number of test cases
logic programs
set of test cases
testing process