From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis.

Mark Harman, Peter W. O'Hearn

Browse the full SCAM paper archive.