Automation and Testing of Character-graphic Programs.

Published in: Softw. Pract. Exp. (1997)

Keyphrases

symbolic execution
test cases
model based testing
software testing
fixpoint
test data generation
set of test cases
information retrieval
computer vision
image sequences
expert systems
programming environment