# A bounded symbolic-size model for symbolic execution

> Research article (Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021) · cited 10× · AI/ML

**Wikidata**: [openalex:W3194906003](https://www.wikidata.org/wiki/openalex:W3194906003)  
**Source**: https://4ort.xyz/entity/a-bounded-symbolic-size-model-for-symbolic-execution