Eric Larson. SUDS: an infrastructure for dynamic software bug detection using static analysis. ACM SIGSOFT Software Engineering Notes, 31(6):1-2, 2006. [doi]
@article{Larson06:2, title = {SUDS: an infrastructure for dynamic software bug detection using static analysis}, author = {Eric Larson}, year = {2006}, doi = {10.1145/1218776.1218790}, url = {http://doi.acm.org/10.1145/1218776.1218790}, tags = {bug detection, analysis, static analysis}, researchr = {https://researchr.org/publication/Larson06%3A2}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {31}, number = {6}, pages = {1-2}, }