Ben Liblit Reflections on the Role of Static Analysis in Cooperative Bug Isolation. 18-31 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_2 conf/sas/2008 db/conf/sas/sas2008.html#Liblit08