Control-flow based testing of Prolog programs.

Gang Luo Gregor von Bochmann Behçet Sarikaya Michel Boyer

Published in: ISSRE (1992)

Keyphrases

prolog programs
control flow
software testing
data flow
test cases
logic programs
software development
reactive systems
process model
transition systems
software engineering
software systems
modeling language
memory hierarchy
formal specification
high level
case study
information systems