# Relocatable addressing model for symbolic execution

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

**Wikidata**: [openalex:W3043337184](https://www.wikidata.org/wiki/openalex:W3043337184)  
**Source**: https://4ort.xyz/entity/relocatable-addressing-model-for-symbolic-execution