@misc{indiciaeccb8db623f1e,
  title = {Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery},
  author = {Mohammad Amin Alipour and Alex Groce and Chaoqiang Zhang and Anahita Sanadaji and Gokul Caushik},
  year = {2016},
  url = {https://arxiv.org/abs/1609.06382},
  note = {Source identifier: 1609.06382}
}