Application of Prolog to Test Sets Generation from Algebraic Specifications.

Luc Bougé N. Choquet Laurent Fribourg Marie-Claude Gaudel

Published in: TAPSOFT, Vol.2 (1985)

Keyphrases

test set
error rate
test cases
database
training set
training data
software engineering
logic programming
test data
dependency parsing