Login / Signup
Building a verification test plan: trading brute force for finesse.
Janick Bergeron
Harry Foster
Andrew Piziali
Raj Shekher Mitra
Catherine Ahlschlager
Doron Stein
Published in:
DAC (2006)
Keyphrases
</>
brute force
computationally expensive
test generation
search quality
computer chess
test cases
model checking
statistical tests
exhaustive search
candidate set
computational complexity
state space
plan recognition
locality sensitive hashing