An undergraduate course on software bug detection tools and techniques
Bugs as deviant behavior: a general approach to inferring errors in systems code