# Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects

> Research article (2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021) · cited 11× · AI/ML

**Wikidata**: [openalex:W3169500179](https://www.wikidata.org/wiki/openalex:W3169500179)  
**Source**: https://4ort.xyz/entity/automatically-checking-semantic-equivalence-between-versions-of-large-scale-c-projects