Test-Case Generation from Prolog-Based Specifications.

Published in: IEEE Softw. (1991)

Keyphrases

test case generation
test cases
software testing
object oriented systems
test data generation
test suite
logic programming
programming language
formal specification
java programs
object oriented
real time
high level
relational databases
multi agent
case study
feature selection
artificial intelligence