# Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations

> Research article (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023) · cited 11× · AI/ML

**Wikidata**: [openalex:W4389158953](https://www.wikidata.org/wiki/openalex:W4389158953)  
**Source**: https://4ort.xyz/entity/statfier-automated-testing-of-static-analyzers-via-semantic-preserving-program-transformations