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]
No references recorded for this publication.
No citations of this publication recorded.