Guiding Dynamic Symbolic Execution toward Unverified Program Executions

Most techniques to detect program errors, such as testing, code reviews, and static program analysis, do not fully verify all possible executions of a program. They leave executions unverified when they do not check certain properties, fail to verify properties, or check properties under certain uns...

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 144 - 155
Main Authors:	Christakis, Maria, Muller, Peter, Wustholz, Valentin
Format:	Conference Proceeding
Language:	English
Published:	ACM 14.05.2016
Subjects:	Aerospace electronics Conferences dynamic symbolic execution Instruments partial verification Performance analysis program verification Redundancy Software engineering static analysis Testing
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!