Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao. Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. In Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014. pages 98-107, IEEE, 2014. [doi]
Abstract is missing.