Login / Signup
MYGEN: automata-based on-line test generator for assertion-based verification.
Yann Oddos
Katell Morin-Allory
Dominique Borrione
Marc Boule
Zeljko Zilic
Published in:
ACM Great Lakes Symposium on VLSI (2009)
Keyphrases
</>
data generator
test generation
test cases
handwritten signature verification
databases
search algorithm
website
training set
hidden markov models
case study
petri net
model checking
statistical tests
face verification
formal methods
image processing
machine learning