Cornu, B;    Barr, ET;    Seinturier, L;    Monperrus, M;      (2016)    Casper: Automatic tracking of null dereferences to inception with causality traces.                   Journal of Systems and Software , 122    pp. 52-62.    10.1016/j.jss.2016.08.062 <https://doi.org/10.1016/j.jss.2016.08.062>.       Green open access