(students appear in decreasing order of finishing year)
- Daniel Afriyie, M.A.Sc. (2020)
-
An Empirical Study Investigating the Predictors of Software Metric Correlation in Application Code and Test Code.
-
- Wafa Hasanain, Ph.D. (2020)
-
Analysis and Maintainability of Complex Industry Test Code Using Clone Detection.
-
- Hassna Louadah, Ph.D. (2020) (co-supervised)
- Interface Control Document (ICD) and Interfaces Modeling
- Damiano Torre, Ph.D. (2019)
-
Definition and Validation of Consistency rules between UML diagrams
-
- Nasser Mustafa, Ph.D. (2019)
-
Traceability Modeling for the Engineering of Heterogeneous Systems
-
- Hoda Khalil, Ph.D. (2018)
-
FSM Testing Based on Transition Trees and Complete Round Trip Paths Testing Criteria
-
- Biraq Hussein, M.A.Sc. (2018)
-
Comparison of Approaches to Category Partition Specifications, Selection Criteria, and the Impact of the {u2018}Error{u2019} and {u2018}Single{u2019} Annotations using Industrial Case Studies
-
- Abdulaziz Alkhalid, Ph.D. (2018)
-
Bridging the Gap Between GUI Functional System Testing and Functional System Logic Testing
-
- Sunint Kaur Khalsa, Ph.D. (2017)
-
An Analysis and Extension of Category Partition Testing in the Presence of Constraints
-
- Hossein Mehrfard, Ph.D. (2017)
-
Towards Efficient Instrumentation for Reverse-Engineering Object-Oriented Software through Static and Dynamic Analyses
-
- 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