Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani. Automatic predicate abstraction of C programs. SIGPLAN Notices, 47(4a):37-47, 2012. [doi]
@article{BallMMR12,
title = {Automatic predicate abstraction of C programs},
author = {Thomas Ball and Rupak Majumdar and Todd D. Millstein and Sriram K. Rajamani},
year = {2012},
doi = {10.1145/2442776.2442783},
url = {https://doi.org/10.1145/2442776.2442783},
researchr = {https://researchr.org/publication/BallMMR12},
cites = {0},
citedby = {0},
journal = {SIGPLAN Notices},
volume = {47},
number = {4a},
pages = {37-47},
}