On-the-fly Conformance Testing using SPIN.

René G. de Vries Jan Tretmans

Published in: Int. J. Softw. Tools Technol. Transf. (2000)

Keyphrases

database
software testing
e learning
decision trees
high level
database systems
feature extraction
input image