# Type and interval aware array constraint solving for symbolic execution

> Research article (Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021) · cited 13× · AI/ML

**Wikidata**: [openalex:W3177908991](https://www.wikidata.org/wiki/openalex:W3177908991)  
**Source**: https://4ort.xyz/entity/type-and-interval-aware-array-constraint-solving-for-symbolic-execution