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á bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 144 - 155
Hlavní autoři:	Christakis, Maria, Muller, Peter, Wustholz, Valentin
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 14.05.2016
Témata:	Aerospace electronics Conferences dynamic symbolic execution Instruments partial verification Performance analysis program verification Redundancy Software engineering static analysis Testing
ISSN:	1558-1225
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!