(students appear in decreasing order of finishing year)

  • Nesa Asoudeh, Ph.D. (2016)
    • Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem
  • Farhana Rahman, M.A.Sc. (2014)
    • Comparing user-defined analysis contracts and reverse-engineered contracts with Daikon
  • Wafa Hasanain, M.A.Sc. (2013)
    • Testing real-time, embedded software with RTEdge
  • Maged Elaasar, Ph.D. (2012)
    • An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages
  • Faezeh Sadeghi, M.A.Sc. (2012)
    • Comparison of Coverage Criteria for the Category Partition method using Automatically Generated Test Suites with Melba
  • Frédéric Massicotte, Ph.D. (2011)
    • A set of approaches to evaluate and address the accuracy problem in intrusion detection systems
  • May Farouk Khalil, M.A.Sc. (2010)
    • On the RoundTrip PathStrategy forState BasedTesting
  • Bojana Kolbah, M.A.Sc. (2010)
    • Reverse engineering of Java programs through static and dynamic analysis to generate scenario diagrams
  • Karen Laurin, M.A.Sc. (2010)
    • The Development of a Semi-Automated Testing Method for Medical Imaging Systems
  • Samar Mouchawrab, Ph.D. (2010)
    • Assessing, Comparing, and Combining State machine-Based Testing and Structural Testing: A Series of Experiments
  • Mohamed Shafique, M.A.Sc. (2010)
    • Systematic Review of State-Based Model Based Testing Tools
  • Marwa Shousha, Ph.D. (2010)
    • A UML/MARTE Model Analysis Approach for Detection of Concurrency Faults
  • Nadia TraldiSpido, M.A.Sc. (2010)
    • Method and Tool Support for Refinement of Test Suites
  • Tao Yue, Ph.D. (2010)
    • Automatically Deriving a UML Analysis Model from a Use Case Model
  • ZaheerBawar, M.Sc. (2009)
    • Using Machine Learning to Refine Black-box Test Specifications and Test Suites
  • KambizFrounchi, M.A.Scx. (2009)
    • Learning a Test Oracle Towards Automating Image Segmentation Evaluation
  • Siyuan He, M.A.Sc. (2009)
    • A Regression Test Selection and Prioritization Technique for TDE/UML
  • Yanhua Liu, M.A.Sc. (2009)
    • Combining UML 2.0 Sequence and state Machine Diagrams for Control- and Data-Flow Based Integration Testing
  • Michael Gordon Bowman, M.A.Sc. (2007)
    • Multi-Objective Genetic Algorithms to Support Class Responsibility Assignment
  • Daniel Di Nardo, M.A.Sc. (2007)
    • An Empirical Study of the Regression Testing of an Industrial Software Product
  • Xuetao (Sheldon) Liu, M.A.Sc. (2007)
    • Using Machine Learning to Support Debugging with Tarantula
  • Vahid Garousi, Ph.D. (2006)
    • Traffic-aware Stress Testing of Distributed Real-Time Systems based on UML Models using Genetic Algorithms
  • Tao Yue, M.A.Sc. (2006)
    • Towards Vertical Impact Analysis of UML Models
  • Gregory Zoughbi, M.A.Sc. (2006)
    • A UML Profile for Developing Airworthiness-Compliant, Safety-Critical Software
  • JimCiu, M.A.Sc. (2004)
    • Towards Automated Support for Deriving Test Data from UML Statecharts
  • Joanne Leduc, M.A.Sc. (2004)
    • Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Real-Time Java Software
  • Qing Lin, M.A.Sc. (2004)
    • Improving State-based Coverage Criteria UsingData-flowInformation
  • Wojciech (Voytek) Dzidek, M.A.Sc. (2003)
    • Using Aspect-Oriented Programming to Instrument OCL Contracts in Java
  • Yucong Miao, M.Sc. (2003)
    • Reverse Engineering of UML Sequence Diagrams using Dynamic Information
  • Leeshawn O’Sullivan, M.A.Sc. (2003)
    • Impact Analysis and Change Management of UML Models
  • Marwa Shousha, M.A.Sc. (2003)
    • Automating Stress Testing for Real-Time Systems Using Genetic Algorithms
  • Yihong (Michelle) Wang, M.A.Sc. (2003)
    • Toward a Comprehensive and Systematic Methodology for Class Integration Testing
  • Jie Feng, M.A.Sc. (2002)
    • Experimenting with Genetic Algorithms toDeviseOptimal Integration Test Orders
  • Hong Sun, M.Eng. (2002)
    • Investigating the Use of Analysis Contracts to Improve the Testability of Object-oriented Code