Issues in using model checkers for test case generation.

Gordon Fraser Franz Wotawa Paul Ammann

Published in: J. Syst. Softw. (2009)

Keyphrases

neural network
high level
relational databases
database
artificial intelligence
case study
cooperative