Slides and Resources

• Introduction
• Sample Requirements Specification (graciously provided by Stuart Faulk).
• Specification Patterns Web Site
• Model Checking part I
• Model Checking part II
• Model Checking part III Link to additional material from Heike Wehrheim's Model Checking class.
• Model Checking part IV Link to additional material from Heike Wehrheim's Model Checking class.
• Spin Model Checker examples
• Yuriy Brun's Guest Lecture on Software Architecture
• AspectJ download page.
• AspectJ Tutorial by Mik Kersten and Julie Waterhouse. Note: We only looked at the first 70 slides.
• AspectJ Examples
• Software Architecture
• Proofs of Program Correctness
• Slicing and PDGs
• Daikon
• Diduce
• Mining Specifications
• Using Positive Tainting and Syntax-Aware Evaluation to Counter SQL Injection Attacks
• Toward a theory of test data selection
• Hierarchical GUI test case generation using automated planning
• Simplifying and Isolating Failure-Inducing Input
• Effective random testing of concurrent programs
• Randoop website
• Randoop: feedback-directed random testing for Java
• Carving differential unit test cases from system test cases
• Testing Configurable Systems
• Dart
• Klee
• Using Symbolic Evaluation to Understand Configurable Systems
• Scalable Statistical Bug Isolation
• Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks
• Software Inspections

Web Accessibility