Modeling Unknown Values in Test and Verification.

Bernd Becker Matthias Sauer Christoph Scholl Ralf Wimmer

Published in: SyDe Summer School (2015)

Keyphrases

test generation
test cases
reinforcement learning
test statistic
colored petri nets
database
information retrieval
search engine
website
data structure
training set
software engineering