SQUALL Alumni
(students appear in decreasing order of finishing year)
- Ehsan Taheri Ghazvini, M.A.Sc. (2025)
- From Isolation to Integration: An empirical study on differences between unit and integration testing with applications to C programs
- Sadaf Akbarisedigh, M.A.Sc (2025)
- On Equivalence Classes in Software Testing
- Maryam Havakeshain, Ph.D. (2025)
- Topic: Streamlining Test Processes with Applied Artificial Intelligence: Integrating and Analyzing Test Data for Cost Reduction in 5G and Beyond Software – an Industry Perspective
- Michael Aziz, M.A.Sc. (2024)
- Multilingual Fault Localization for Deep Learning Compilers.
- Danial Nikbin, M.A.Sc. (2024)
- An Analysis of FSM Mutation Operators.
- 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