Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Larson, Eric - Department of Computer Science and Software Engineering, Seattle University
AC 2007-1269: PERFORMING ENGINEERING RESEARCH AT NON-PH.D. GRANTING INSTITUTIONS
An Undergraduate Course on Software Bug Detection Tools and Techniques
A common static software bug detection technique is to use path simulation. Each execution path is simulated using
Improperly bounded program inputs present a major class of program defects. In secure applications, these bugs can
2006-1154: EFFICIENT AND EFFECTIVE GRADING OF STUDENT WORK Agnieszka Miguel, Seattle University
EFFICIENT DYNAMIC DETECTION OF INPUT RELATED SOFTWARE FAULTS Eric D. Larson
SUDS: An Infrastructure for Creating Dynamic Software Defect Detection Tools
Session T1A 978-1-4244-1970-8/08/$25.00 2008 IEEE October 22 25, 2008, Saratoga Springs, NY
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analy-
