Enhancing reuse of constraint solutions to improve symbolic execution.

Xiangyang Jia, Carlo Ghezzi, Shi Ying

Browse the full ISSTA paper archive.