Specification extraction by symbolic execution.

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