Evaluating Design Tradeoffs in Numeric Static Analysis for Java.

Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks

Browse the full ESOP paper archive.