Sign in
Specification extraction by symbolic execution.
Josef Pichler
Published in:
WCRE (2013)
Keyphrases
</>
symbolic execution
specification language
formal specification
test data generation
static analysis
description language
test generation
programming language
source code
high level
database
databases
real world
case study
relational databases
object oriented