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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings / International Conference on Software Engineering S. 144 - 155
Hauptverfasser:	Christakis, Maria, Muller, Peter, Wustholz, Valentin
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 14.05.2016
Schlagworte:	Aerospace electronics Conferences dynamic symbolic execution Instruments partial verification Performance analysis program verification Redundancy Software engineering static analysis Testing
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!