S. Tasharofi, M. Pradel, Y. Lin, and R. Johnson. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, page 114-124. (November 2013)
S. Tan, D. Marinov, L. Tan, and G. Leavens. Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on, page 260-269. (April 2012)