An Improved Beam-Search for the Test Case Generation for Formal Verification Systems.

Mahmoud A. Bokhari Thorsten Bormer Markus Wagner

Published in: SSBSE (2015)

Keyphrases

formal verification
beam search
test case generation
automated verification
model checking
artificial intelligence
decision trees
relational databases
search space