{"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":"2025-07-12T10:08:13","modified_gmt":"2025-07-12T14:08:13","slug":"squall-alumni","status":"publish","type":"page","link":"https:\/\/carleton.ca\/squall\/squall-alumni\/","title":{"rendered":"SQUALL Alumni"},"content":{"rendered":"<p>(students appear in decreasing order of finishing year)<\/p>\n<ul>\n<li>Ehsan Taheri Ghazvini, M.A.Sc. (2025)\n<ul>\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<li>Sadaf Akbarisedigh, M.A.Sc (2025)\n<ul>\n<li>On Equivalence Classes in Software Testing<\/li>\n<\/ul>\n<\/li>\n<li>Maryam Havakeshain, Ph.D. (2025)\n<ul>\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<li>Michael Aziz, M.A.Sc. (2024)\n<ul>\n<li>Multilingual Fault Localization for Deep Learning Compilers.<\/li>\n<\/ul>\n<\/li>\n<li>Danial Nikbin, M.A.Sc. (2024)\n<ul>\n<li>An Analysis of FSM Mutation Operators.<\/li>\n<\/ul>\n<\/li>\n<li>Daniel Afriyie, M.A.Sc. (2020)\n<ul>\n<li>\n<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>\n<\/li>\n<\/ul>\n<\/li>\n<li>Wafa Hasanain, Ph.D. (2020)\n<ul>\n<li>\n<div aria-hidden=\"false\"><span dir=\"auto\">Analysis and Maintainability of Complex Industry Test Code Using Clone Detection.<\/span><\/div>\n<\/li>\n<\/ul>\n<\/li>\n<li>Hassna Louadah, Ph.D. (2020) (co-supervised)\n<ul>\n<li>Interface Control Document (ICD) and Interfaces Modeling<\/li>\n<\/ul>\n<\/li>\n<li>Damiano Torre, Ph.D. (2019)\n<ul>\n<li>\n<div aria-hidden=\"false\"><span dir=\"auto\">Definition and Validation of Consistency rules between UML diagrams<\/span><\/div>\n<\/li>\n<\/ul>\n<\/li>\n<li>Nasser Mustafa, Ph.D. (2019)\n<ul>\n<li>\n<div aria-hidden=\"false\"><span dir=\"auto\">Traceability Modeling for the Engineering of Heterogeneous Systems<\/span><\/div>\n<\/li>\n<\/ul>\n<\/li>\n<li>Hoda Khalil, Ph.D. (2018)\n<ul>\n<li>\n<div aria-hidden=\"false\"><span dir=\"auto\">FSM Testing Based on Transition Trees and Complete Round Trip Paths Testing Criteria<\/span><\/div>\n<\/li>\n<\/ul>\n<\/li>\n<li>Biraq Hussein, M.A.Sc. (2018)\n<ul>\n<li>\n<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>\n<\/li>\n<\/ul>\n<\/li>\n<li>Abdulaziz Alkhalid, Ph.D. (2018)\n<ul>\n<li>\n<div aria-hidden=\"false\"><span dir=\"auto\">Bridging the Gap Between GUI Functional System Testing and Functional System Logic Testing<\/span><\/div>\n<\/li>\n<\/ul>\n<\/li>\n<li>Sunint Kaur Khalsa, Ph.D. (2017)\n<ul>\n<li>\n<div aria-hidden=\"false\"><span dir=\"auto\">An Analysis and Extension of Category Partition Testing in the Presence of Constraints<\/span><\/div>\n<\/li>\n<\/ul>\n<\/li>\n<li>Hossein Mehrfard, Ph.D. (2017)\n<ul>\n<li>\n<div aria-hidden=\"false\"><span dir=\"auto\">Towards Efficient Instrumentation for Reverse-Engineering Object-Oriented Software through Static and Dynamic Analyses<\/span><\/div>\n<\/li>\n<\/ul>\n<\/li>\n<li>Nesa Asoudeh, Ph.D. (2016)\n<ul>\n<li>Test Generation from an Extended Finite State Machine as a Multiobjective Optimization Problem<\/li>\n<\/ul>\n<\/li>\n<li>Farhana Rahman, M.A.Sc. (2014)\n<ul>\n<li>Comparing user-defined analysis contracts and reverse-engineered contracts with Daikon<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Wafa Hasanain, M.A.Sc. (2013)\n<ul>\n<li>Testing real-time, embedded software with RTEdge<\/li>\n<\/ul>\n<\/li>\n<li>Maged Elaasar, Ph.D. (2012)\n<ul>\n<li>An Approach to Design Pattern and Anti-Pattern Detection in MOF-Based Modeling Languages<\/li>\n<\/ul>\n<\/li>\n<li>Faezeh Sadeghi, M.A.Sc. (2012)\n<ul>\n<li>Comparison of Coverage Criteria for the Category Partition method using Automatically Generated Test Suites with Melba<\/li>\n<\/ul>\n<\/li>\n<li>Fr\u00e9d\u00e9ric Massicotte, Ph.D. (2011)\n<ul>\n<li>A set of approaches to evaluate and address the accuracy problem in intrusion detection systems<\/li>\n<\/ul>\n<\/li>\n<li>May Farouk Khalil, M.A.Sc. (2010)\n<ul>\n<li>On the RoundTrip PathStrategy forState BasedTesting<\/li>\n<\/ul>\n<\/li>\n<li>Bojana Kolbah, M.A.Sc. (2010)\n<ul>\n<li>Reverse engineering of Java programs through static and dynamic analysis to generate scenario diagrams<\/li>\n<\/ul>\n<\/li>\n<li>Karen Laurin, M.A.Sc. (2010)\n<ul>\n<li>The Development of a Semi-Automated Testing Method for Medical Imaging Systems<\/li>\n<\/ul>\n<\/li>\n<li>Samar Mouchawrab, Ph.D. (2010)\n<ul>\n<li>Assessing, Comparing, and Combining State machine-Based Testing and Structural Testing: A Series of Experiments<\/li>\n<\/ul>\n<\/li>\n<li>Mohamed Shafique, M.A.Sc. (2010)\n<ul>\n<li>Systematic Review of State-Based Model Based Testing Tools<\/li>\n<\/ul>\n<\/li>\n<li>Marwa Shousha, Ph.D. (2010)\n<ul>\n<li>A UML\/MARTE Model Analysis Approach for Detection of Concurrency Faults<\/li>\n<\/ul>\n<\/li>\n<li>Nadia TraldiSpido, M.A.Sc. (2010)\n<ul>\n<li>Method and Tool Support for Refinement of Test Suites<\/li>\n<\/ul>\n<\/li>\n<li>Tao Yue, Ph.D. (2010)\n<ul>\n<li>Automatically Deriving a UML Analysis Model from a Use Case Model<\/li>\n<\/ul>\n<\/li>\n<li>ZaheerBawar, M.Sc. (2009)\n<ul>\n<li>Using Machine Learning to Refine Black-box Test Specifications and Test Suites<\/li>\n<\/ul>\n<\/li>\n<li>KambizFrounchi, M.A.Scx. (2009)\n<ul>\n<li>Learning a Test Oracle Towards Automating Image Segmentation Evaluation<\/li>\n<\/ul>\n<\/li>\n<li>Siyuan He, M.A.Sc. (2009)\n<ul>\n<li>A Regression Test Selection and Prioritization Technique for TDE\/UML<\/li>\n<\/ul>\n<\/li>\n<li>Yanhua Liu, M.A.Sc. (2009)\n<ul>\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<li>Michael Gordon Bowman, M.A.Sc. (2007)\n<ul>\n<li>Multi-Objective Genetic Algorithms to Support Class Responsibility Assignment<\/li>\n<\/ul>\n<\/li>\n<li>Daniel Di Nardo, M.A.Sc. (2007)\n<ul>\n<li>An Empirical Study of the Regression Testing of an Industrial Software Product<\/li>\n<\/ul>\n<\/li>\n<li>Xuetao (Sheldon) Liu, M.A.Sc. (2007)\n<ul>\n<li>Using Machine Learning to Support Debugging with Tarantula<\/li>\n<\/ul>\n<\/li>\n<li>Vahid Garousi, Ph.D. (2006)\n<ul>\n<li>Traffic-aware Stress Testing of Distributed Real-Time Systems based on UML Models using Genetic Algorithms<\/li>\n<\/ul>\n<\/li>\n<li>Tao Yue, M.A.Sc. (2006)\n<ul>\n<li>Towards Vertical Impact Analysis of UML Models<\/li>\n<\/ul>\n<\/li>\n<li>Gregory Zoughbi, M.A.Sc. (2006)\n<ul>\n<li>A UML Profile for Developing Airworthiness-Compliant, Safety-Critical Software<\/li>\n<\/ul>\n<\/li>\n<li>JimCiu, M.A.Sc. (2004)\n<ul>\n<li>Towards Automated Support for Deriving Test Data from UML Statecharts<\/li>\n<\/ul>\n<\/li>\n<li>Joanne Leduc, M.A.Sc. (2004)\n<ul>\n<li>Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Real-Time Java Software<\/li>\n<\/ul>\n<\/li>\n<li>Qing Lin, M.A.Sc. (2004)\n<ul>\n<li>Improving State-based Coverage Criteria UsingData-flowInformation<\/li>\n<\/ul>\n<\/li>\n<li>Wojciech (Voytek) Dzidek, M.A.Sc. (2003)\n<ul>\n<li>Using Aspect-Oriented Programming to Instrument OCL Contracts in Java<\/li>\n<\/ul>\n<\/li>\n<li>Yucong Miao, M.Sc. (2003)\n<ul>\n<li>Reverse Engineering of UML Sequence Diagrams using Dynamic Information<\/li>\n<\/ul>\n<\/li>\n<li>Leeshawn O&#8217;Sullivan, M.A.Sc. (2003)\n<ul>\n<li>Impact Analysis and Change Management of UML Models<\/li>\n<\/ul>\n<\/li>\n<li>Marwa Shousha, M.A.Sc. (2003)\n<ul>\n<li>Automating Stress Testing for Real-Time Systems Using Genetic Algorithms<\/li>\n<\/ul>\n<\/li>\n<li>Yihong (Michelle) Wang, M.A.Sc. (2003)\n<ul>\n<li>Toward a Comprehensive and Systematic Methodology for Class Integration Testing<\/li>\n<\/ul>\n<\/li>\n<li>Jie Feng, M.A.Sc. (2002)\n<ul>\n<li>Experimenting with Genetic Algorithms toDeviseOptimal Integration Test Orders<\/li>\n<\/ul>\n<\/li>\n<li>Hong Sun, M.Eng. (2002)\n<ul>\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) 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 [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_mi_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":"","_links_to":"","_links_to_target":""},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v21.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>SQUALL Alumni - Squall<\/title>\n<meta name=\"description\" content=\"(students appear in decreasing order of finishing year) Ehsan Taheri Ghazvini, M.A.Sc. (2025) From Isolation to Integration: An empirical study on\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/carleton.ca\/squall\/squall-alumni\/\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/carleton.ca\/squall\/squall-alumni\/\",\"url\":\"https:\/\/carleton.ca\/squall\/squall-alumni\/\",\"name\":\"SQUALL Alumni - Squall\",\"isPartOf\":{\"@id\":\"https:\/\/carleton.ca\/squall\/#website\"},\"datePublished\":\"2017-02-25T01:16:30+00:00\",\"dateModified\":\"2025-07-12T14:08:13+00:00\",\"description\":\"(students appear in decreasing order of finishing year) Ehsan Taheri Ghazvini, M.A.Sc. (2025) From Isolation to Integration: An empirical study on\",\"breadcrumb\":{\"@id\":\"https:\/\/carleton.ca\/squall\/squall-alumni\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/carleton.ca\/squall\/squall-alumni\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/carleton.ca\/squall\/squall-alumni\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/carleton.ca\/squall\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"SQUALL Alumni\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/carleton.ca\/squall\/#website\",\"url\":\"https:\/\/carleton.ca\/squall\/\",\"name\":\"Squall\",\"description\":\"Carleton University\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/carleton.ca\/squall\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"SQUALL Alumni - Squall","description":"(students appear in decreasing order of finishing year) Ehsan Taheri Ghazvini, M.A.Sc. (2025) From Isolation to Integration: An empirical study on","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/carleton.ca\/squall\/squall-alumni\/","twitter_misc":{"Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/carleton.ca\/squall\/squall-alumni\/","url":"https:\/\/carleton.ca\/squall\/squall-alumni\/","name":"SQUALL Alumni - Squall","isPartOf":{"@id":"https:\/\/carleton.ca\/squall\/#website"},"datePublished":"2017-02-25T01:16:30+00:00","dateModified":"2025-07-12T14:08:13+00:00","description":"(students appear in decreasing order of finishing year) Ehsan Taheri Ghazvini, M.A.Sc. (2025) From Isolation to Integration: An empirical study on","breadcrumb":{"@id":"https:\/\/carleton.ca\/squall\/squall-alumni\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/carleton.ca\/squall\/squall-alumni\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/carleton.ca\/squall\/squall-alumni\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/carleton.ca\/squall\/"},{"@type":"ListItem","position":2,"name":"SQUALL Alumni"}]},{"@type":"WebSite","@id":"https:\/\/carleton.ca\/squall\/#website","url":"https:\/\/carleton.ca\/squall\/","name":"Squall","description":"Carleton University","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/carleton.ca\/squall\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"}]}},"acf":{"banner_image_type":"hosted","banner_hosted_image":"eng-software","banner_opacity":"default","banner_button":"no"},"_links":{"self":[{"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/pages\/147"}],"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\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/squall\/wp-json\/wp\/v2\/comments?post=147"}],"version-history":[{"count":4,"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"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}