Guiding Dynamic Symbolic Execution Toward Unverified Program Executions

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

Item Type: Conference or workshop item (Paper)
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: 18 Jan 2017 16:47 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