# Shadow Symbolic Execution for Testing Software Patches

> Research article (ACM Transactions on Software Engineering and Methodology, 2018) · cited 22× · AI/ML

**Wikidata**: [openalex:W2894151403](https://www.wikidata.org/wiki/openalex:W2894151403)  
**Source**: https://4ort.xyz/entity/shadow-symbolic-execution-for-testing-software-patches