# M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs

> Research article (2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2018) · cited 12× · AI/ML

**Wikidata**: [openalex:W2773032204](https://www.wikidata.org/wiki/openalex:W2773032204)  
**Source**: https://4ort.xyz/entity/m-string-segmentation-a-refined-abstract-domain-for-string-analysis-in-c-programs