SUDS: An Infrastructure for Creating Bug Detection Tools.

Eric Larson

Browse the full SCAM paper archive.