Comparing Transparent Static Analyzers with Open Verification Dashboard.

Tom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, Raphal Monat

Browse the full ECOOP paper archive.