Login / Signup
Compositional Proofs with Symbolic Execution.
Simon Bäumler
Florian Nafz
Michael Balser
Wolfgang Reif
Published in:
VERIFY (2008)
Keyphrases
</>
symbolic execution
test generation
test data generation
static analysis
source code
specification language
data flow
artificial intelligence
general purpose
programming language
open source