Qualifying Reusable Functions Using Symbolic Execution.

Aniello Cimitile Andrea De Lucia Malcolm Munro

Published in: WCRE (1995)

Keyphrases

symbolic execution
static analysis
specification language
test data generation
test generation
source code
software systems
database
general purpose
case study
open source
software components