Skip to main content

Guiding Dynamic Symbolic Execution Toward Unverified Program Executions

Christakis, Maria, Müller, Peter, Wüstholz, Valentin (2016) Guiding Dynamic Symbolic Execution Toward Unverified Program Executions. In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering. . pp. 144-155. ACM ISBN 978-1-4503-3900-1. (doi:10.1145/2884781.2884843)

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1145/2884781.2884843
Subjects: Q Science > QA Mathematics (inc Computing science)
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: M. Christaki
Date Deposited: 23 Nov 2016 14:53 UTC
Last Modified: 29 May 2019 18:17 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/58937 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year