Guiding Dynamic Symbolic Execution toward Unverified Program Executions

Download
Text (Adobe PDF, 1.185Mb)
Thumbnail
Open access
Author
Christakis, Maria
Müller, Peter
Wüstholz, Valentin
Date
2016
Type
  • Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-010444035
Publication status
published
External links
Search via SFX
Book title
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
Pages / Article No.
144 - 155
Publisher
ACM
Event
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering (ICSE 2016), Austin, TX, USA, May 14-22, 2016
Subject
VERIFICATION (SOFTWARE ENGINEERING); CODING (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); KODIERUNG (SOFTWARE ENGINEERING)
Organisational unit
03653 - Müller, Peter / Müller, Peter  
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
Citations
Cited 4 times in Web of Science
ETH Bibliography
yes
Altmetrics