Shadow Symbolic Execution for Testing Software Patches. - Kuchta, Tomasz; Palikareva, Hristina; Cadar, Cristian (ACM Transactions on Software Engineering & Methodology, 2018)