Slides

• Model Checking part I .
• Model Checking part II.
• Aspect-Oriented Programming
• Design Patterns
• Proofs of Correctness
• Type Qualifiers
• Testing and AI Planning
• Therac-25
• Skoll DCQA
• Software Inspections

Student Presentations

• Path Profiling for Y2K
• Detecting Likely Invariants
• Scalable Statistical Bug Isolation
• Classifying Failure Reports
• Bug Memories
• FindBugs
• Delta Debugging
• Perracotta

Web Accessibility