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