TY  - RPRT
TI  - Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
AU  - Mohammad Amin Alipour
AU  - Alex Groce
AU  - Chaoqiang Zhang
AU  - Anahita Sanadaji
AU  - Gokul Caushik
PY  - 2016
UR  - https://arxiv.org/abs/1609.06382
ID  - 1609.06382
ER  -