Airwolf-TG: A test generator for assertion-based dynamic verification.

Jason G. Tong Marc Boule Zeljko Zilic

Published in: HLDVT (2009)

Keyphrases

dynamic environments
model checking
test generation
neural network
test data
database
databases
data mining
artificial intelligence
website
probabilistic model
software engineering
dynamically changing
signature verification
data generator