Xiangyang Jia, Carlo Ghezzi, Shi Ying. Enhancing reuse of constraint solutions to improve symbolic execution. In Michal Young, Tao Xie, editors, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. pages 177-187, ACM, 2015. [doi]
Abstract is missing.