Login / Signup
FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation.
Heinz Riener
Görschwin Fey
Published in:
SPIN (2012)
Keyphrases
</>
formal verification
test generation
program slicing
test cases
model checking
software testing
static analysis
data sets
database systems
high level
multi agent
software architecture
bounded model checking