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