Scientific developers v/s static analysis tools: vision and position paper.

Rohan Krishnamurthy, Thomas S. Heinze, Carina Haupt, Andreas Schreiber, Michael Meinel

Browse the full ICSE paper archive.