Mixing type checking and symbolic execution.

Yit Phang Khoo Bor-Yuh Evan Chang Jeffrey S. Foster

Published in: PLDI (2010)

Keyphrases

symbolic execution
type checking
static analysis
test data generation
test generation
data types
specification language
source code
query processor
relational calculus
data flow
abstract data types
object model
simulated annealing algorithm
expressive power
data structure
database management systems