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

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings / International Conference on Software Engineering s. 144 - 155
Hlavní autori:	Christakis, Maria, Muller, Peter, Wustholz, Valentin
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 14.05.2016
Predmet:	Aerospace electronics Conferences dynamic symbolic execution Instruments partial verification Performance analysis program verification Redundancy Software engineering static analysis Testing
ISSN:	1558-1225
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!