Shadow Symbolic Execution for Testing Software Patches.

Saved in:

Bibliographic Details
Title:	Shadow Symbolic Execution for Testing Software Patches.
Authors:	Kuchta, Tomasz, Palikareva, Hristina, Cadar, Cristian
Source:	ACM Transactions on Software Engineering & Methodology; Oct2018, Vol. 27 Issue 3, p1-32, 32p
Database:	Applied Science & Technology Source

Description
ISSN:	1049331X
DOI:	10.1145/3208952