{"id":147,"date":"2017-02-24T20:16:30","date_gmt":"2017-02-25T01:16:30","guid":{"rendered":"http:\/\/carleton.ca\/squall\/?page_id=147"},"modified":"2026-07-23T12:29:04","modified_gmt":"2026-07-23T16:29:04","slug":"squall-alumni","status":"publish","type":"page","link":"https:\/\/carleton.ca\/squall\/squall-alumni\/","title":{"rendered":"SQUALL Alumni"},"content":{"rendered":"\n<section class=\"w-screen px-6 cu-section cu-section--white ml-offset-center md:px-8 lg:px-14\">\n    <div class=\"space-y-6 cu-max-w-child-5xl  md:space-y-10 cu-prose-first-last\">\n\n            <div class=\"cu-textmedia flex flex-col lg:flex-row mx-auto gap-6 md:gap-10 my-6 md:my-12 first:mt-0 max-w-5xl\">\n        <div class=\"justify-start cu-textmedia-content cu-prose-first-last\" style=\"flex: 0 0 100%;\">\n            <header class=\"font-light prose-xl cu-pageheader md:prose-2xl cu-component-updated cu-prose-first-last\">\n                                    <h1 class=\"cu-prose-first-last font-semibold !mt-2 mb-4 md:mb-6 relative after:absolute after:h-px after:bottom-0 after:bg-cu-red after:left-px text-3xl md:text-4xl lg:text-5xl lg:leading-[3.5rem] pb-5 after:w-10 text-cu-black-700 not-prose\">\n                        SQUALL Alumni\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n<p>(students appear in decreasing order of finishing year)<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Ehsan Taheri Ghazvini, M.A.Sc. (2025)\n<ul class=\"wp-block-list\">\n<li>From Isolation to Integration: An empirical study on differences between unit and integration testing with applications to C programs<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Sadaf Akbarisedigh, M.A.Sc (2025)\n<ul class=\"wp-block-list\">\n<li>On Equivalence Classes in Software Testing<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Maryam Havakeshain, Ph.D. (2025)\n<ul class=\"wp-block-list\">\n<li>Topic: Streamlining Test Processes with Applied Artificial Intelligence: Integrating and Analyzing Test Data for Cost Reduction in 5G and Beyond Software &#8211; an Industry Perspective<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Michael Aziz, M.A.Sc. (2024)\n<ul class=\"wp-block-list\">\n<li>Multilingual Fault Localization for Deep Learning Compilers.<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Danial Nikbin, M.A.Sc. (2024)\n<ul class=\"wp-block-list\">\n<li>An Analysis of FSM Mutation Operators.<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Daniel Afriyie, M.A.Sc. (2020)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">An Empirical Study Investigating the Predictors of Software Metric Correlation in Application Code and Test Code.<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Wafa Hasanain, Ph.D. (2020)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">Analysis and Maintainability of Complex Industry Test Code Using Clone Detection.<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Hassna Louadah, Ph.D. (2020) (co-supervised)\n<ul class=\"wp-block-list\">\n<li>Interface Control Document (ICD) and Interfaces Modeling<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Damiano Torre, Ph.D. (2019)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">Definition and Validation of Consistency rules between UML diagrams<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Nasser Mustafa, Ph.D. (2019)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">Traceability Modeling for the Engineering of Heterogeneous Systems<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Hoda Khalil, Ph.D. (2018)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">FSM Testing Based on Transition Trees and Complete Round Trip Paths Testing Criteria<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Biraq Hussein, M.A.Sc. (2018)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">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<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Abdulaziz Alkhalid, Ph.D. (2018)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">Bridging the Gap Between GUI Functional System Testing and Functional System Logic Testing<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Sunint Kaur Khalsa, Ph.D. (2017)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">An Analysis and Extension of Category Partition Testing in the Presence of Constraints<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Hossein Mehrfard, Ph.D. (2017)\n<ul class=\"wp-block-list\">\n<li><br><div aria-hidden=\"false\"><span dir=\"auto\">Towards Efficient Instrumentation for Reverse-Engineering Object-Oriented Software through Static and Dynamic Analyses<\/span><\/div><br><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Nesa Asoudeh, Ph.D. (2016)\n<ul class=\"wp-block-list\">\n<li>Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Farhana Rahman, M.A.Sc. (2014)\n<ul class=\"wp-block-list\">\n<li>Comparing user-defined analysis contracts and reverse-engineered contracts with Daikon<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Wafa Hasanain, M.A.Sc. (2013)\n<ul class=\"wp-block-list\">\n<li>Testing real-time, embedded software with RTEdge<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Maged Elaasar, Ph.D. (2012)\n<ul class=\"wp-block-list\">\n<li>An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Faezeh Sadeghi, M.A.Sc. (2012)\n<ul class=\"wp-block-list\">\n<li>Comparison of Coverage Criteria for the Category Partition method using Automatically Generated Test Suites with Melba<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Fr\u00e9d\u00e9ric Massicotte, Ph.D. (2011)\n<ul class=\"wp-block-list\">\n<li>A set of approaches to evaluate and address the accuracy problem in intrusion detection systems<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>May Farouk Khalil, M.A.Sc. (2010)\n<ul class=\"wp-block-list\">\n<li>On the RoundTrip PathStrategy forState BasedTesting<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Bojana Kolbah, M.A.Sc. (2010)\n<ul class=\"wp-block-list\">\n<li>Reverse engineering of Java programs through static and dynamic analysis to generate scenario diagrams<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Karen Laurin, M.A.Sc. (2010)\n<ul class=\"wp-block-list\">\n<li>The Development of a Semi-Automated Testing Method for Medical Imaging Systems<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Samar Mouchawrab, Ph.D. (2010)\n<ul class=\"wp-block-list\">\n<li>Assessing, Comparing, and Combining State machine-Based Testing and Structural Testing: A Series of Experiments<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Mohamed Shafique, M.A.Sc. (2010)\n<ul class=\"wp-block-list\">\n<li>Systematic Review of State-Based Model Based Testing Tools<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Marwa Shousha, Ph.D. (2010)\n<ul class=\"wp-block-list\">\n<li>A UML\/MARTE Model Analysis Approach for Detection of Concurrency Faults<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Nadia TraldiSpido, M.A.Sc. (2010)\n<ul class=\"wp-block-list\">\n<li>Method and Tool Support for Refinement of Test Suites<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Tao Yue, Ph.D. (2010)\n<ul class=\"wp-block-list\">\n<li>Automatically Deriving a UML Analysis Model from a Use Case Model<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>ZaheerBawar, M.Sc. (2009)\n<ul class=\"wp-block-list\">\n<li>Using Machine Learning to Refine Black-box Test Specifications and Test Suites<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>KambizFrounchi, M.A.Scx. (2009)\n<ul class=\"wp-block-list\">\n<li>Learning a Test Oracle Towards Automating Image Segmentation Evaluation<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Siyuan He, M.A.Sc. (2009)\n<ul class=\"wp-block-list\">\n<li>A Regression Test Selection and Prioritization Technique for TDE\/UML<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Yanhua Liu, M.A.Sc. (2009)\n<ul class=\"wp-block-list\">\n<li>Combining UML 2.0 Sequence and state Machine Diagrams for Control- and Data-Flow Based Integration Testing<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Michael Gordon Bowman, M.A.Sc. (2007)\n<ul class=\"wp-block-list\">\n<li>Multi-Objective Genetic Algorithms to Support Class Responsibility Assignment<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Daniel Di Nardo, M.A.Sc. (2007)\n<ul class=\"wp-block-list\">\n<li>An Empirical Study of the Regression Testing of an Industrial Software Product<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Xuetao (Sheldon) Liu, M.A.Sc. (2007)\n<ul class=\"wp-block-list\">\n<li>Using Machine Learning to Support Debugging with Tarantula<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Vahid Garousi, Ph.D. (2006)\n<ul class=\"wp-block-list\">\n<li>Traffic-aware Stress Testing of Distributed Real-Time Systems based on UML Models using Genetic Algorithms<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Tao Yue, M.A.Sc. (2006)\n<ul class=\"wp-block-list\">\n<li>Towards Vertical Impact Analysis of UML Models<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Gregory Zoughbi, M.A.Sc. (2006)\n<ul class=\"wp-block-list\">\n<li>A UML Profile for Developing Airworthiness-Compliant, Safety-Critical Software<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>JimCiu, M.A.Sc. (2004)\n<ul class=\"wp-block-list\">\n<li>Towards Automated Support for Deriving Test Data from UML Statecharts<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Joanne Leduc, M.A.Sc. (2004)\n<ul class=\"wp-block-list\">\n<li>Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Real-Time Java Software<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Qing Lin, M.A.Sc. (2004)\n<ul class=\"wp-block-list\">\n<li>Improving State-based Coverage Criteria UsingData-flowInformation<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Wojciech (Voytek) Dzidek, M.A.Sc. (2003)\n<ul class=\"wp-block-list\">\n<li>Using Aspect-Oriented Programming to Instrument OCL Contracts in Java<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Yucong Miao, M.Sc. (2003)\n<ul class=\"wp-block-list\">\n<li>Reverse Engineering of UML Sequence Diagrams using Dynamic Information<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Leeshawn O&#8217;Sullivan, M.A.Sc. (2003)\n<ul class=\"wp-block-list\">\n<li>Impact Analysis and Change Management of UML Models<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Marwa Shousha, M.A.Sc. (2003)\n<ul class=\"wp-block-list\">\n<li>Automating Stress Testing for Real-Time Systems Using Genetic Algorithms<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Yihong (Michelle) Wang, M.A.Sc. (2003)\n<ul class=\"wp-block-list\">\n<li>Toward a Comprehensive and Systematic Methodology for Class Integration Testing<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Jie Feng, M.A.Sc. (2002)\n<ul class=\"wp-block-list\">\n<li>Experimenting with Genetic Algorithms toDeviseOptimal Integration Test Orders<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Hong Sun, M.Eng. (2002)\n<ul class=\"wp-block-list\">\n<li>Investigating the Use of Analysis Contracts to Improve the Testability of Object-oriented Code<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>(students appear in decreasing order of finishing year)<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[],"class_list":["post-147","page","type-page","status-publish","hentry"],"acf":{"cu_post_thumbnail":false},"_links":{"self":[{"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/pages\/147","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/comments?post=147"}],"version-history":[{"count":3,"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/pages\/147\/revisions"}],"predecessor-version":[{"id":186,"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/pages\/147\/revisions\/186"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/media?parent=147"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/cu_page_type?post=147"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}