Generalizing symbolic execution to library classes.

Sarfraz Khurshid Yuk Lai Suen

Published in: PASTE (2005)

Keyphrases

symbolic execution
static analysis
test generation
source code
test data generation
learning algorithm
specification language
genetic algorithm
artificial intelligence
optimal solution
general purpose
description language