Casper: Automatic tracking of null dereferences to inception with causality traces

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 . Green open access

http://bit.ly/2RVb6JP