Maria Christakis, Peter Müller 0001, Valentin Wüstholz. Guiding dynamic symbolic execution toward unverified program executions. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016. pages 144-155, ACM, 2016. [doi]
Abstract is missing.