Login / Signup
A Software Testing Framework to Integrate Formal Verification Results.
Stefan Huster
Patrick Heckeler
Jürgen Ruf
Sebastian Burg
Thomas Kropf
Wolfgang Rosenstiel
Published in:
MBMV (2013)
Keyphrases
</>
formal verification
software testing
model checking
software development
database
data sets
software engineering
test cases
machine learning
information systems
case study
program slicing