CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>Tutorials - ICSR 2025</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='The International Conference on Software and Systems Reuse (ICSR) is a biannual conference in the field of software reuse research and technology. ICSR is a premier event aiming to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The 22nd International Conference on Software and Systems Reuse (ICSR 2025) will be held in Ottawa, Canada, April 27-28, 2025.'> <meta name='description' content='The International Conference on Software and Systems Reuse (ICSR) is a biannual conference in the field of software reuse research and technology. ICSR is a premier event aiming to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The 22nd International Conference on Software and Systems Reuse (ICSR 2025) will be held in Ottawa, Canada, April 27-28, 2025.'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Tutorials - ICSR 2025'> </head> <body id="info"><div class="frame"><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/icsr-2025" class="navbar-brand navigate"><span class="brand-text">ICSR 2025</span></a><div class="place">Sun 27 - Mon 28 April 2025 <a href="https://conf.researchr.org/venue/icsr-2025/icse-2025-venue" class="navigate">Ottawa, Ontario, Canada</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/icse-2025" class="navigate">ICSE 2025</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/venue/icsr-2025/icse-2025-venue" class="navigate">Venue: Rogers Centre, Ottawa (formerly Shaw Centre)</a></li><li class="block dropdown-header">ICSE 2025</li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/Hotels" class="indent navigate">Hotels</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/visa-and-travel-authorization" class="indent navigate">Visa and Travel Authorization</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/Travelling" class="indent navigate">Travelling to Ottawa</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/gettingAroundOttawa" class="indent navigate">Getting Around Ottawa</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/food" class="indent navigate">Food at ICSE2025</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/Code+of+Conduct" class="indent navigate">Code of Conduct</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/Diversity+and+Inclusion+Plan" class="indent navigate">Equity, Diversity, and Inclusion Plan</a></li><li class="block"><a href="https://conf.researchr.org/attending/icsr-2025/fun+activities" class="indent navigate">Fun Activities</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/info/icsr-2025/sponsorships-opportunities" class="navigate">Sponsorship</a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block dropdown-header">ICSE 2025</li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/program-overview" class="navigate">Program Overview</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/keynotes" class="navigate">Keynotes</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/panels" class="navigate">Panels</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/receptions-and-banquet" class="navigate">Receptions and Banquet</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/tutorials" class="navigate">Tutorials</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/networking-events" class="navigate">Networking Events</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/meetings" class="navigate">Meetings and BOF events</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/technical-briefings" class="navigate">Technical Briefings</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/recreational-activities" class="navigate">Recreational Activities</a></li><li class="block indent"><a href="https://conf.researchr.org/info/icsr-2025/submitting-to-icse2025%3A-q%26a" class="navigate">Submitting to ICSE2025: Q&A</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/home/icsr-2025" class="navigate">Track/Call</a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ICSR 2025 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/icsr-2025/icsr-2025-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://conf.researchr.org/committee/icsr-2025/icsr-2025-papers-organization-committee" class="navigate">Organization committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icsr-2025/icsr-2025-papers-program-committee" class="navigate">Program Committee</a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/icsr-2025" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div></div></ul></li><li class="block"><a href="https://conf.researchr.org/search/icsr-2025//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="block"><li class="block"><a href="https://conf.researchr.org/series/icsr" class="navigate"><span class="hidden-sm">Series</span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span></span></a></li></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/icsr-2025/https%3A%5Es%5Esconf.researchr.org%5Esinfo%5Esicsr-2025%5Estutorials" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/icsr-2025" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div id="infopageph_a48fbb7bc8cc39beebdd9fc5c3ce7d96" class="webdsl-placeholder"><div class="row"><div class="col-sm-12"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/icse-2025" class="navigate">ICSE 2025</a> (<a href="https://conf.researchr.org/series/icse" class="navigate">series</a>) / </span><h1>Tutorials</h1></div><p><a href="https://conf.researchr.org/track/icse-2025/icse-2025-tutorials">Click here for the tutorial schedule</a></p> <p>The following two tutorials will be offered on Tuesday, April 29, 2025 during ICSE 2025</p> <p>Click to jump to the details</p> <p><a href="#tut1">Tutorial 1 (morning) Quantum Software Testing</a></p> <p><a href="#tut2">Tutorial 2 (afternoon) Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification</a></p> <p>You will be able to sign up for these separately during registration. The half-day registration fee will apply for each. Both include a break and lunch.</p> <p><a id="tut1"></a></p> <h3><a href="#tutorial-1-quantum-software-testing" id="tutorial-1-quantum-software-testing" class="anchor-link">Tutorial 1: Quantum Software Testing</a></h3> <h4><a href="#tuesday-9-am-to-1230-with-a-half-hour-break" id="tuesday-9-am-to-1230-with-a-half-hour-break" class="anchor-link">Tuesday: 9 a.m. to 12:30 with a half hour break:</a></h4> <h5><a href="#presenters-shaukat-ali-simula-research-laboratory-and-oslo-metropolitan-university-oslo-norway-xinyi-wang-simula-research-laboratory-and-the-university-of-oslo-oslo-norway-asmar-muqeet-simula-research-laboratory-and-the-university-of-oslo-oslo-norway" id="presenters-shaukat-ali-simula-research-laboratory-and-oslo-metropolitan-university-oslo-norway-xinyi-wang-simula-research-laboratory-and-the-university-of-oslo-oslo-norway-asmar-muqeet-simula-research-laboratory-and-the-university-of-oslo-oslo-norway" class="anchor-link">Presenters: Shaukat Ali, Simula Research Laboratory, and Oslo Metropolitan University, Oslo, Norway; Xinyi Wang, Simula Research Laboratory and the University of Oslo, Oslo, Norway; Asmar Muqeet, Simula Research Laboratory and the University of Oslo, Oslo, Norway</a></h5> <p>Quantum software testing (QST) ensures the dependability of quantum software that executes on quantum computers or their simulators. Such dependability assurance is from both functional and non-functional perspectives. There has been an increasing interest in QST. As a result, introducing this topic to the ICSE conference audience will further raise the interest of young researchers, senior researchers, and practitioners interested in this area. This tutorial will introduce quantum computing in general, followed by an introduction to quantum software engineering. Next, it will cover QST in detail from various perspectives, such as an introduction to the topic, the current state of the art, some automated testing approaches, and future research directions. Finally, we will also demonstrate quantum software testing tools to show these tools in action.</p> <h4><a href="#target-audience" id="target-audience" class="anchor-link">Target audience</a></h4> <p>Given the basic nature of this tutorial, it is suitable for anyone.</p> <h4><a href="#learning-objectives" id="learning-objectives" class="anchor-link">Learning objectives</a></h4> <ul> <li>Introduction to quantum computing</li> <li>Brief introduction to quantum software engineering</li> <li>Provide researchers and practitioners with a quick start to quantum software testing</li> </ul> <h4><a href="#outline" id="outline" class="anchor-link">Outline</a></h4> <ul> <li>Introduction to quantum computing</li> <li>Introduction to quantum programming</li> <li>A brief introduction to quantum software engineering</li> <li>Introduction to quantum software testing</li> <li>Current literature on quantum software testing</li> <li>Introduction to a set of quantum software testing techniques in detail</li> <li>Current limitations and research directions</li> <li>Demonstration of quantum software testing tools</li> </ul> <h4><a href="#bios-of-the-presenters" id="bios-of-the-presenters" class="anchor-link">Bios of the presenters</a></h4> <p><strong>Dr. Shaukat Ali</strong> is a Chief Research Scientist, Research Professor, and Head of the Department at Simula Research Laboratory in Oslo, Norway. He also holds an adjunct position at Oslo Metropolitan University. He focuses on devising novel methods for developing cyber-physical systems by applying various advanced techniques, such as artificial intelligence, digital twins, and quantum computing. He has led many national and European projects related to testing, search-based software engineering, model-based system engineering, and quantum software engineering. He regularly serves as a program committee member for software engineering conferences (e.g., ASE, FSE, ICSE-SEIP, ICST) and organizing committees. Additionally, he serves as an associate editor for ACM TOSEM and Springer EMSE journals and is the steering committee chair for ICST and SSBSE. He is one of the first research scholars in the world to establish the field of quantum software testing. He is a co-founder of the international workshop on quantum software engineering and the international conference on quantum software. He also represents Simula in various quantum computing research and industrial networks nationally and internationally. Link: <a href="https://www.simula.no/people/shaukat">https://www.simula.no/people/shaukat</a></p> <p><strong>Xinyi Wang</strong> is a PhD student at Simula Research Laboratory in Oslo, Norway, and the University of Oslo. She has been working in the quantum software testing domain since 2020. Her research interests also include applying quantum machine learning algorithms to tackle classical software engineering challenges in industry. Link: <a href="https://www.simula.no/people/xinyi">https://www.simula.no/people/xinyi</a></p> <p><strong>Asmar Muqeet</strong> is a PhD student at Simula Research Laboratory and the University of Oslo, Norway. His research centers on quantum software testing, with a particular focus on developing noise-aware testing techniques. These methods aim to address the challenges presented by real quantum computers and enhance the reliability of quantum software testing when applied in practical, real-world scenarios. Link: <a href="https://www.simula.no/people/asmar">https://www.simula.no/people/asmar</a></p> <p><br> <a id="tut2"></a></p> <h3><a href="#tutorial-2-social-legal-ethical-empathetic-and-cultural-requirements-from-elicitation-to-verification" id="tutorial-2-social-legal-ethical-empathetic-and-cultural-requirements-from-elicitation-to-verification" class="anchor-link">Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification</a></h3> <h4><a href="#tuesday-1400-to-1730-with-a-half-hour-break" id="tuesday-1400-to-1730-with-a-half-hour-break" class="anchor-link">Tuesday: 14:00 to 17:30 with a half hour break:</a></h4> <h5><a href="#presenters-lina-marsso-university-of-toronto-toronto-canada-sinem-getir-yaman-university-of-york-york-uk-pedro-ribeiro-university-of-york-york-uk-isobel-standen-university-of-york-york-uk-marsha-chechik-university-of-toronto-toronto-canada" id="presenters-lina-marsso-university-of-toronto-toronto-canada-sinem-getir-yaman-university-of-york-york-uk-pedro-ribeiro-university-of-york-york-uk-isobel-standen-university-of-york-york-uk-marsha-chechik-university-of-toronto-toronto-canada" class="anchor-link">Presenters: Lina Marsso, University of Toronto, Toronto, Canada; Sinem Getir Yaman, University of York, York, UK; Pedro Ribeiro, University of York, York, UK ; Isobel Standen, University of York, York, UK; Marsha Chechik, University of Toronto, Toronto, Canada</a></h5> <p>This is the first ICSE tutorial that addresses specification, debugging, and compliance with social, legal, ethical, empathetic, and cultural (SLEEC) requirements for AI and autonomous systems. As the interaction between these systems and humans continues to grow, the importance of embedding these considerations into the design and development process increases. Attendees will be introduced to state-of-the-art multi-disciplinary methodologies relevant to practitioners. The tutorial presents the challenges posed by SLEEC requirements, and highlights the necessity of engaging the software engineering community in tackling these issues. Lastly, the tutorial brings together for the first time our recent research on the elicitation, specification, validation and verification of SLEEC requirements for AI and autononous systems, which was shorlisted for a Best Paper Award at ETAPS 2023 (<a href="https://shorturl.at/c76Tl">https://shorturl.at/c76Tl</a>) , and received a Distiguished Paper Award at ICSE 2024 (<a href="https://shorturl.at/jmD0h">https://shorturl.at/jmD0h</a>).</p> <h4><a href="#target-audience" id="target-audience" class="anchor-link">Target audience</a></h4> <p>This tutorial is targeted at early-career researchers and students, as well as researchers and practitioners, with or without a technical background, who are interested in the social, legal, ethical, empathetic, and cultural aspects of autonomous systems. We expect participants to range from computer science to social science experts, including students, with an interest in requirements elicitation as well as in the verification of software designs with respect to such requirements.</p> <h4><a href="#learning-objectives" id="learning-objectives" class="anchor-link">Learning objectives</a></h4> <p>The tutorial will deliver a series of short lectures interspersed with practical sessions based on tools, to achieve the following learning objectives:</p> <ul> <li> <p>LO1: Understanding of the role and challenges associated with SLEEC requirements in software engineering, given that they address complex issues that necessitate collaboration across technical and social disciplines.</p> </li> <li> <p>LO2: Ability to apply a methodology for specifying these requirements and use a domain-specific language to formalize them for simple autonomous systems. (This methodology has been co-developed by a multidisciplinary team of software engineers with expertise in verification, ethicists, lawyers, roboticists, and social psychologists.)</p> </li> <li> <p>LO3: Knowledge of state-of-the-art methods for identifying, debugging, and ensuring compliance with a SLEEC requirements set, developed to be accessible and effective for stakeholders with both technical and non-technical backgrounds and assessed on a large number of real-world case studies available in a repository.</p> </li> </ul> <h4><a href="#outline" id="outline" class="anchor-link">Outline</a></h4> <p>The tutorial is organized into two main parts:</p> <p>Part 1: SLEEC rule elicitation & specification</p> <ul> <li>Introduction to SLEEC requirements and paradigm (methodology)</li> <li>SLEEC requirements language, illustrate the semantics with scenarios</li> <li>Elicitation</li> <li>SLEEC rule specification in the tooling</li> </ul> <p>Part II: SLEEC rule consistency validation & verification</p> <ul> <li>SLEEC requirements well-formedness issues detection and resolution</li> <li>SLEEC requirements compliance verification</li> <li>SLEEC wellformedness and compliance verification in the tooling</li> </ul> <h4><a href="#hands-on-exercises" id="hands-on-exercises" class="anchor-link">Hands-On Exercises</a></h4> <p>The tutorial will have two hands-on exercises, each lasting 30 minutes, with participants working in pairs and utilizing a specialized tool. The first hands-on exercise using the IDE to specify new SLEEC requirements for an assitive robot, ALMI (learning objective LO2). And the second hands-on exercise, where participants will use the tooling to identify and resolve SLEEC well-formedness or compliance issues for ALMI. The tools will be available for participants to access either online through a web interface or via virtual machines they will be able to install on their own laptops. During the tutorial, one of the facilitators will provide direct technical support.</p> <h4><a href="#bios-of-the-presenters" id="bios-of-the-presenters" class="anchor-link">Bios of the presenters</a></h4> <p><strong>Dr. Lina Marsso</strong> (<a href="http://www.cs.toronto.edu/~lmarsso/">http://www.cs.toronto.edu/~lmarsso/</a>) is a postdoctoral researcher in the Department of Computer Science at the University of Toronto, with a background in formal methods for software engineering. Her research focuses on modeling, verifying, and testing software requirements and designs for autonomous systems, including SLEEC requirements. She has experience presenting the SLEEC requirement verification components of the SLEEC methodology to software engineering audiences, including talks at conferences such as ASE, ICSE, and RE 2024, as well as at multi-disciplinary research group meetings.</p> <p><strong>Dr. Sinem Getir Yaman</strong> (<a href="https://sinemgetir.github.io/">https://sinemgetir.github.io/</a>) is a postdoctoral researcher in the University of York’s Department of Computer Science. Her research focuses on methods for the modeling and verification of non-functional requirements, including SLEEC requirements, for software quality evaluation under uncertainty. Her background is in formal methods, and she is the lead developer of the SLEECVAL toolkit. She has experience of presenting the technical components of the methodology to software engineering audiences, e.g., through talks at conferences such as ETAPS~2023, giving tutorial at ASE~2023 and at large research programme meetings.</p> <p><strong>Dr. Pedro Ribeiro</strong> (<a href="https://www.cs.york.ac.uk/people/pfr">https://www.cs.york.ac.uk/people/pfr</a>) is a lecturer in Computer Science at the University of York and a member of the RoboStar centre of excellence. He has over a decade of experience on formal modelling and verification with applications to modern software engineering approaches, and is one of the core developers of RoboTool and its integration with the SLEEC toolkit. He has experience in giving talks to a variety of stakeholders including at multi-disciplinary research programme meetings and international conferences such as iFM and ICTAC. He has also been a member of several programme committees, including artifact review committees, in the area of formal methods, and is a co-founder of Formal Method’s Europe (FME) communications committee. Isobel Standen (<a href="https://uk.linkedin.com/in/isobel-standen">https://uk.linkedin.com/in/isobel-standen</a>) is a PhD student in philosophy at the University of York and a member of the UKRI ‘Trustworthy Autonomous Systems Node in Resilience’. Her research focuses on eliciting requirements for socially responsible and trustworthy autonomous systems. She has experience presenting her work to multidisciplinary audiences, including those in philosophy and computer science, both in England and Toronto. Additionally, she has presented in research group meetings and taught philosophy seminars to undergraduate students.</p> <p><strong>Prof. Marsha Chechik</strong> (<a href="https://www.cs.toronto.edu/~chechik/">https://www.cs.toronto.edu/~chechik/</a>) is a Professor in the Department of Computer Science at the University of Toronto. Prof. Chechik’s research interests are in modeling and reasoning about software. She has authored over 200 papers in formal methods, software specification and verification, computer security, and requirements engineering. She has presented the SLEEC verification methodology in the Stanford Research Institute and the Marktoberdorf formal method summer schools in 2024.</p> </div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 27 Nov 21:02</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="icsr-2025" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"icsr-2025"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="icsr-2025" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"icsr-2025"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://conf.researchr.org/home/icsr-2025" class="navigate"><span class="glyphicon glyphicon-home"></span> ICSR 2025</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.67.1</a>)<br/><small><a href="https://conf.researchr.org/support/icsr-2025" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://conf.researchr.org/home/icsr-2025" class="navigate">ICSR</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/icsr-2025/icse-2025-venue" class="navigate">Venue: Rogers Centre, Ottawa (formerly Shaw Centre)</a><br><a href="https://conf.researchr.org/attending/icsr-2025/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/icsr-2025/Hotels" class="navigate">Hotels</a><br><a href="https://conf.researchr.org/attending/icsr-2025/visa-and-travel-authorization" class="navigate">Visa and Travel Authorization Information for ICSE 2025 and its Co-Located Events</a><br><a href="https://conf.researchr.org/attending/icsr-2025/Travelling" class="navigate">Travelling to Ottawa</a><br><a href="https://conf.researchr.org/attending/icsr-2025/gettingAroundOttawa" class="navigate">Getting Around Ottawa</a><br><a href="https://conf.researchr.org/attending/icsr-2025/food" class="navigate">Food at ICSE2025</a><br><a href="https://conf.researchr.org/attending/icsr-2025/Code+of+Conduct" class="navigate">Code of Conduct for ICSE 2025 and its Co-Located Events</a><br><a href="https://conf.researchr.org/attending/icsr-2025/Diversity+and+Inclusion+Plan" class="navigate">Equity, Diversity, and Inclusion Plan for ICSE 2025</a><br><a href="https://conf.researchr.org/attending/icsr-2025/fun+activities" class="navigate">Fun Activities</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/icsr-2025" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>