# Detecting missing-check bugs via semantic- And context-aware criticalness and constraints inferences

> Research article (USENIX Security Symposium, 2019) · cited 39× · AI/ML

**Wikidata**: [openalex:W2964938167](https://www.wikidata.org/wiki/openalex:W2964938167)  
**Source**: https://4ort.xyz/entity/detecting-missing-check-bugs-via-semantic-and-context-aware-criticalness-and-constraints-inferences