Slides

• Model Checking part I .
• Model Checking part II.
• Aspect-Oriented Programming
• Design Patterns
• Proofs of Correctness
• Type Qualifiers
• Testing and AI Planning
• Predicate Complete Testing
• Skoll DCQA
• Detecting Likely Invariants
• Scalable Statistical Bug Isolation
• Software Inspections
• Software Visualization
• Therac-25

Web Accessibility