Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus. Casper: Automatic tracking of null dereferences to inception with causality traces. Journal of Systems and Software, 122:52-62, 2016. [doi]
@article{CornuBSM16,
title = {Casper: Automatic tracking of null dereferences to inception with causality traces},
author = {Benoit Cornu and Earl T. Barr and Lionel Seinturier and Martin Monperrus},
year = {2016},
doi = {10.1016/j.jss.2016.08.062},
url = {http://dx.doi.org/10.1016/j.jss.2016.08.062},
researchr = {https://researchr.org/publication/CornuBSM16},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {122},
pages = {52-62},
}