Previous Projects

• Automated Software Testing using Covering Arrays
• A Methodology for Testing Security-Critical, Software-Intensive Systems
• Interaction-Based Testing of Web Applications
• A Dynamic Framework for Testing and Verification of Concurrent Programs
• A Framework for Reproducible Testing and Race Detection in Real-time Embedded Systems (sponsored by NASA)
• A State Space Exploration-Based Framework for Testing Concurrent Components
• A Predictive Framework for Non-Deterministic Testing of Concurrent Programs
• Formal Verification of Synchronous and Asynchronous Communication Protocols