Casper: Debugging Null Dereferences with Dynamic Causality Traces

by Benoit Cornu, Earl T. Barr, Lionel Seinturier and Martin Monperrus

Cite it:

Benoit Cornu, Earl T. Barr, Lionel Seinturier and Martin Monperrus, "Casper: Debugging Null Dereferences with Dynamic Causality Traces", Journal of Systems and Software, 2016.
https://doi.org/10.1016/j.jss.2016.08.062

Casper: Debugging Null Dereferences with Dynamic Causality Traces
http://arxiv.org/pdf/1502.02004

[Casper: Debugging Null Dereferences with Dynamic Causality Traces](http://arxiv.org/pdf/1502.02004) ([doi:10.1016/j.jss.2016.08.062](https://doi.org/10.1016/j.jss.2016.08.062))

\href{http://arxiv.org/pdf/1502.02004}{Casper: Debugging Null Dereferences with Dynamic Causality Traces} % \cite{1502.02004}

Bibtex Entry:

@article{1502.02004,
 title = {Casper: Debugging Null Dereferences with Dynamic Causality Traces},
 journal = {Journal of Systems and Software},
 year = {2016},
 doi = {10.1016/j.jss.2016.08.062},
 author = {Benoit Cornu and Earl T. Barr and Lionel Seinturier and Martin Monperrus},
 url = {http://arxiv.org/pdf/1502.02004},
}