Scaling symbolic execution using staged analysis.

Junaid Haroon Siddiqui Sarfraz Khurshid

Published in: Innov. Syst. Softw. Eng. (2013)

Keyphrases

static analysis
data sets
real world
decision trees
database systems
open source
quality assessment
symbolic execution