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://2023.issta.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2023.issta.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ISSTA 2023</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2023.issta.org";</script> <link rel="stylesheet" href="https://2023.issta.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2023.issta.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2023.issta.org/getFile/e50f96a8-115d-4e2a-bd62-de4f393ddcab/logobar.css?1684850629613" type="text/css" /><link rel="stylesheet" href="https://2023.issta.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://2023.issta.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://2023.issta.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://2023.issta.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://2023.issta.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://2023.issta.org/javascript/twitter-widget-ios-fix.js?7ba20a9fa447de94b2a094eead2ccfe8"></script> <script type="text/javascript" src="https://2023.issta.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2023.issta.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2023.issta.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2023.issta.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2023.issta.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2023.issta.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <meta name='description' content='Welcome to the website of the 32nd edition of ISSTA! The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA Impact Paper Award: We are pleased to announce the winner of this year’s ISSTA Impact Paper Award: Paper Title: Calculating source line level energy information for Android applications Authors: Ding Li, Shuai Ha ...'> <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:title' content='ISSTA 2023'> <link rel="preload" href="https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.png" as="image" /> <link rel="preload" href="https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner-background.png" as="image" /> <link rel="preload" href="https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-seattle-banner.svg" as="image" /> <link rel="preload" href="https://conf.researchr.org/getImage/issta-2023/orig/issta-2023-banner.svg" as="image" /> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to the website of the 32nd edition of ISSTA! The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. ISSTA Impact Paper Award: We are pleased to announce the winner of this year’s ISSTA Impact Paper Award: Paper Title: Calculating source line level energy information for Android applications Authors: Ding Li, Shuai Ha ...'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2023.issta.org/getImage/carousel/14593907237_191b682003_o.jpg?1684845367000'> <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> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://2023.issta.org" class="navbar-brand navigate"><span class="brand-text">ISSTA 2023</span></a><div class="place">Mon 17 - Fri 21 July 2023 <a href="https://2023.issta.org/venue/ecoop-issta-2023-venue" class="navigate">Seattle (University of Washington campus), Washington, United States</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/ecoop-issta-2023" class="navigate">ECOOP and ISSTA 2023</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://2023.issta.org/venue/ecoop-issta-2023-venue" class="navigate">Venue: Seattle</a></li><li class="block"><a href="https://2023.issta.org/attending/travel-support" class="navigate">Travel Support</a></li><li class="block dropdown-header">ECOOP and ISSTA 2023</li><li class="block"><a href="https://2023.issta.org/attending/conduct" class="indent navigate">Conduct</a></li><li class="block"><a href="https://2023.issta.org/attending/covid-19" class="indent navigate">Covid-19</a></li><li class="block"><a href="https://2023.issta.org/attending/accommodation" class="indent navigate">Accommodation</a></li><li class="block"><a href="https://2023.issta.org/attending/registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://2023.issta.org/attending/Visas" class="indent navigate">Visas</a></li></ul></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"><a href="https://2023.issta.org/program/program-issta-2023/" class="navigate">ISSTA Program</a></li><li class="block"><a href="https://2023.issta.org/program/program-issta-2023/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block"><a href="https://2023.issta.org/info/schedule-overview" class="navigate">Schedule Overview</a></li><li class="block divider"></li><li class="block"><a href="https://2023.issta.org/program/program-issta-2023/" data-fltr-type="date" data-fltr-val="Mon 17 Jul 2023" class="navigate">Mon 17 Jul</a></li><li class="block"><a href="https://2023.issta.org/program/program-issta-2023/" data-fltr-type="date" data-fltr-val="Tue 18 Jul 2023" class="navigate">Tue 18 Jul</a></li><li class="block"><a href="https://2023.issta.org/program/program-issta-2023/" data-fltr-type="date" data-fltr-val="Wed 19 Jul 2023" class="navigate">Wed 19 Jul</a></li><li class="block"><a href="https://2023.issta.org/program/program-issta-2023/" data-fltr-type="date" data-fltr-val="Thu 20 Jul 2023" class="navigate">Thu 20 Jul</a></li><li class="block"><a href="https://2023.issta.org/program/program-issta-2023/" data-fltr-type="date" data-fltr-val="Fri 21 Jul 2023" class="navigate">Fri 21 Jul</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ISSTA 2023</li><li class="block"><a href="https://2023.issta.org/track/issta-2023-technical-papers" class="navigate">Technical Papers</a></li><li class="block"><a href="https://2023.issta.org/track/issta-2023-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://2023.issta.org/track/issta-2023-tool-demonstrations" class="navigate">Tool Demonstrations</a></li><li class="block"><a href="https://2023.issta.org/track/issta-2023-keynotes" class="navigate">Keynotes</a></li><li class="block dropdown-header">ECOOP and ISSTA 2023</li><li class="block"><a href="https://2023.issta.org/track/ecoop-issta-2023-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li class="block"><a href="https://2023.issta.org/track/ecoop-issta-2023-keynotes" class="navigate">Keynotes</a></li><li class="block"><a href="https://2023.issta.org/track/ecoop-issta-2023-sponsors" class="navigate">Sponsorships</a></li><li class="block"><a href="https://2023.issta.org/track/ecoop-issta-2023-student-research-competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://2023.issta.org/track/ecoop-issta-2023-student-volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2023.issta.org/track/ecoop-issta-2023-workshops" class="navigate">Workshops</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2023.issta.org/track/COP-2023" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2023.issta.org/track/debt-2023" class="navigate"><strong>DEBT</strong> </a></li><li class="block"><a href="https://2023.issta.org/track/FTfJP-2023" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2023.issta.org/track/fuzzing-2023" class="navigate"><strong>FUZZING</strong> </a></li><li class="block"><a href="https://2023.issta.org/track/ICOOOLPS-2023" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2023.issta.org/track/vortex-2023" class="navigate"><strong>VORTEX</strong> </a></li></ul></div></div></ul></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-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ISSTA 2023 Committees</li><li class="block"><a href="https://2023.issta.org/committee/issta-2023-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2023.issta.org/committee/issta-2023-technical-papers-technical-papers" class="navigate"><strong>Technical Papers</strong></a></li><li class="block"><a href="https://2023.issta.org/committee/issta-2023-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li><li class="block"><a href="https://2023.issta.org/committee/issta-2023-tool-demonstrations-committee" class="navigate"><strong>Tool Demonstrations</strong></a></li><li class="block dropdown-header">ECOOP and ISSTA</li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/ecoop-issta-2023-doctoral-symposium-chairs" class="navigate"><strong>Doctoral Symposium</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/ecoop-issta-2023-sponsors-chairs" class="navigate"><strong>Sponsorships</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/ecoop-issta-2023-student-research-competition-chairs" class="navigate"><strong>Student Research Competition</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/ecoop-issta-2023-student-volunteers-chairs" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/ecoop-issta-2023-workshops-sebastian-erdweg" class="navigate"><strong>Workshops</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2023.issta.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>COP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/COP-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/COP-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>DEBT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/debt-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/debt-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FTfJP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/FTfJP-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/FTfJP-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>FUZZING</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/fuzzing-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/fuzzing-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ICOOOLPS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/ICOOOLPS-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/ICOOOLPS-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>VORTEX</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/vortex-2023-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2023/vortex-2023-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2023.issta.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2023.issta.org/series/issta" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"></li><li class="block"><a href="https://conf.researchr.org/home/issta-2025" class="navigate">ISSTA 2025</a></li><li class="block"><a href="https://2024.issta.org" class="navigate">ISSTA 2024</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ISSTA 2023</span></li><li class="block"><a href="https://conf.researchr.org/home/issta-2022" class="navigate">ISSTA 2022</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2021" class="navigate">ISSTA 2021</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2020" class="navigate">ISSTA 2020</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2019" class="navigate">ISSTA 2019</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2018" class="navigate">ISSTA 2018</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2017" class="navigate">ISSTA 2017</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/issta-2023/https%3A%5Es%5Es2023.issta.org%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2023.issta.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="0" class="active"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="1"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="2"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="3"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="4"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="5"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="6"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="7"></li><li data-target="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide-to="8"></li></ol><div class="carousel-inner" style="background-color: #888;"><div class="item active"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/14593907237_191b682003_o.jpg?1684845367000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by-nc-nd/2.0/80x15.png" /></a> <a href="https://flickr.com/photos/howardignatius/14593907237/" target="_blank" class="navigate">Photo by <em>Howard Ignatius</em></a></div><div class="carousel-caption"><h3>Seattle Downtown with Space Needle</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/14654276070_14b6a6a06b_o.jpg?1684845381000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://flickr.com/photos/68147320@N02/14654276070/" target="_blank" class="navigate">Photo by <em>T.Tseng</em></a></div><div class="carousel-caption"><h3>The Seattle Great Wheel</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/49004630578_0f54de6a31_o.jpg?1684845503000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://flickr.com/photos/gotovan/49004630578/" target="_blank" class="navigate"></a></div><div class="carousel-caption"><h3>Amazon Spheres</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/14908631219_c6e9ba5d90_o.jpg?1684845505000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nd/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by-nd/2.0/80x15.png" /></a> <a href="https://flickr.com/photos/myhsu/14908631219/" target="_blank" class="navigate">Photo by <em>Ming-yen Hsu</em></a></div><div class="carousel-caption"><h3>Seattle Public Library</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/5011657931_19607eb019_o.jpg?1684845506000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by-sa/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/lytfyre/5011657931/" target="_blank" class="navigate">Photo by <em>Jon</em></a></div><div class="carousel-caption"><h3>Seattle Center Monorail</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/48426836991_737a391767_o.jpg?1684845507000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/skellysf/48426836991/" target="_blank" class="navigate">Photo by <em>Stephen Kelly</em></a></div><div class="carousel-caption"><h3>Museum of Pop Culture (MoPOP)</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/11230651986_f808c23540_o.jpg?1684845509000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by-nc-nd/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/fmf0/11230651986/" target="_blank" class="navigate">Photo by <em>Frank Fujimoto</em></a></div><div class="carousel-caption"><h3>Pacific Science Center</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/112714001_c9879f888b_o.jpg?1684845511000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://www.flickr.com/photos/michaelrighi/112714001/" target="_blank" class="navigate">Photo by <em>Michael Righi</em></a></div><div class="carousel-caption"><h3>Pike Place Market</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://2023.issta.org/getImage/carousel/31405598832_61e2ee387d_o.jpg?1684845512000');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://licensebuttons.net/l/by/2.0/80x15.png" /></a> <a href="https://flickr.com/photos/emotakespictures/31405598832/" target="_blank" class="navigate">Photo by <em>Eric Moreno</em></a></div><div class="carousel-caption"><h3>Seattle Skyline</h3><h5></h5></div></div></div><a href="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-65e9a156-efa0-4d5d-84a1-37fccfd414c7" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><ul id="tab" class="nav nav-tabs"><li class="active"><a href="#Home" data-toggle="tab">Home</a></li><li><a href="#Welcome-to-Seattle-and-logistics" data-toggle="tab">Welcome to Seattle and logistics</a></li><li><a href="#Online-sessions-and-Zoom-links" data-toggle="tab">Online sessions and Zoom links</a></li><li><a href="#Opening-Remarks" data-toggle="tab">Opening Remarks</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(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><div class="tab-content"><div id="Home" class="tab-pane active"><div class="row"><div class="col-sm-12"><div class="page-header"><h1>ISSTA 2023</h1></div><p>Welcome to the website of the 32nd edition of ISSTA!</p> <p>The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.</p> <h3><a href="#issta-impact-paper-award" id="issta-impact-paper-award" class="anchor-link">ISSTA Impact Paper Award:</a></h3> <p>We are pleased to announce the winner of this year’s ISSTA Impact Paper Award:</p> <ul> <li> <p><strong>Paper Title:</strong> <a href="https://dl.acm.org/doi/10.1145/2483760.2483780">Calculating source line level energy information for Android applications</a></p> </li> <li> <p><strong>Authors:</strong> Ding Li, Shuai Hao, William G.J. Halfond, Ramesh Govindan</p> </li> </ul> <p>This insightful paper addresses a critical issue in mobile application development: managing the energy cost of increased functionality in battery constrained mobile devices.</p> <p><strong>Don’t miss their award presentation on Wednesday!</strong> This session offers an invaluable chance to delve deeper into their research and engage in a dialogue with the authors. Ensure to mark this important occasion in your schedule!</p> </div></div><div class="row"><div class="col-sm-12"><h3>Keynotes</h3><div id="925bb850e21951e2c11ba916ca40ece4wrapper"><div id="925bb850e21951e2c11ba916ca40ece4"><a href="https://2023.issta.org/details/issta-2023-keynotes/3/Reflections-on-the-Impact-of-Calculating-Source-Line-Level-Energy-Information-for-And" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="William G.J. Halfond" src="https://2023.issta.org/getProfileImage/williamgjhalfond/ae727d14-d477-4b02-bc9e-b964e65027db/avatar.jpg?1711469035000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications</h5><h6><i>William G.J. Halfond</i></h6></div></div></div></a><a href="https://2023.issta.org/details/issta-2023-keynotes/5/Towards-Code-Aware-Code-Models" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Baishakhi Ray" src="https://2023.issta.org/getProfileImage/baishakhiray/be1ed58f-4bd4-4fb9-9d92-d2c5effdace4/avatar.jpg?1717781608000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Towards Code-Aware Code Models</h5><h6><i>Baishakhi Ray</i></h6></div></div></div></a><a href="https://2023.issta.org/details/issta-2023-keynotes/4/Machine-Learning-for-Software-Engineering" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Satish Chandra" src="https://2023.issta.org/getProfileImage/satishchandra/feb1585b-dcd0-4058-83fc-260397fefc8c/avatar.jpg?1711460940000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Machine Learning for Software Engineering</h5><h6><i>Satish Chandra</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#925bb850e21951e2c11ba916ca40ece4").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#925bb850e21951e2c11ba916ca40ece4wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#925bb850e21951e2c11ba916ca40ece4 .' + cl + ',#925bb850e21951e2c11ba916ca40ece4 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#925bb850e21951e2c11ba916ca40ece4 .' + cl).css('height', maxHeight); }); }); </script></div></div></div><div id="Welcome-to-Seattle-and-logistics" class="tab-pane "><div class="row"><div class="col-sm-12"><div class="page-header"><h3>ISSTA/ECOOP'23: Welcome to Seattle and logistics</h3></div><p>Dear ISSTA/ECOOP 2023 participants,</p> <p>We look forward to welcoming you to the joint conference next week.</p> <p>Below are a number of logistical notes as well as guidelines for presenters. (For convenience, this and other communications will appear on the conference website as well.)</p> <p>On behalf of the ISSTA/ECOOP 2023 organizing committee, welcome to Seattle!</p> <p>René Just</p> <p><strong>Light Rail</strong></p> <p>The Seattle Light Rail system is a great option to get around the Seattle area and to the University of Washington. There is a station conveniently located at the SeaTac airport (from baggage claim, head up to 4th floor and use the skybridge to cross to the parking garage, and follow signs to Link Light Rail), and the line goes directly to downtown Seattle and the University of Washington. Light Rail and bus tickets can be easily purchased via the <a href="https://kingcounty.gov/depts/transportation/metro/fares-orca/transit-go-ticket.aspx">Transit GO Ticket app</a> or at ticket kiosks located in the station. Light Rail tickets are $7 for all day use, or $2.25 to $3.50 per one-way trip.</p> <p><strong>Bus</strong></p> <p>Seattle has extensive bus route systems. You can use Seattle Metro’s convenient <a href="https://tripplanner.kingcounty.gov/#/app/tripplanning">Trip Planning site</a> to plan your route. Tickets can be purchased via the <a href="https://kingcounty.gov/depts/transportation/metro/fares-orca/transit-go-ticket.aspx">Transit GO Ticket app</a> or with $2.75 exact change when boarding the bus.</p> <p><strong>Parking on Campus</strong></p> <p>Paid parking is available on the University of Washington campus. If you are driving to campus, it is recommended to factor in 20-30 minutes for finding parking and walking to your destinations, as the Allen and Gates buildings are 0.4 miles (0.6 km) from all parking garages. Information about parking fees can be found on ]UW’s Transportation](<a href="https://transportation.uw.edu/park/visitor">https://transportation.uw.edu/park/visitor</a>) website. Parking permits can be purchased at UW Gatehouses or by phone via the <a href="https://www.paybyphone.com/us-locations/seattle-wa">PayByPhone App</a>.</p> <p><strong>Addresses</strong></p> <p>Paul G. Allen Center for Computer Science and Engineering (Allen Center) 185 E Stevens Way NE Seattle, WA 98195</p> <p>Bill & Melinda Gates Center for Computer Science and Engineering (Gates Center) 3800 E Stevens Way NE Seattle, WA 98195</p> <p>(The two buildings are adjacent, though the street numbers may suggest otherwise.)</p> <p><strong>Registration</strong></p> <p>Please pick up your conference badge and registration package at the registration desk in the Allen Center. Just enter the building through the sliding doors, and the reception desk will be in front of you. The registration desk will be staffed between 8am and 5pm, Monday through Thursday, and between 8am and noon on Friday.</p> <p><strong>Technical Program</strong></p> <p>You can find a program overview and details for the entire week on the <a href="https://conf.researchr.org/program/ecoop-issta-2023/program-ecoop-issta-2023/">ISSTA/ECOOP website</a>. (The programs on the ISSTA and ECOOP website instances are in sync with the overall program, but provide a view that is tailored to each conference.)</p> <p><strong>Guidelines for presenters</strong></p> <ul> <li> <p><strong>In-person presentations:</strong> Presentation slots are 15 minutes (unless differently indicated by your track chair). Please follow the instructions provided to you by your track chair to allow for enough time for Q&A. Please go to your allocated room 15 minutes before the session start time to meet with the Session Chair (see technical program), review the pronunciation of your name, and familiarize yourself with the room and A/V set up, if needed (see Rehearsal and equipment check). You are expected to use your own laptop for presentations, which needs to be connected via HDMI. Some dongles (USB-C) may be available but bring your own adapter if needed. For ISSTA and ECOOP presentations, the A/V system is set up such that it will capture the screen, presenter, and audio, which will be streamed for remote participants via Zoom. Note that you do not need to join a Zoom meeting, simply plug in your device and use the wireless microphone provided.</p> </li> <li> <p><strong>ISSTA-Online presentations:</strong> Presentation slots are 10 minutes. Prepare for 7.5 minutes of presentation and 2.5 minutes of Q&A. You will be required to present via Zoom. Please join the zoom meeting for your online session 15 minutes before the session start time. The zoom meeting details will be shared separately before the main conference. To avoid complications, please install the latest Zoom application on your computer and do not present via a web browser. Make sure your Zoom setup is working properly by running the Zoom audio/video test before joining the call. If your presentation contains any audio, you must enable the sharing of audio when sharing your screen. When you have finished your presentation, please stop sharing your screen and mute your microphone.</p> </li> <li> <p><strong>Posters:</strong> Please set up your poster on Tuesday between 3pm and 3:30pm in the Allen Atrium (in time for the first poster session that starts at 3:30pm). All posters can remain in the Allen Atrium until Thursday evening. Easels, poster boards (32x40 inches), and clips will be provided.</p> </li> <li> <p><strong>Rehearsal and equipment check:</strong> We have reserved room G04 for presentation rehearsal and equipment testing. The A/V setup is identical in all conference rooms. If your set up works in G04, it should work everywhere.</p> </li> </ul> <p><strong>Need Help?</strong></p> <p>Signs and student volunteers (in purple shirts) will guide you and help you find your way around campus. If you need additional help or support, please let a staff member at the registration desk know or email April and René.</p> </div></div></div><div id="Online-sessions-and-Zoom-links" class="tab-pane "><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Online sessions and Zoom links</h3></div><p>Dear ISSTA/ECOOP 2023 participants,</p> <p>Below are four meeting links for joining the conference remotely, grouped by conference room. These links are valid for the entire week, and each meeting will start at 10:15am (PDT) on any given day. Please see the <a href="https://conf.researchr.org/program/ecoop-issta-2023/program-ecoop-issta-2023">online program</a> for details regarding sessions, rooms, and presentation order.</p> <p><strong>For online presenters</strong></p> <p>Please make sure to virtually join your meeting room 15 minutes prior to the start of your session to connect with your session chair and a student volunteer in the (physical) conference room.</p> <p><strong>For in-person participants</strong></p> <p>All remote presentations are streamed in the physical conference rooms (in the order as listed in the program). In-person participants will be able to ask questions using a wireless microphone and do not need to connect to Zoom.</p> <p><strong>Habib Classroom (Gates G01)</strong></p> <ul> <li><del><a href="https://washington.zoom.us/j/96378948308">https://washington.zoom.us/j/96378948308</a></del></li> <li><a href="https://washington.zoom.us/j/93508947113">https://washington.zoom.us/j/93508947113</a></li> <li>ISSTA Online 2 (Static Analysis)</li> <li>ISSTA Online 5 (Domain-specific Testing)</li> </ul> <p><strong>Bezos Seminar Room (Gates G04)</strong></p> <ul> <li><del><a href="https://washington.zoom.us/j/97880373378">https://washington.zoom.us/j/97880373378</a></del></li> <li><a href="https://washington.zoom.us/j/98758960237">https://washington.zoom.us/j/98758960237</a></li> <li>ISSTA Online 3 (Empirical Studies)</li> <li>ISSTA Online 6 (Smart Contracts and Automotive)</li> </ul> <p><strong>Smith Classroom (Gates G10)</strong></p> <ul> <li><a href="https://washington.zoom.us/j/95570994317">https://washington.zoom.us/j/95570994317</a></li> <li>ISSTA Online 1 (SE and Deep Learning)</li> <li>ISSTA Online 4 (Testing and Analysis of Deep Learning Systems)</li> </ul> <p><strong>Amazon Auditorium (Gates G20)</strong></p> <ul> <li><a href="https://washington.zoom.us/j/99192851975">https://washington.zoom.us/j/99192851975</a></li> <li>ISSTA-online keynote</li> <li>ISSTA’24 preview</li> <li>ISSTA closing</li> </ul> <p>On behalf of the ISSTA/ECOOP 2023 organizing committee,</p> <p>René Just</p> </div></div></div><div id="Opening-Remarks" class="tab-pane "><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Opening Remarks</h3></div><p>You can find below the slides of the opening remarks:</p> <iframe src="https://conf.researchr.org/getImage/ecoop-issta-2023/orig/Opening.pdf" width="100%" height="500px"> <p>Your browser does not support PDFs. Use the link above to access the PDF.</p> </iframe> </div></div></div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> ISSTA 2023 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://2023.issta.org/track/issta-2023-technical-papers" class="text-muted navigate">Technical Papers</a> | <a href="https://2023.issta.org/track/issta-2023-artifact-evaluation" class="text-muted navigate">Artifact Evaluation</a> | <a href="https://2023.issta.org/track/issta-2023-tool-demonstrations" class="text-muted navigate">Tool Demonstrations</a> | <a href="https://2023.issta.org/track/issta-2023-keynotes" class="text-muted navigate">Keynotes</a> | <a href="https://2023.issta.org/track/ecoop-issta-2023-doctoral-symposium" title="From ECOOP and ISSTA 2023" class="text-muted navigate">Doctoral Symposium</a> | <a href="https://2023.issta.org/track/ecoop-issta-2023-keynotes" title="From ECOOP and ISSTA 2023" class="text-muted navigate">Keynotes</a> | <a href="https://2023.issta.org/track/ecoop-issta-2023-sponsors" title="From ECOOP and ISSTA 2023" class="text-muted navigate">Sponsorships</a> | <a href="https://2023.issta.org/track/ecoop-issta-2023-student-research-competition" title="From ECOOP and ISSTA 2023" class="text-muted navigate">Student Research Competition</a> | <a href="https://2023.issta.org/track/ecoop-issta-2023-student-volunteers" title="From ECOOP and ISSTA 2023" class="text-muted navigate">Student Volunteers</a> | <a href="https://2023.issta.org/track/ecoop-issta-2023-workshops" title="From ECOOP and ISSTA 2023" class="text-muted navigate">Workshops</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-primary social-media-widget"><div class="panel-heading clearfix"><div class="panel-title"><svg xmlns="http://www.w3.org/2000/svg" height="0.875em" viewBox="0 0 512 512"><path d="M389.2 48h70.6L305.6 224.2 487 464H345L233.7 318.6 106.5 464H35.8L200.7 275.5 26.8 48H172.4L272.9 180.9 389.2 48zM364.4 421.8h39.1L151.1 88h-42L364.4 421.8z"></path></svg> Posts</div></div><a class="twitter-timeline" data-height="400"href="https://twitter.com/issta_conf?s=21&t=qyyHaxtImo44Y3znjhXTLg">Twitter @ISSTA_CONF</a><script async src="//platform.twitter.com/widgets.js" charset="utf-8"></script></div><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="https://www.acm.org" title="ACM" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ACM" src="https://2023.issta.org/getLogo/7d0b53bc-c502-45fd-8768-1fce00b2beea?1680502657000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="https://www.sigsoft.org/index.html" title="ACM SIGSOFT" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ACM SIGSOFT" src="https://2023.issta.org/getLogo/eb2a6881-5f3d-47b8-860a-ec6eb7ebc93a?1680502722000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="https://aito-services.org" title="AITO" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="AITO" src="https://2023.issta.org/getLogo/375a8a0e-f45b-4931-9b8d-9c26bc9eefc5?1680502935000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="https://www.cs.washington.edu" title="UW CSE" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="UW CSE" src="https://2023.issta.org/getLogo/28525599-e4ce-4ef4-b6fd-c5dde2320283?1681742088000" class="outputimage"/></span></td><td>Sponsor</td></tr></table></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Tue 18 Feb 06:53</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://2023.issta.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="issta-2023" /><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://2023.issta.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"issta-2023"},],"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://2023.issta.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="issta-2023" /><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://2023.issta.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"issta-2023"},],"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://2023.issta.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA 2023</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.69.0</a>)<br/><small><a href="https://2023.issta.org/support" 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://2023.issta.org/track/issta-2023-technical-papers" class="navigate">Technical Papers</a><br/><a href="https://2023.issta.org/track/issta-2023-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://2023.issta.org/track/issta-2023-tool-demonstrations" class="navigate">Tool Demonstrations</a><br/><a href="https://2023.issta.org/track/issta-2023-keynotes" class="navigate">Keynotes</a><br/><br/><h4>ECOOP and ISSTA 2023</h4><a href="https://2023.issta.org/track/ecoop-issta-2023-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://2023.issta.org/track/ecoop-issta-2023-keynotes" class="navigate">Keynotes</a><br/><a href="https://2023.issta.org/track/ecoop-issta-2023-sponsors" class="navigate">Sponsorships</a><br/><a href="https://2023.issta.org/track/ecoop-issta-2023-student-research-competition" class="navigate">Student Research Competition</a><br/><a href="https://2023.issta.org/track/ecoop-issta-2023-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2023.issta.org/track/ecoop-issta-2023-workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://conf.researchr.org/track/ecoop-issta-2023/COP-2023" class="navigate">COP 2023</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2023/debt-2023" class="navigate">DEBT 2023</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2023/FTfJP-2023" class="navigate">FTfJP 2023</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2023/fuzzing-2023" class="navigate">FUZZING 2023</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2023/ICOOOLPS-2023" class="navigate">ICOOOLPS 2023</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2023/vortex-2023" class="navigate">VORTEX 2023</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2023.issta.org/venue/ecoop-issta-2023-venue" class="navigate">Venue: Seattle</a><br><a href="https://2023.issta.org/attending/travel-support" class="navigate">Travel Support</a><br><a href="https://2023.issta.org/attending/conduct" class="navigate">ECOOP/ISSTA Code of Conduct</a><br><a href="https://2023.issta.org/attending/covid-19" class="navigate">ECOOP/ISSTA Covid-19 Disclosure & Liability Waiver</a><br><a href="https://2023.issta.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://2023.issta.org/attending/registration" class="navigate">ECOOP / ISSTA 2023 Registration Is Open</a><br><a href="https://2023.issta.org/attending/Visas" class="navigate">Visas</a></div><div class="col-sm-2"><script> /* move schedule overview to top in Program-menu */ const overviewElem = $("#program-menu li:has( a[href='https://2023.issta.org/info/schedule-overview'] )"); overviewElem.prependTo( overviewElem.parent() ); </script> </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; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.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>