Login / Signup
Using a bounded model checker for test generation: How to kill two birds with one SMT solver.
Maxim Petrov
Kirill Gagarski
Mikhail A. Belyaev
Vladimir M. Itsykson
Published in:
Autom. Control. Comput. Sci. (2015)
Keyphrases
</>
test generation
model checker
test suite
test cases
model checking
formal verification
formal methods
temporal logic
description language
static analysis
software testing
formal specification
set theory
ai planning
quality assurance
specification language
test set
data sets
heuristic search
state space
web services