6th Workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD '08)Shmuel UrScott D. Stolleret al.2008ISSTA 2008Conference paper
Verifying dereference safety via expanding-scope analysisA. LoginovE. Yahavet al.2008ISSTA 2008Conference paper