TY  - RPRT
TI  - Statistical inference of static analysis rules
AU  - Engler, Dawson Richards
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20090043096
ID  - 20090043096
ER  -