Timotej Kapus, Cristian Cadar. Automatic testing of symbolic execution engines via program generation and differential testing. In Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen, editors, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017. pages 590-600, ACM, 2017. [doi]
Abstract is missing.