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