@article{cornu:jss:2016,
title = "Casper: Automatic tracking of null dereferences to inception with causality traces",
journal = "Journal of Systems and Software",
volume = "122",
number = "",
pages = "52 - 62",
year = "2016",
note = "",
issn = "0164-1212",
doi = "https://doi.org/10.1016/j.jss.2016.08.062",
url = "http://www.sciencedirect.com/science/article/pii/S0164121216301522",
author = "Benoit Cornu and Earl T. Barr and Lionel Seinturier and Martin Monperrus",
keywords = "Debugging",
keywords = "Null pointer",
keywords = "Causality analysis "
}