Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution.

Xiangyang Jia Carlo Ghezzi Shi Ying

Published in: CoRR (2015)

Keyphrases

symbolic execution
data sets
artificial intelligence
high level
database systems
relational databases
general purpose
quality control