# Efficient detection and validation of atomicity violations in concurrent programs

> Research article (Journal of Systems and Software, 2017) · cited 11× · AI/ML

**Wikidata**: [openalex:W2621304065](https://www.wikidata.org/wiki/openalex:W2621304065)  
**Source**: https://4ort.xyz/entity/efficient-detection-and-validation-of-atomicity-violations-in-concurrent-programs