Test-Case Generation from Prolog-Based Specifications.

Richard Denney Test-Case Generation from Prolog-Based Specifications. 49-57 1991 8 IEEE Software 2 db/journals/software/software8.html#Denney91