# Enhancing reuse of constraint solutions to improve symbolic execution

> Research article (Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015) · cited 60× · AI/ML

**Wikidata**: [openalex:W2020703884](https://www.wikidata.org/wiki/openalex:W2020703884)  
**Source**: https://4ort.xyz/entity/enhancing-reuse-of-constraint-solutions-to-improve-symbolic-execution