A novel approach for discovering barriers in using automatic static analysis.

Jan-Peter Ostberg, Jasmin Ramadani, Stefan Wagner

Browse the full EASE paper archive.