Research Project

• Michal Wegiel: Extending jContractor with support for "type assertions".
• Kurt Kiefer: Building a dynamic contract monitoring tool for .NET
• Chris Phillips: Design by Contract Decorators for Python
• Yiming Li: Automated Web Application Testing via Fuzzing for Ruby
• Zachary Stengel: Checking properties of Singularity channel contracts
• Adam Doupé, Scott Bonebrake: Eliminating XSS False Positives in Automated Web Site Scanning

Case Study

• Taylor Ettema: Applying Web Application State Machine Verifier Tool (WASM-VT) to the Capstone web application
• Maha A. Alabduljalil: Using WAVE to analyze a web application
• Ben Rubinger: Evaluating ASP.NET MVC's Testability Claims
• Joshua Bouganim: A case-study on the tool CUTE
• Jaideep Nijjar: Evaluating the effectiveness of Spec#
• Jeff Silverman: A case study with Java Path Finder

Survey

• Nagy Mostafa: Survey on Automated GUI Testing Techniques
• Jonathan Kupferman: Service Level Agreements (SLAs) for Web services
• Camilla Fiorese: Survey on Automated Debugging Techniques
• Arda Atali: A Survey of Different Approaches to Verification of Composite Web Services