Optimal strategies for testing nondeterministic systems.

Lev Nachmanson Margus Veanes Wolfram Schulte Nikolai Tillmann Wolfgang Grieskamp

Published in: ISSTA (2004)

Keyphrases

optimal strategy
mathematical models
databases
website
expert systems
knowledge based systems
test cases
decision problems
computer vision
information systems