SUDS: an infrastructure for dynamic software bug detection using static analysis

Eric Larson. SUDS: an infrastructure for dynamic software bug detection using static analysis. ACM SIGSOFT Software Engineering Notes, 31(6):1-2, 2006. [doi]

Abstract

Abstract is missing.