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://2018.ecoop.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2018.ecoop.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ISSTA 2018 - ISSTA Technical Papers - ECOOP 2018</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2018.ecoop.org";</script> <link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/getFile/6bf369a0-f252-4937-aa3c-0fe95b8da378/ECOOP18.css?1521555778930" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.org/stylesheets/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" type="text/css" /><link rel="stylesheet" href="https://2018.ecoop.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://2018.ecoop.org/javascript/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2018.ecoop.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2018.ecoop.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> <meta name='description' content='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’18 will be co-located with the European Conference on Object-Oriented Programming (ECOOP ’18), and with Curry On, a conference focused on programming languages &amp; emerging challenges in industry. The ISSTA proceedings are available here. '> <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> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; 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 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 2018 - ISSTA Technical Papers - ECOOP 2018'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='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’18 will be co-located with the European Conference on Object-Oriented Programming (ECOOP ’18), and with Curry On, a conference focused on programming languages & emerging challenges in industry. The ISSTA proceedings are available here. '> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; 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">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="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2018.ecoop.org" class="navbar-brand navigate"><span class="brand-text">ECOOP 2018</span></a><div class="place">Sun 15 - Sat 21 July 2018 <a href="https://2018.ecoop.org/venue/ecoop-issta-2018-venue" class="navigate">Amsterdam, Netherlands</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/ecoop-issta-2018" class="navigate">ECOOP and ISSTA 2018</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://2018.ecoop.org/venue/ecoop-issta-2018-issta-sc-meeting-venue" class="navigate">Venue: ISSTA Steering Committee Meeting</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-aito-gam-venue" class="navigate">Restaurant: Cafe de Jaren</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-uber-reception-venue" class="navigate">Venue: Uber</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-venue" class="navigate">Venue: Mövenpick Hotel Amsterdam City Centre</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-curryon-party-venue" class="navigate">Restaurant: Tobacco Theater</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-issta-banquet-venue" class="navigate">Restaurant: Zaalverhuur Pakhuis de Zwijger</a></li><li class="block"><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-ecoop-banquet-venue" class="navigate">Restaurant: De Koninklijke Industrieele Groote Club</a></li><li class="block"><a href="https://2018.ecoop.org/attending/about" class="navigate">About</a></li><li class="block"><a href="https://2018.ecoop.org/attending/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://2018.ecoop.org/attending/awards" class="navigate">Awards</a></li><li class="block dropdown-header">ECOOP and ISSTA 2018</li><li class="block"><a href="https://2018.ecoop.org/attending/registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://2018.ecoop.org/attending/program-%40-a-glance" class="indent navigate">Program @ a Glance</a></li><li class="block"><a href="https://2018.ecoop.org/attending/travel" class="indent navigate">Travel and Local Info</a></li><li class="block"><a href="https://2018.ecoop.org/attending/visas" class="indent navigate">Visas</a></li><li class="block"><a href="https://2018.ecoop.org/attending/students" class="indent navigate">Students</a></li><li class="block"><a href="https://2018.ecoop.org/attending/sponsorship" class="indent navigate">Sponsorship</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://2018.ecoop.org/program/program-ecoop-2018/" class="navigate">ECOOP Program</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Filter by Day</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Sun 15 Jul 2018" class="navigate">Sun 15 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Mon 16 Jul 2018" class="navigate">Mon 16 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Tue 17 Jul 2018" class="navigate">Tue 17 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Wed 18 Jul 2018" class="navigate">Wed 18 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Thu 19 Jul 2018" class="navigate">Thu 19 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Fri 20 Jul 2018" class="navigate">Fri 20 Jul</a></li><li class="block"><a href="https://2018.ecoop.org/program/program-ecoop-2018/" data-fltr-type="date" data-fltr-val="Sat 21 Jul 2018" class="navigate">Sat 21 Jul</a></li></ul></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">ECOOP 2018</li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-artifacts" class="navigate">ECOOP Artifacts</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-Keynotes" class="navigate">ECOOP Keynotes</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-papers" class="navigate">ECOOP Research Papers</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-2018-Journal-First" class="navigate">Journal-First</a></li><li class="block dropdown-header">ECOOP and ISSTA 2018</li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-doctoral-symposium" class="navigate">Doc Symposium</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-summer-school" class="navigate">Summer School</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-student-volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://2018.ecoop.org/track/ecoop-issta-2018-posters" class="navigate">Posters</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CurryOn</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/curryon-2018" class="navigate"><span class="glyphicon glyphicon-home"></span> CurryOn</a></li><li class="block"><a href="https://2018.ecoop.org/track/curryon-2018-papers" class="navigate"><strong>CurryOn</strong> Curry On Keynotes</a></li><li class="block"><a href="https://2018.ecoop.org/track/curryon-2018-CurryOn-Talks" class="navigate"><strong>CurryOn</strong> Curry On Talks</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ISSTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/home/issta-2018" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-Artifacts" class="navigate"><strong>ISSTA</strong> Artifacts</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-Keynotes" class="navigate"><strong>ISSTA</strong> Keynotes</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-ISSTA-Steering-Committee-Meeting" class="navigate"><strong>ISSTA</strong> Steering Committee Meeting (By Invitation Only)</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="navigate"><strong>ISSTA</strong> Technical Papers</a></li><li class="block"><a href="https://2018.ecoop.org/track/issta-2018-demos" class="navigate"><strong>ISSTA</strong> Tool Demonstrations</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://2018.ecoop.org/track/benchwork-2018-talks" class="navigate"><strong>BenchWork</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/COP-2018-papers" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/dpa-2018-papers" class="navigate"><strong>DPA</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/FTfJP-2018-papers" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/ICOOOLPS-2018-papers" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/intuitestbeds-2018-papers" class="navigate"><strong>INTUITESTBEDS</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/isagt-2018-papers" class="navigate"><strong>ISAGT</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/ML4PL-2018-papers" class="navigate"><strong>ML4PL</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/panathon-2018" class="navigate"><strong>Panathon</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/salad-2018-papers" class="navigate"><strong>SALAD</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/SOAP-2018-papers" class="navigate"><strong>SOAP</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/tavcpsiot-2018-papers" class="navigate"><strong>TAV-CPS/IoT</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/vortex-2018-papers" class="navigate"><strong>VORTEX</strong> </a></li><li class="block"><a href="https://2018.ecoop.org/track/wossca-2018-papers" class="navigate"><strong>WoSSCA</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">ECOOP 2018 Committees</li><li class="block"><a href="https://2018.ecoop.org/committee/ecoop-2018-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2018.ecoop.org/committee/ecoop-2018-artifacts-aec" class="navigate"><strong>ECOOP Artifacts</strong></a></li><li class="block"><a href="https://2018.ecoop.org/committee/ecoop-2018-research-track-program-committee" class="navigate"><strong>ECOOP Research Papers</strong></a></li><li class="block dropdown-header">ECOOP and ISSTA</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Doc Symposium</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium-academic-panel" class="navigate">Academic Panel</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Summer School</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-summer-school-speakers" class="navigate">Speakers</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-summer-school-mentors" class="navigate">Mentors</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-summer-school-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-student-volunteers-organizing-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-workshops-organizing-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ecoop-issta-2018-posters-posters-committee" class="navigate"><strong>Posters</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2018.ecoop.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">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CurryOn</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/curryon-2018-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ISSTA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-artifacts-artifact-evaluation-committee" class="navigate"><strong>ISSTA Artifacts</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-technical-papers-program-committee" class="navigate"><strong>ISSTA Technical Papers</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2018/issta-2018-demos-program-committee" class="navigate"><strong>ISSTA Tool Demonstrations</strong></a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>BenchWork</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/benchwork-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/benchwork-2018-talks-program-committee" class="navigate">Program Committee</a></li></ul></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-2018/cop-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/cop-2018-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>DPA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/dpa-2018-papers-organizing-committee" class="navigate">Organizing 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-2018/ftfjp-2018-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ftfjp-2018-steering-committee" class="navigate">Steering 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-2018/icooolps-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/icooolps-2018-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>INTUITESTBEDS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/intuitestbeds-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/intuitestbeds-2018-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>ISAGT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/isagt-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/isagt-2018-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>ML4PL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ml4pl-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/ml4pl-2018-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>Panathon</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/panathon-2018-papers-organizing-committee" class="navigate">Organizers</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SALAD</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/salad-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/salad-2018-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>SOAP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/soap-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/soap-2018-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>TAV-CPS/IoT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/tavcpsiot-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/tavcpsiot-2018-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-2018/vortex-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/vortex-2018-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>WoSSCA</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/wossca-2018-papers-attendees" class="navigate">Attendees</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/wossca-2018-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/ecoop-issta-2018/wossca-2018-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://2018.ecoop.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://2018.ecoop.org/series/ecoop" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://2025.ecoop.org" class="navigate">ECOOP 2025</a></li><li class="block"><a href="https://2024.ecoop.org" class="navigate">ECOOP 2024</a></li><li class="block"><a href="https://2023.ecoop.org" class="navigate">ECOOP 2023</a></li><li class="block"><a href="https://2022.ecoop.org" class="navigate">ECOOP 2022</a></li><li class="block"><a href="https://2021.ecoop.org" class="navigate">ECOOP 2021</a></li><li class="block"><a href="https://2020.ecoop.org" class="navigate">ECOOP 2020</a></li><li class="block"><a href="https://2019.ecoop.org" class="navigate">ECOOP 2019</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ECOOP 2018</span></li><li class="block"><a href="https://2017.ecoop.org" class="navigate">ECOOP 2017</a></li><li class="block"><a href="https://2016.ecoop.org" class="navigate">ECOOP 2016</a></li><li class="block"><a href="https://2015.ecoop.org" class="navigate">ECOOP 2015</a></li><li class="block"></li><li class="block"><a href="http://2014.ecoop.org" target="_blank" class="navigate">2014: Uppsala <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2013.ecoop.org" target="_blank" class="navigate">2013: Montpellier <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop12.cs.purdue.edu" target="_blank" class="navigate">2012: Beijing <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://scc-sentinel.lancs.ac.uk/ecoop11/" target="_blank" class="navigate">2011: Lancaster <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop2010.uni-mb.si" target="_blank" class="navigate">2010: Maribor <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop09.disi.unige.it" target="_blank" class="navigate">2009: Genova <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="https://ecoop08.cs.ucy.ac.cy" target="_blank" class="navigate">2008: Cyprus <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://ecoop07.swt.cs.tu-berlin.de" target="_blank" class="navigate">2007: Berlin <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://www.emn.fr/z-info/ecoop2006/" target="_blank" class="navigate">2006: Nice <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></a></li><li class="block"><a href="http://2005.ecoop.org/" target="_blank" class="navigate">2005: Glasgow <span class="pull-right"><span class="glyphicon glyphicon-new-window"></span></span></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/ecoop-2018/https%3A%5Es%5Es2018.ecoop.org%5Estrack%5Esissta-2018-Technical-Papers" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2018.ecoop.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/ecoop-issta-2018" class="navigate">ECOOP and ISSTA 2018</a> (<a href="https://2018.ecoop.org/series/ecoop-issta" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/issta-2018" class="navigate">ISSTA 2018</a> (<a href="https://2018.ecoop.org/series/issta" class="navigate">series</a>) / </span><h1>ISSTA Technical Papers</h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#Submission-Policies" data-toggle="tab">Submission Policies</a></li><li><a href="#Double-Blind-Reviewing" data-toggle="tab">Double-Blind Reviewing</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="About" class="tab-pane "><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. ISSTA’18 will be co-located with the European Conference on Object-Oriented Programming (<a href="https://2018.ecoop.org">ECOOP ’18</a>), and with <a href="http://www.curry-on.org/">Curry On</a>, a conference focused on programming languages & emerging challenges in industry.</p> <hr> <p>The ISSTA proceedings are available <a href="https://dl.acm.org/citation.cfm?id=3213846">here</a>.</p> <hr> <h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="1c97e833-e377-4299-90f9-7068b225514c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="1c97e833-e377-4299-90f9-7068b225514c">Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe<span class="pull-right"><span title="Distinguished Paper" data-facet-badge="Distinguished Paper" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper" src="https://2018.ecoop.org/getImageFile/c8c98bae-a79b-49f6-ae1a-5db7747140dc/small?1527874642000" class="outputimage"/></span></span></a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/linaqiu" class="navigate">Lina Qiu</a>, <a href="https://2018.ecoop.org/profile/yingyingwang" class="navigate">Yingying Wang</a>, <a href="https://2018.ecoop.org/profile/juliarubin" class="navigate">Julia Rubin</a></div></td></tr><tr><td><span data-event-star="80b55603-c0cf-40f0-a710-037a2a972aae" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="80b55603-c0cf-40f0-a710-037a2a972aae">An Empirical Study on TensorFlow Program Bugs</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/yuhaozhang" class="navigate">Yuhao Zhang</a>, <a href="https://2018.ecoop.org/profile/yifanchen" class="navigate">Yifan Chen</a>, <a href="https://2018.ecoop.org/profile/shingchicheung" class="navigate">Shing-Chi Cheung</a>, <a href="https://2018.ecoop.org/profile/yingfeixiong" class="navigate">Yingfei Xiong</a>, <a href="https://2018.ecoop.org/profile/luzhang" class="navigate">Lu Zhang</a></div><a href="https://foreverzyh.github.io/files/issta18main-p98-p.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr><td><span data-event-star="d4b82ba0-2c0c-4c73-a7c6-d4261b760dc0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d4b82ba0-2c0c-4c73-a7c6-d4261b760dc0">Automated Test Mapping and Coverage for Network Topologies</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/pererikstrandberg" class="navigate">Per Erik Strandberg</a>, <a href="https://2018.ecoop.org/profile/thomasostrand" class="navigate">Thomas Ostrand</a>, <a href="https://2018.ecoop.org/profile/elaineweyuker" class="navigate">Elaine Weyuker</a>, <a href="https://2018.ecoop.org/profile/danielsundmark" class="navigate">Daniel Sundmark</a>, <a href="https://2018.ecoop.org/profile/wasifafzal" class="navigate">Wasif Afzal</a></div></td></tr><tr><td><span data-event-star="64341864-4457-473f-a969-ebf132e4a69f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="64341864-4457-473f-a969-ebf132e4a69f">Automatically Translating Bug Reports into Test Cases for Mobile Apps</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/mattiafazzini" class="navigate">Mattia Fazzini</a>, <a href="https://2018.ecoop.org/profile/martinprammer" class="navigate">Martin Prammer</a>, <a href="https://2018.ecoop.org/profile/marcelodamorim" class="navigate">Marcelo d'Amorim</a>, <a href="https://2018.ecoop.org/profile/alessandroorso" class="navigate">Alessandro Orso</a></div></td></tr><tr><td><span data-event-star="24408fab-6ff2-4627-ab93-cc7594f839c6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="24408fab-6ff2-4627-ab93-cc7594f839c6">Badger: Complexity Analysis with Fuzzing and Symbolic Execution</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/yannicnoller" class="navigate">Yannic Noller</a>, <a href="https://2018.ecoop.org/profile/rodykersten" class="navigate">Rody Kersten</a>, <a href="https://2018.ecoop.org/profile/corinaspasareanu1" class="navigate">Corina S. Păsăreanu</a></div></td></tr><tr><td><span data-event-star="00fcbf80-92c9-4a1c-a3e9-3dc70128a1e6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="00fcbf80-92c9-4a1c-a3e9-3dc70128a1e6">Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/jaekwonlee" class="navigate">Jaekwon Lee</a>, <a href="https://2018.ecoop.org/profile/dongsunkim" class="navigate">Dongsun Kim</a>, <a href="https://2018.ecoop.org/profile/tegawendefbissyande" class="navigate">Tegawendé F. Bissyandé</a>, <a href="https://2018.ecoop.org/profile/woosungjung" class="navigate">Woosung Jung</a>, <a href="https://2018.ecoop.org/profile/yvesletraon" class="navigate">Yves Le Traon</a></div></td></tr><tr><td><span data-event-star="c544937b-dbb1-4213-9b69-8799365d962a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="c544937b-dbb1-4213-9b69-8799365d962a">CiD: Automating the Detection of API-related Compatibility Issues in Android Apps</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/lili" class="navigate">Li Li</a>, <a href="https://2018.ecoop.org/profile/tegawendefbissyande" class="navigate">Tegawendé F. Bissyandé</a>, <a href="https://2018.ecoop.org/profile/haoyuwang" class="navigate">Haoyu Wang</a>, <a href="https://2018.ecoop.org/profile/jacquesklein" class="navigate">Jacques Klein</a></div></td></tr><tr><td><span data-event-star="57b02348-92a0-4f4f-b0c0-cd195e50e6ac" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="57b02348-92a0-4f4f-b0c0-cd195e50e6ac">Comparing developer-provided to user-provided tests for fault localization and automated program repair</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/renejust" class="navigate">René Just</a>, <a href="https://2018.ecoop.org/profile/chrisparnin1" class="navigate">Chris Parnin</a>, <a href="https://2018.ecoop.org/profile/iandrosos" class="navigate">Ian Drosos</a>, <a href="https://2018.ecoop.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a></div></td></tr><tr><td><span data-event-star="ecd65aac-ad3d-4fe0-bd5b-2b7badea5f5e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="ecd65aac-ad3d-4fe0-bd5b-2b7badea5f5e">Compiler Fuzzing through Deep Learning<span class="pull-right"><span title="Distinguished Paper" data-facet-badge="Distinguished Paper" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper" src="https://2018.ecoop.org/getImageFile/c8c98bae-a79b-49f6-ae1a-5db7747140dc/small?1527874642000" class="outputimage"/></span></span></a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/chriscummins" class="navigate">Chris Cummins</a>, <a href="https://2018.ecoop.org/profile/pavlospetoumenos" class="navigate">Pavlos Petoumenos</a>, <a href="https://2018.ecoop.org/profile/alastairmurray" class="navigate">Alastair Murray</a>, <a href="https://2018.ecoop.org/profile/hughleather" class="navigate">Hugh Leather</a></div></td></tr><tr><td><span data-event-star="06191f61-1d68-4521-b1ed-a2cec7b75736" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="06191f61-1d68-4521-b1ed-a2cec7b75736">Deep Specification Mining</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/tienduyble" class="navigate">Tien-Duy B. Le</a>, <a href="https://2018.ecoop.org/profile/davidlo" class="navigate">David Lo</a></div></td></tr><tr><td><span data-event-star="6ec5c26d-b978-4a84-bac4-b524ad317e41" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="6ec5c26d-b978-4a84-bac4-b524ad317e41">Eliminating Timing Side-channel Leaks Using Program Repair</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/mengwu" class="navigate">Meng Wu</a>, <a href="https://2018.ecoop.org/profile/shengjiandanielguo" class="navigate">Shengjian (Daniel) Guo</a>, <a href="https://2018.ecoop.org/profile/patrickschaumont" class="navigate">Patrick Schaumont</a>, <a href="https://2018.ecoop.org/profile/chaowang" class="navigate">Chao Wang</a></div></td></tr><tr><td><span data-event-star="b42a4481-45ac-47fa-8f10-02c8fe43f9a8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b42a4481-45ac-47fa-8f10-02c8fe43f9a8">Evaluating Test-Suite Reduction in Real-World Software Evolution</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/augustshi" class="navigate">August Shi</a>, <a href="https://2018.ecoop.org/profile/alexgyori" class="navigate">Alex Gyori</a>, <a href="https://2018.ecoop.org/profile/muhammadsulemanmahmood" class="navigate">Muhammad Suleman Mahmood</a>, <a href="https://2018.ecoop.org/profile/peiyuanzhao" class="navigate">Peiyuan Zhao</a>, <a href="https://2018.ecoop.org/profile/darkomarinov" class="navigate">Darko Marinov</a></div></td></tr><tr><td><span data-event-star="9d5f3c62-67fd-45e8-baaf-efa96d4937bc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="9d5f3c62-67fd-45e8-baaf-efa96d4937bc">Exploiting Community Structure for Floating-Point Precision Tuning</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/huiguo1" class="navigate">Hui Guo</a>, <a href="https://2018.ecoop.org/profile/cindyrubiogonzalez" class="navigate">Cindy Rubio-González</a></div></td></tr><tr><td><span data-event-star="945612a6-02af-4b96-9e81-086787c1e8cd" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="945612a6-02af-4b96-9e81-086787c1e8cd">Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/anuragdwarakanath" class="navigate">Anurag Dwarakanath</a>, <a href="https://2018.ecoop.org/profile/manishahuja" class="navigate">Manish Ahuja</a>, <a href="https://2018.ecoop.org/profile/samarthsikand" class="navigate">Samarth Sikand</a>, <a href="https://2018.ecoop.org/profile/raghothammrao" class="navigate">Raghotham M Rao</a>, <a href="https://2018.ecoop.org/profile/rpjagadeeshchandrabose" class="navigate">R.P. Jagadeesh Chandra Bose</a>, <a href="https://2018.ecoop.org/profile/nevilledubash" class="navigate">Neville Dubash</a>, <a href="https://2018.ecoop.org/profile/sanjaypodder" class="navigate">Sanjay Podder</a></div></td></tr><tr><td><span data-event-star="3644bbe8-4a8e-4625-b2f0-51bdaaf05821" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3644bbe8-4a8e-4625-b2f0-51bdaaf05821">Lightweight Verification of Array Indexing</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/martinkellogg" class="navigate">Martin Kellogg</a>, <a href="https://2018.ecoop.org/profile/vlastimildort" class="navigate">Vlastimil Dort</a>, <a href="https://2018.ecoop.org/profile/suzannemillstein" class="navigate">Suzanne Millstein</a>, <a href="https://2018.ecoop.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a></div></td></tr><tr><td><span data-event-star="04652e61-c781-4db1-8814-a5696d7b1a59" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="04652e61-c781-4db1-8814-a5696d7b1a59">Making Data-Driven Porting Decisions with Tuscan</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/kareemkhazem" class="navigate">Kareem Khazem</a>, <a href="https://2018.ecoop.org/profile/earlbarr" class="navigate">Earl T. Barr</a>, <a href="https://2018.ecoop.org/profile/petrhosek" class="navigate">Petr Hosek</a></div></td></tr><tr><td><span data-event-star="f1d2e52a-ec74-4639-92c0-1fa9da6037cb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="f1d2e52a-ec74-4639-92c0-1fa9da6037cb">PerfFuzz: Automatically Generating Pathological Inputs<span class="pull-right"><span title="Distinguished Paper" data-facet-badge="Distinguished Paper" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper" src="https://2018.ecoop.org/getImageFile/c8c98bae-a79b-49f6-ae1a-5db7747140dc/small?1527874642000" class="outputimage"/></span></span></a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/carolinelemieux" class="navigate">Caroline Lemieux</a>, <a href="https://2018.ecoop.org/profile/rohanpadhye" class="navigate">Rohan Padhye</a>, <a href="https://2018.ecoop.org/profile/koushiksen" class="navigate">Koushik Sen</a>, <a href="https://2018.ecoop.org/profile/dawnsong" class="navigate">Dawn Song</a></div></td></tr><tr><td><span data-event-star="65c361f6-ddc3-4c12-8990-61eeb1a019fb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="65c361f6-ddc3-4c12-8990-61eeb1a019fb">piCoq: Parallel Regression Proving for Large-Scale Verification Projects</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/karlpalmskog" class="navigate">Karl Palmskog</a>, <a href="https://2018.ecoop.org/profile/ahmetcelik" class="navigate">Ahmet Celik</a>, <a href="https://2018.ecoop.org/profile/milosgligoric" class="navigate">Milos Gligoric</a></div></td></tr><tr><td><span data-event-star="441aa69e-3872-4328-bd9e-6516b6b957d3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="441aa69e-3872-4328-bd9e-6516b6b957d3">Practical Detection of Concurrency Issues at Coding Time</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/lucblaser" class="navigate">Luc Bläser</a></div></td></tr><tr><td><span data-event-star="57ed2f8a-7d02-4060-bf83-06048dc33e81" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="57ed2f8a-7d02-4060-bf83-06048dc33e81">Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/yingjunlyu" class="navigate">Yingjun Lyu</a>, <a href="https://2018.ecoop.org/profile/dingli" class="navigate">Ding Li</a>, <a href="https://2018.ecoop.org/profile/williamgjhalfond" class="navigate">William G.J. Halfond</a></div></td></tr><tr><td><span data-event-star="fc923c37-c43d-4dc3-a99c-8c4cf72bc66c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="fc923c37-c43d-4dc3-a99c-8c4cf72bc66c">Repositioning of Static Analysis Alarms</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/tukarammuske" class="navigate">Tukaram Muske</a>, <a href="https://2018.ecoop.org/profile/rohithtalluri" class="navigate">Rohith Talluri</a>, <a href="https://2018.ecoop.org/profile/aserebrenik" class="navigate">Alexander Serebrenik</a></div></td></tr><tr><td><span data-event-star="a6fb6290-1578-4486-8c6e-aade132a6474" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="a6fb6290-1578-4486-8c6e-aade132a6474">Safe and Sound Program Analysis with Flix</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/magnusmadsen" class="navigate">Magnus Madsen</a>, <a href="https://2018.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a></div></td></tr><tr><td><span data-event-star="8954b294-c2bc-4c1d-89f0-90468d8d9199" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8954b294-c2bc-4c1d-89f0-90468d8d9199">Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/mohammadmalmasi" class="navigate">Mohammad M. Almasi</a>, <a href="https://2018.ecoop.org/profile/hadihemmati" class="navigate">Hadi Hemmati</a>, <a href="https://2018.ecoop.org/profile/gordonfraser" class="navigate">Gordon Fraser</a>, <a href="https://2018.ecoop.org/profile/philmcminn" class="navigate">Phil McMinn</a>, <a href="https://2018.ecoop.org/profile/janisbenefelds" class="navigate">Janis Benefelds</a></div></td></tr><tr><td><span data-event-star="41647fa4-a546-4568-8b0d-7d04df12d5ab" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="41647fa4-a546-4568-8b0d-7d04df12d5ab">Shaping Program Repair Space with Existing Patches and Similar Code</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/jiajunjiang" class="navigate">Jiajun Jiang</a>, <a href="https://2018.ecoop.org/profile/yingfeixiong" class="navigate">Yingfei Xiong</a>, <a href="https://2018.ecoop.org/profile/hongyuzhang" class="navigate">Hongyu Zhang</a>, <a href="https://2018.ecoop.org/profile/qinggao" class="navigate">Qing Gao</a>, <a href="https://2018.ecoop.org/profile/xiangqunchen" class="navigate">Xiangqun Chen</a></div><a href="https://xgdsmileboy.github.io/files/simfix-issta2018.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr><td><span data-event-star="8e28aa07-2db3-4459-b86c-1771ef0022b2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8e28aa07-2db3-4459-b86c-1771ef0022b2">Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/nevillegrech" class="navigate">Neville Grech</a>, <a href="https://2018.ecoop.org/profile/georgefourtounis" class="navigate">George Fourtounis</a>, <a href="https://2018.ecoop.org/profile/adrianfrancalanza" class="navigate">Adrian Francalanza</a>, <a href="https://2018.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a></div></td></tr><tr><td><span data-event-star="b0170ac3-dffc-4dab-9872-065b82090a09" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b0170ac3-dffc-4dab-9872-065b82090a09">Static Analysis of Java Dynamic Proxies</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/georgefourtounis" class="navigate">George Fourtounis</a>, <a href="https://2018.ecoop.org/profile/georgekastrinis" class="navigate">George Kastrinis</a>, <a href="https://2018.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a></div></td></tr><tr><td><span data-event-star="6e555316-3741-4186-8308-d73376a46f36" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="6e555316-3741-4186-8308-d73376a46f36">Symbolic Path Cost Analysis for Side-Channel Detection</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/teganbrennan" class="navigate">Tegan Brennan</a>, <a href="https://2018.ecoop.org/profile/seemantasaha" class="navigate">Seemanta Saha</a>, <a href="https://2018.ecoop.org/profile/tevfikbultan" class="navigate">Tevfik Bultan</a>, <a href="https://2018.ecoop.org/profile/corinaspasareanu1" class="navigate">Corina S. Păsăreanu</a></div></td></tr><tr><td><span data-event-star="4cfd40b1-18a1-4f65-b3a8-6f49b5402511" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="4cfd40b1-18a1-4f65-b3a8-6f49b5402511">Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/seungyeobshin" class="navigate">Seung Yeob Shin</a>, <a href="https://2018.ecoop.org/profile/shivanejati" class="navigate">Shiva Nejati</a>, <a href="https://2018.ecoop.org/profile/mehrdadsabetzadeh" class="navigate">Mehrdad Sabetzadeh</a>, <a href="https://2018.ecoop.org/profile/lionelcbriand" class="navigate">Lionel C. Briand</a>, <a href="https://2018.ecoop.org/profile/frankzimmer" class="navigate">Frank Zimmer</a></div></td></tr><tr><td><span data-event-star="82abd994-b1ce-402e-a504-e555c8706a1f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="82abd994-b1ce-402e-a504-e555c8706a1f">Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/farnazbehrang" class="navigate">Farnaz Behrang</a>, <a href="https://2018.ecoop.org/profile/alessandroorso" class="navigate">Alessandro Orso</a></div></td></tr><tr><td><span data-event-star="3c2bd454-7147-4de4-9375-777d65938da5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="3c2bd454-7147-4de4-9375-777d65938da5">Tests from Traces: Automated Unit Test Extraction for R</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/filipkrikava" class="navigate">Filip Křikava</a>, <a href="https://2018.ecoop.org/profile/janvitek" class="navigate">Jan Vitek</a></div></td></tr><tr><td><span data-event-star="d81fbf5c-ae2b-4eb0-aed9-c81f7955fc2c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="d81fbf5c-ae2b-4eb0-aed9-c81f7955fc2c">Translating Code Comments to Procedure Specifications</a><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/ariannablasi" class="navigate">Arianna Blasi</a>, <a href="https://2018.ecoop.org/profile/albertogoffi" class="navigate">Alberto Goffi</a>, <a href="https://2018.ecoop.org/profile/konstantinkuznetsov" class="navigate">Konstantin Kuznetsov</a>, <a href="https://2018.ecoop.org/profile/alessandragorla" class="navigate">Alessandra Gorla</a>, <a href="https://2018.ecoop.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a>, <a href="https://2018.ecoop.org/profile/mauropezze1" class="navigate">Mauro Pezzè</a>, <a href="https://2018.ecoop.org/profile/sergiodelgadocastellanos" class="navigate">Sergio Delgado Castellanos</a></div></td></tr></table><h2>Call for Papers</h2><p><h3><a href="#research-papers" id="research-papers" class="anchor-link">Research Papers</a></h3> <p>Authors are invited to submit research papers describing original contributions in testing or analysis of computer software. Papers describing original theoretical or empirical research, new techniques, in-depth case studies, infrastructures of testing and analysis methods or tools are welcome.</p> <h3><a href="#experience-papers" id="experience-papers" class="anchor-link">Experience Papers</a></h3> <p>Authors are invited to submit experience papers describing a significant experience in applying software testing and analysis methods or tools and should carefully identify and discuss important lessons learned so that other researchers and/or practitioners can benefit from the experience. Of special interest are experience papers that report on industrial applications of software testing and analysis methods or tools.</p> <h3><a href="#reproducibility-studies-new" id="reproducibility-studies-new" class="anchor-link">Reproducibility Studies (New!)</a></h3> <p>ISSTA would like to encourage researchers to reproduce results from previous papers, which is why ISSTA 2018 will introduce a new paper category called Reproducibility Studies. A reproducibility study must go beyond simply re-implementing an algorithm and/or re-running the artifacts provided by the original paper. It should at the very least apply the approach to new, significantly broadened inputs. Particularly, reproducibility studies are encouraged to target techniques that previously were evaluated only on proprietary subject programs or inputs. A reproducibility study should clearly report on results that the authors were able to reproduce as well as on aspects of the work that were irreproducible. In the latter case, authors are encouraged to make an effort to communicate or collaborate with the original paper’s authors to determine the cause for any observed discrepancies and, if possible, address them (e.g., through minor implementation changes). We explicitly encourage authors to not focus on a single paper/artifact only, but instead to perform a comparative experiment of multiple related approaches.</p> <p>In particular, reproducibility studies should follow the ACM guidelines on <a href="https://www.acm.org/publications/policies/artifact-review-badging">reproducibility (different team, different experimental setup)</a>: <em>The measurement can be obtained with stated precision by a different team, a different measuring system, in a different location on multiple trials. For computational experiments, this means that an independent group can obtain the same result using artifacts which they develop completely independently.</em></p> <p>This means that it is also insufficient to focus on repeatability (i.e., same experiment) alone. Reproducibility Studies will be evaluated according to the following standards:</p> <ul> <li>Depth and breadth of experiments</li> <li>Clarity of writing</li> <li>Appropriateness of Conclusions</li> <li>Amount of useful, actionable insights</li> <li>Availability of artifacts</li> </ul> <p>In particular, we expect reproducibility studies to clearly point out the artifacts the study is built on, and to submit those artifacts to artifact evaluation (see below). Artifacts evaluated positively will be eligible to obtain the highly prestigious badges <a href="https://www.acm.org/publications/policies/artifact-review-badging">Results Replicated or Results Reproduced</a>.</p> <h3><a href="#submission-guidelines" id="submission-guidelines" class="anchor-link">Submission Guidelines</a></h3> <p>Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions. More details are available at the <a href="#Submission-Policies">Submission Policies page</a>.</p> <p>Research and Experience Papers as well as Reproducibility Studies should be at most 10 pages in length, with at most 2 additional pages for references. Appendices are not allowed. Instead authors should make use of the option to supply Supplementary Material, see below. All papers must be prepared in <a href="https://www.acm.org/publications/proceedings-template">ACM Conference Format</a>.</p> <h3><a href="#supplementary-material" id="supplementary-material" class="anchor-link">Supplementary Material</a></h3> <p>Authors are free to provide supplementary material if that material supports the claims in the paper. Such material may include proofs, experimental results, and/or data sets. This material should be uploaded at the same time as the submission. Any supplementary material must also be anonymized. Reviewers are not required to examine the supplementary material but may refer to it if they would like to find further evidence supporting the claims in the paper.</p> <h3><a href="#double-blind-reviewing" id="double-blind-reviewing" class="anchor-link">Double-Blind Reviewing</a></h3> <p><strong>ISSTA 2018 will conduct double-blind reviewing.</strong> Submissions should not reveal the identity of the authors in any way. Authors should leave out author names and affiliations from the body of their submission. They should also ensure that any citations to related work by themselves are written in third person, that is, “the prior work of XYZ” as opposed to “our prior work”. More details are available at the <a href="https://conf.researchr.org/track/issta-2018/issta-2018-Technical-Papers#Double-Blind-Reviewing">Double-Blind Reviewing page</a>. Authors with further questions on double-blind reviewing are encouraged to contact the Program Chair by email.</p> <p>Submit your papers via the <a href="https://issta18.hotcrp.com/">HotCRP ISSTA 2018 submission website</a>.</p> <h3><a href="#reviews-and-responses" id="reviews-and-responses" class="anchor-link">Reviews and Responses</a></h3> <p>Reviewing will happen in two phases. In Phase 1, each paper will receive three reviews, followed by an author response. Depending on the response, papers with negative reviews might be rejected early at this point. Other papers will proceed to Phase 2, at which they might receive additional reviews where necessary, to which authors can respond in a second author-response phase.</p> <h2><a href="#posters" id="posters" class="anchor-link">Posters</a></h2> <p>Authors of accepted papers are given the opportunity to bring along a poster of their accepted work and present it during the poster session. You can find more details about the joint ECOOP/ISSTA Posters track <a href="https://conf.researchr.org/track/ecoop-issta-2018/ecoop-issta-2018-posters">here</a>.</p> </p></div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; 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 tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://2018.ecoop.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="ecoop-2018" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-06:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+04:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+09:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+10:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+10:30) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+11:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+12:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+12:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2018.ecoop.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"ecoop-2018"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 60){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Mon 16 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Mon 16 Jul 2018" data-facet-date-order="180716" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Secure and Sound<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/cristiancadar" target="_blank" class="navigate">Cristian Cadar</a><span class="prog-aff"> Imperial College London</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="067b2392-d5be-4729-9c73-82a2a86add60" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="3644bbe8-4a8e-4625-b2f0-51bdaaf05821" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3644bbe8-4a8e-4625-b2f0-51bdaaf05821">Lightweight Verification of Array Indexing</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/martinkellogg" class="navigate">Martin Kellogg</a><span class="prog-aff"> University of Washington, Seattle</span>, <a href="https://2018.ecoop.org/profile/vlastimildort" class="navigate">Vlastimil Dort</a><span class="prog-aff"> Charles University</span>, <a href="https://2018.ecoop.org/profile/suzannemillstein" class="navigate">Suzanne Millstein</a><span class="prog-aff"> University of Washington</span>, <a href="https://2018.ecoop.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a><span class="prog-aff"> University of Washington, USA</span></div></td></tr><tr data-slot-id="e6926dc6-cdd5-4ddd-92d2-3eff6e3b2df0" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6ec5c26d-b978-4a84-bac4-b524ad317e41" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6ec5c26d-b978-4a84-bac4-b524ad317e41">Eliminating Timing Side-channel Leaks Using Program Repair</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/mengwu" class="navigate">Meng Wu</a><span class="prog-aff"> Virginia Tech</span>, <a href="https://2018.ecoop.org/profile/shengjiandanielguo" class="navigate">Shengjian (Daniel) Guo</a><span class="prog-aff"> Virginia Tech</span>, <a href="https://2018.ecoop.org/profile/patrickschaumont" class="navigate">Patrick Schaumont</a><span class="prog-aff"> Virginia Tech</span>, <a href="https://2018.ecoop.org/profile/chaowang" class="navigate">Chao Wang</a><span class="prog-aff"> University of Southern California</span></div></td></tr><tr data-slot-id="2c85c204-cc9e-4014-a858-c0b78ffb173b" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6e555316-3741-4186-8308-d73376a46f36" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6e555316-3741-4186-8308-d73376a46f36">Symbolic Path Cost Analysis for Side-Channel Detection</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/teganbrennan" class="navigate">Tegan Brennan</a><span class="prog-aff"> </span>, <a href="https://2018.ecoop.org/profile/seemantasaha" class="navigate">Seemanta Saha</a><span class="prog-aff"> University of California Santa Barbara</span>, <a href="https://2018.ecoop.org/profile/tevfikbultan" class="navigate">Tevfik Bultan</a><span class="prog-aff"> University of California, Santa Barbara</span>, <a href="https://2018.ecoop.org/profile/corinaspasareanu1" class="navigate">Corina S. Păsăreanu</a><span class="prog-aff"> NASA Ames Research Center</span></div></td></tr><tr data-slot-id="f6636c74-918d-4b19-9494-e1b56171db8d" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="a6fb6290-1578-4486-8c6e-aade132a6474" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="a6fb6290-1578-4486-8c6e-aade132a6474">Safe and Sound Program Analysis with Flix</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/magnusmadsen" class="navigate">Magnus Madsen</a><span class="prog-aff"> Aalborg University</span>, <a href="https://2018.ecoop.org/profile/ondrejlhotak" class="navigate">Ondřej Lhoták</a><span class="prog-aff"> University of Waterloo, Canada</span></div></td></tr><tr data-slot-id="ab15fcce-49d0-4945-9173-d62523791130" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Mon 16 Jul 2018" data-facet-date-order="180716" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">14:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Testing and Fault Localization<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/cindyrubiogonzalez" target="_blank" class="navigate">Cindy Rubio-González</a><span class="prog-aff"> University of California, Davis</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="84bab3fd-ca3b-4334-9def-78b3d1ee53b9" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="4cfd40b1-18a1-4f65-b3a8-6f49b5402511" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="4cfd40b1-18a1-4f65-b3a8-6f49b5402511">Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/seungyeobshin" class="navigate">Seung Yeob Shin</a><span class="prog-aff"> SnT Centre/University of Luxembourg</span>, <a href="https://2018.ecoop.org/profile/shivanejati" class="navigate">Shiva Nejati</a><span class="prog-aff"> SnT Centre/University of Luxembourg</span>, <a href="https://2018.ecoop.org/profile/mehrdadsabetzadeh" class="navigate">Mehrdad Sabetzadeh</a><span class="prog-aff"> SnT Centre/University of Luxembourg</span>, <a href="https://2018.ecoop.org/profile/lionelcbriand" class="navigate">Lionel C. Briand</a><span class="prog-aff"> SnT Centre/University of Luxembourg</span>, <a href="https://2018.ecoop.org/profile/frankzimmer" class="navigate">Frank Zimmer</a><span class="prog-aff"> SES Techcom</span></div></td></tr><tr data-slot-id="d1e7a477-48d0-4b24-8bf6-086cca811489" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="00fcbf80-92c9-4a1c-a3e9-3dc70128a1e6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="00fcbf80-92c9-4a1c-a3e9-3dc70128a1e6">Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/jaekwonlee" class="navigate">Jaekwon Lee</a><span class="prog-aff"> University of Luxembourg, Luxembourg</span>, <a href="https://2018.ecoop.org/profile/dongsunkim" class="navigate">Dongsun Kim</a><span class="prog-aff"> University of Luxembourg</span>, <a href="https://2018.ecoop.org/profile/tegawendefbissyande" class="navigate">Tegawendé F. Bissyandé</a><span class="prog-aff"> University of Luxembourg, Luxembourg</span>, <a href="https://2018.ecoop.org/profile/woosungjung" class="navigate">Woosung Jung</a><span class="prog-aff"> Seoul National University of Education</span>, <a href="https://2018.ecoop.org/profile/yvesletraon" class="navigate">Yves Le Traon</a><span class="prog-aff"> University of Luxembourg</span></div></td></tr><tr data-slot-id="6e1fcac1-c304-40dc-92ab-5a2233378524" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="d4b82ba0-2c0c-4c73-a7c6-d4261b760dc0" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d4b82ba0-2c0c-4c73-a7c6-d4261b760dc0">Automated Test Mapping and Coverage for Network Topologies</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/pererikstrandberg" class="navigate">Per Erik Strandberg</a><span class="prog-aff"> Westermo Research and Development AB</span>, <a href="https://2018.ecoop.org/profile/thomasostrand" class="navigate">Thomas Ostrand</a><span class="prog-aff"> </span>, <a href="https://2018.ecoop.org/profile/elaineweyuker" class="navigate">Elaine Weyuker</a><span class="prog-aff"> Mälardalen University</span>, <a href="https://2018.ecoop.org/profile/danielsundmark" class="navigate">Daniel Sundmark</a><span class="prog-aff"> Mälardalen University</span>, <a href="https://2018.ecoop.org/profile/wasifafzal" class="navigate">Wasif Afzal</a><span class="prog-aff"> Mälardalen University</span></div></td></tr><tr data-slot-id="96590263-dc2a-4abf-8049-b6d3d29f65e3" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="b42a4481-45ac-47fa-8f10-02c8fe43f9a8" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b42a4481-45ac-47fa-8f10-02c8fe43f9a8">Evaluating Test-Suite Reduction in Real-World Software Evolution</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/augustshi" class="navigate">August Shi</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span>, <a href="https://2018.ecoop.org/profile/alexgyori" class="navigate">Alex Gyori</a><span class="prog-aff"> Facebook</span>, <a href="https://2018.ecoop.org/profile/muhammadsulemanmahmood" class="navigate">Muhammad Suleman Mahmood</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span>, <a href="https://2018.ecoop.org/profile/peiyuanzhao" class="navigate">Peiyuan Zhao</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span>, <a href="https://2018.ecoop.org/profile/darkomarinov" class="navigate">Darko Marinov</a><span class="prog-aff"> University of Illinois at Urbana-Champaign</span></div></td></tr><tr data-slot-id="c4ce7aac-e5c1-447c-a3d0-6dd96471e3b1" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Mon 16 Jul 2018" data-facet-date-order="180716" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">16:00 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">Machine Learning<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/alexorso" target="_blank" class="navigate">Alex Orso</a><span class="prog-aff"> Georgia Institute of Technology </span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="aa8dfad0-feaf-43c0-8e9f-62988b84c32e" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="ecd65aac-ad3d-4fe0-bd5b-2b7badea5f5e" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="ecd65aac-ad3d-4fe0-bd5b-2b7badea5f5e">Compiler Fuzzing through Deep Learning<span class="pull-right"><span title="Distinguished Paper" data-facet-badge="Distinguished Paper" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper" src="https://2018.ecoop.org/getImageFile/c8c98bae-a79b-49f6-ae1a-5db7747140dc/small?1527874642000" class="outputimage"/></span></span></a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/chriscummins" class="navigate">Chris Cummins</a><span class="prog-aff"> University of Edinburgh</span>, <a href="https://2018.ecoop.org/profile/pavlospetoumenos" class="navigate">Pavlos Petoumenos</a><span class="prog-aff"> University of Edinburgh</span>, <a href="https://2018.ecoop.org/profile/alastairmurray" class="navigate">Alastair Murray</a><span class="prog-aff"> Codeplay Software</span>, <a href="https://2018.ecoop.org/profile/hughleather" class="navigate">Hugh Leather</a><span class="prog-aff"> University of Edinburgh</span></div></td></tr><tr data-slot-id="8764fea1-ea65-453a-b385-d9eada163b97" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="06191f61-1d68-4521-b1ed-a2cec7b75736" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="06191f61-1d68-4521-b1ed-a2cec7b75736">Deep Specification Mining</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/tienduyble" class="navigate">Tien-Duy B. Le</a><span class="prog-aff"> School of Information Systems, Singapore Management University</span>, <a href="https://2018.ecoop.org/profile/davidlo" class="navigate">David Lo</a><span class="prog-aff"> Singapore Management University</span></div></td></tr><tr data-slot-id="36e94d76-bcb3-4e9f-9784-8c3883bc73ea" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="945612a6-02af-4b96-9e81-086787c1e8cd" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="945612a6-02af-4b96-9e81-086787c1e8cd">Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/anuragdwarakanath" class="navigate">Anurag Dwarakanath</a><span class="prog-aff"> Accenture Labs</span>, <a href="https://2018.ecoop.org/profile/manishahuja" class="navigate">Manish Ahuja</a><span class="prog-aff"> Accenture Labs</span>, <a href="https://2018.ecoop.org/profile/samarthsikand" class="navigate">Samarth Sikand</a><span class="prog-aff"> Accenture Labs</span>, <a href="https://2018.ecoop.org/profile/raghothammrao" class="navigate">Raghotham M Rao</a><span class="prog-aff"> Accenture Labs</span>, <a href="https://2018.ecoop.org/profile/rpjagadeeshchandrabose" class="navigate">R.P. Jagadeesh Chandra Bose</a><span class="prog-aff"> Accenture Labs</span>, <a href="https://2018.ecoop.org/profile/nevilledubash" class="navigate">Neville Dubash</a><span class="prog-aff"> Accenture Labs</span>, <a href="https://2018.ecoop.org/profile/sanjaypodder" class="navigate">Sanjay Podder</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="84b3ac36-17dd-4144-a47e-b5fa8b757ded" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="80b55603-c0cf-40f0-a710-037a2a972aae" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="80b55603-c0cf-40f0-a710-037a2a972aae">An Empirical Study on TensorFlow Program Bugs</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/yuhaozhang" class="navigate">Yuhao Zhang</a><span class="prog-aff"> Peking University</span>, <a href="https://2018.ecoop.org/profile/yifanchen" class="navigate">Yifan Chen</a><span class="prog-aff"> Peking University</span>, <a href="https://2018.ecoop.org/profile/shingchicheung" class="navigate">Shing-Chi Cheung</a><span class="prog-aff"> Department of Computer Science and Engineering, The Hong Kong University of Science and Technology</span>, <a href="https://2018.ecoop.org/profile/yingfeixiong" class="navigate">Yingfei Xiong</a><span class="prog-aff"> Peking University</span>, <a href="https://2018.ecoop.org/profile/luzhang" class="navigate">Lu Zhang</a><span class="prog-aff"> Peking University</span></div><a href="https://foreverzyh.github.io/files/issta18main-p98-p.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="3a0a9b21-b1bd-40c4-9aef-9cbfd5292051" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Tue 17 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-9"><table data-facet-date="Tue 17 Jul 2018" data-facet-date-order="180717" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">09:00 - 10:30</div></td><td colspan="2"><div class="session-info-in-table">Mobile<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/andreaszeller" target="_blank" class="navigate">Andreas Zeller</a><span class="prog-aff"> Saarland University</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="f7b54373-e6ca-4b51-86a4-25cf8f80c303" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="64341864-4457-473f-a969-ebf132e4a69f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="64341864-4457-473f-a969-ebf132e4a69f">Automatically Translating Bug Reports into Test Cases for Mobile Apps</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/mattiafazzini" class="navigate">Mattia Fazzini</a><span class="prog-aff"> Georgia Institute of Technology</span>, <a href="https://2018.ecoop.org/profile/martinprammer" class="navigate">Martin Prammer</a><span class="prog-aff"> Georgia Institute of Technology</span>, <a href="https://2018.ecoop.org/profile/marcelodamorim" class="navigate">Marcelo d'Amorim</a><span class="prog-aff"> Federal University of Pernambuco</span>, <a href="https://2018.ecoop.org/profile/alessandroorso" class="navigate">Alessandro Orso</a><span class="prog-aff"> Georgia Tech</span></div></td></tr><tr data-slot-id="03585e04-3925-42e2-a217-1e1c0def308b" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="c544937b-dbb1-4213-9b69-8799365d962a" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c544937b-dbb1-4213-9b69-8799365d962a">CiD: Automating the Detection of API-related Compatibility Issues in Android Apps</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/lili" class="navigate">Li Li</a><span class="prog-aff"> Monash University, Australia</span>, <a href="https://2018.ecoop.org/profile/tegawendefbissyande" class="navigate">Tegawendé F. Bissyandé</a><span class="prog-aff"> University of Luxembourg, Luxembourg</span>, <a href="https://2018.ecoop.org/profile/haoyuwang" class="navigate">Haoyu Wang</a><span class="prog-aff"> </span>, <a href="https://2018.ecoop.org/profile/jacquesklein" class="navigate">Jacques Klein</a><span class="prog-aff"> University of Luxembourg, SnT</span></div></td></tr><tr data-slot-id="8f8812ee-a8fe-441a-9e17-f084b89e1a57" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">09:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="82abd994-b1ce-402e-a504-e555c8706a1f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="82abd994-b1ce-402e-a504-e555c8706a1f">Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/farnazbehrang" class="navigate">Farnaz Behrang</a><span class="prog-aff"> Georgia Institute of Technology</span>, <a href="https://2018.ecoop.org/profile/alessandroorso" class="navigate">Alessandro Orso</a><span class="prog-aff"> Georgia Tech</span></div></td></tr><tr data-slot-id="44413bda-8ce9-4d83-aeb6-734fa042753c" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="1c97e833-e377-4299-90f9-7068b225514c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="1c97e833-e377-4299-90f9-7068b225514c">Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe<span class="pull-right"><span title="Distinguished Paper" data-facet-badge="Distinguished Paper" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper" src="https://2018.ecoop.org/getImageFile/c8c98bae-a79b-49f6-ae1a-5db7747140dc/small?1527874642000" class="outputimage"/></span></span></a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/linaqiu" class="navigate">Lina Qiu</a><span class="prog-aff"> University of British Columbia</span>, <a href="https://2018.ecoop.org/profile/yingyingwang" class="navigate">Yingying Wang</a><span class="prog-aff"> </span>, <a href="https://2018.ecoop.org/profile/juliarubin" class="navigate">Julia Rubin</a><span class="prog-aff"> University of British Columbia</span></div></td></tr><tr data-slot-id="d5250476-abd3-4a23-b227-ce6316677718" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">10:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div><div class="hidable band hour-11"><table data-facet-date="Tue 17 Jul 2018" data-facet-date-order="180717" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Static Analysis<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/karimali" target="_blank" class="navigate">Karim Ali</a><span class="prog-aff"> University of Alberta</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="94b5b7d0-1716-4f18-bb4f-04052d42c361" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="fc923c37-c43d-4dc3-a99c-8c4cf72bc66c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="fc923c37-c43d-4dc3-a99c-8c4cf72bc66c">Repositioning of Static Analysis Alarms</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/tukarammuske" class="navigate">Tukaram Muske</a><span class="prog-aff"> Tata Consultancy Services Ltd</span>, <a href="https://2018.ecoop.org/profile/rohithtalluri" class="navigate">Rohith Talluri</a><span class="prog-aff"> Tata Consultancy Services Ltd</span>, <a href="https://2018.ecoop.org/profile/aserebrenik" class="navigate">Alexander Serebrenik</a><span class="prog-aff"> Eindhoven University of Technology</span></div></td></tr><tr data-slot-id="7b60b569-ec89-4b9c-8cdc-7e06d041e53e" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="8e28aa07-2db3-4459-b86c-1771ef0022b2" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8e28aa07-2db3-4459-b86c-1771ef0022b2">Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/nevillegrech" class="navigate">Neville Grech</a><span class="prog-aff"> University of Athens</span>, <a href="https://2018.ecoop.org/profile/georgefourtounis" class="navigate">George Fourtounis</a><span class="prog-aff"> University of Athens</span>, <a href="https://2018.ecoop.org/profile/adrianfrancalanza" class="navigate">Adrian Francalanza</a><span class="prog-aff"> University of Malta</span>, <a href="https://2018.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div></td></tr><tr data-slot-id="1030bcf5-44dc-465b-a0f3-a111b5805e49" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="b0170ac3-dffc-4dab-9872-065b82090a09" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b0170ac3-dffc-4dab-9872-065b82090a09">Static Analysis of Java Dynamic Proxies</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/georgefourtounis" class="navigate">George Fourtounis</a><span class="prog-aff"> University of Athens</span>, <a href="https://2018.ecoop.org/profile/georgekastrinis" class="navigate">George Kastrinis</a><span class="prog-aff"> University of Athens</span>, <a href="https://2018.ecoop.org/profile/yannissmaragdakis" class="navigate">Yannis Smaragdakis</a><span class="prog-aff"> University of Athens</span></div></td></tr><tr data-slot-id="8310cfeb-64b2-4ed2-ba09-e4e57662c735" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="441aa69e-3872-4328-bd9e-6516b6b957d3" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="441aa69e-3872-4328-bd9e-6516b6b957d3">Practical Detection of Concurrency Issues at Coding Time</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/lucblaser" class="navigate">Luc Bläser</a><span class="prog-aff"> Hochschule für Technik Rapperswil</span></div></td></tr><tr data-slot-id="b4c724c8-c967-46dc-a986-3f62be91692a" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div><div class="hidable band hour-16"><table data-facet-date="Tue 17 Jul 2018" data-facet-date-order="180717" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">16:00 - 17:30</div></td><td colspan="2"><div class="session-info-in-table">Test and Oracle Generation<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/sarfrazkhurshid" target="_blank" class="navigate">Sarfraz Khurshid</a><span class="prog-aff"> University of Texas at Austin</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="e11c4412-5abd-4ab6-8d87-16c81f96a508" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="3c2bd454-7147-4de4-9375-777d65938da5" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="3c2bd454-7147-4de4-9375-777d65938da5">Tests from Traces: Automated Unit Test Extraction for R</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/filipkrikava" class="navigate">Filip Křikava</a><span class="prog-aff"> Czech Technical University</span>, <a href="https://2018.ecoop.org/profile/janvitek" class="navigate">Jan Vitek</a><span class="prog-aff"> Northeastern University</span></div></td></tr><tr data-slot-id="b7b2791d-5efb-4bf8-86b3-4edac37827e7" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="d81fbf5c-ae2b-4eb0-aed9-c81f7955fc2c" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="d81fbf5c-ae2b-4eb0-aed9-c81f7955fc2c">Translating Code Comments to Procedure Specifications</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/ariannablasi" class="navigate">Arianna Blasi</a><span class="prog-aff"> Università della Svizzera italiana (USI) and IMDEA Software Institute</span>, <a href="https://2018.ecoop.org/profile/albertogoffi" class="navigate">Alberto Goffi</a><span class="prog-aff"> Università della Svizzera italiana (USI)</span>, <a href="https://2018.ecoop.org/profile/konstantinkuznetsov" class="navigate">Konstantin Kuznetsov</a><span class="prog-aff"> Saarland University, CISPA</span>, <a href="https://2018.ecoop.org/profile/alessandragorla" class="navigate">Alessandra Gorla</a><span class="prog-aff"> IMDEA Software Institute</span>, <a href="https://2018.ecoop.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a><span class="prog-aff"> University of Washington, USA</span>, <a href="https://2018.ecoop.org/profile/mauropezze1" class="navigate">Mauro Pezzè</a><span class="prog-aff"> University of Milano-Bicocca, Italy</span>, <a href="https://2018.ecoop.org/profile/sergiodelgadocastellanos" class="navigate">Sergio Delgado Castellanos</a><span class="prog-aff"> IMDEA Software Institute</span></div></td></tr><tr data-slot-id="5b717855-7413-45bf-920f-07eca8032393" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">16:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="f1d2e52a-ec74-4639-92c0-1fa9da6037cb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="f1d2e52a-ec74-4639-92c0-1fa9da6037cb">PerfFuzz: Automatically Generating Pathological Inputs<span class="pull-right"><span title="Distinguished Paper" data-facet-badge="Distinguished Paper" class="output-badge" style="max-width:40px;"><img alt="Distinguished Paper" src="https://2018.ecoop.org/getImageFile/c8c98bae-a79b-49f6-ae1a-5db7747140dc/small?1527874642000" class="outputimage"/></span></span></a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/carolinelemieux" class="navigate">Caroline Lemieux</a><span class="prog-aff"> University of California, Berkeley</span>, <a href="https://2018.ecoop.org/profile/rohanpadhye" class="navigate">Rohan Padhye</a><span class="prog-aff"> University of California, Berkeley</span>, <a href="https://2018.ecoop.org/profile/koushiksen" class="navigate">Koushik Sen</a><span class="prog-aff"> University of California, Berkeley</span>, <a href="https://2018.ecoop.org/profile/dawnsong" class="navigate">Dawn Song</a><span class="prog-aff"> </span></div></td></tr><tr data-slot-id="5f38c297-5d3e-4541-838b-9cee0b2315cc" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">17:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Wed 18 Jul</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-11"><table data-facet-date="Wed 18 Jul 2018" data-facet-date-order="180718" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">11:00 - 12:30</div></td><td colspan="2"><div class="session-info-in-table">Porting and Repair<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/juliandolby" target="_blank" class="navigate">Julian Dolby</a><span class="prog-aff"> IBM Thomas J. Watson Research Center</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="faf2cdfe-69e5-4b06-a9ea-d696d1e3a453" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="8954b294-c2bc-4c1d-89f0-90468d8d9199" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8954b294-c2bc-4c1d-89f0-90468d8d9199">Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/mohammadmalmasi" class="navigate">Mohammad M. Almasi</a><span class="prog-aff"> University of Manitoba</span>, <a href="https://2018.ecoop.org/profile/hadihemmati" class="navigate">Hadi Hemmati</a><span class="prog-aff"> University of Calgary</span>, <a href="https://2018.ecoop.org/profile/gordonfraser" class="navigate">Gordon Fraser</a><span class="prog-aff"> University of Passau</span>, <a href="https://2018.ecoop.org/profile/philmcminn" class="navigate">Phil McMinn</a><span class="prog-aff"> University of Sheffield</span>, <a href="https://2018.ecoop.org/profile/janisbenefelds" class="navigate">Janis Benefelds</a><span class="prog-aff"> SEB Life and Pensions Holding AB</span></div></td></tr><tr data-slot-id="799b2ab6-8869-4712-ad47-78a52f6e9146" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="04652e61-c781-4db1-8814-a5696d7b1a59" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="04652e61-c781-4db1-8814-a5696d7b1a59">Making Data-Driven Porting Decisions with Tuscan</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/kareemkhazem" class="navigate">Kareem Khazem</a><span class="prog-aff"> University College London</span>, <a href="https://2018.ecoop.org/profile/earlbarr" class="navigate">Earl T. Barr</a><span class="prog-aff"> University College London</span>, <a href="https://2018.ecoop.org/profile/petrhosek" class="navigate">Petr Hosek</a><span class="prog-aff"> Google, Inc.</span></div></td></tr><tr data-slot-id="1eebfeb8-f78f-42e1-b9a3-d18160cf90ee" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">11:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="57b02348-92a0-4f4f-b0c0-cd195e50e6ac" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="57b02348-92a0-4f4f-b0c0-cd195e50e6ac">Comparing developer-provided to user-provided tests for fault localization and automated program repair</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/renejust" class="navigate">René Just</a><span class="prog-aff"> University of Massachusetts, USA</span>, <a href="https://2018.ecoop.org/profile/chrisparnin1" class="navigate">Chris Parnin</a><span class="prog-aff"> NCSU</span>, <a href="https://2018.ecoop.org/profile/iandrosos" class="navigate">Ian Drosos</a><span class="prog-aff"> University of California, San Diego</span>, <a href="https://2018.ecoop.org/profile/michaeldernst" class="navigate">Michael D. Ernst</a><span class="prog-aff"> University of Washington, USA</span></div></td></tr><tr data-slot-id="4839c591-d514-4fae-b5a0-707d36264cf8" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="41647fa4-a546-4568-8b0d-7d04df12d5ab" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="41647fa4-a546-4568-8b0d-7d04df12d5ab">Shaping Program Repair Space with Existing Patches and Similar Code</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/jiajunjiang" class="navigate">Jiajun Jiang</a><span class="prog-aff"> Peking University</span>, <a href="https://2018.ecoop.org/profile/yingfeixiong" class="navigate">Yingfei Xiong</a><span class="prog-aff"> Peking University</span>, <a href="https://2018.ecoop.org/profile/hongyuzhang" class="navigate">Hongyu Zhang</a><span class="prog-aff"> The University of Newcastle</span>, <a href="https://2018.ecoop.org/profile/qinggao" class="navigate">Qing Gao</a><span class="prog-aff"> Peking University</span>, <a href="https://2018.ecoop.org/profile/xiangqunchen" class="navigate">Xiangqun Chen</a><span class="prog-aff"> Peking University</span></div><a href="https://xgdsmileboy.github.io/files/simfix-issta2018.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a></td></tr><tr data-slot-id="f6443894-a74d-4677-8fac-5c446a931699" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">12:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div><div class="hidable band hour-14"><table data-facet-date="Wed 18 Jul 2018" data-facet-date-order="180718" data-facet-room="Zurich II" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c4"></td><td><div class="slot-label">14:00 - 15:30</div></td><td colspan="2"><div class="session-info-in-table">Optimization and Performance<span class="pull-right"><a href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" target="_blank" class="text-muted navigate">ISSTA Technical Papers</a></span> at <a href="https://2018.ecoop.org/room/ecoop-issta-2018-venue-zurich-ii" target="_blank" class="room-link navigate">Zurich II</a><br/> <small>Chair(s): <a href="https://2018.ecoop.org/profile/tevfikbultan" target="_blank" class="navigate">Tevfik Bultan</a><span class="prog-aff"> University of California, Santa Barbara</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="4c0ed278-b71e-4dde-a2ee-3ea6e14fdb72" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="57ed2f8a-7d02-4060-bf83-06048dc33e81" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="57ed2f8a-7d02-4060-bf83-06048dc33e81">Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/yingjunlyu" class="navigate">Yingjun Lyu</a><span class="prog-aff"> University of Southern California</span>, <a href="https://2018.ecoop.org/profile/dingli" class="navigate">Ding Li</a><span class="prog-aff"> NEC Labs</span>, <a href="https://2018.ecoop.org/profile/williamgjhalfond" class="navigate">William G.J. Halfond</a><span class="prog-aff"> University of Southern California</span></div></td></tr><tr data-slot-id="5d08da7b-6d3b-4694-b1b1-ee1f5e0e8bba" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:20</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="24408fab-6ff2-4627-ab93-cc7594f839c6" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="24408fab-6ff2-4627-ab93-cc7594f839c6">Badger: Complexity Analysis with Fuzzing and Symbolic Execution</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/yannicnoller" class="navigate">Yannic Noller</a><span class="prog-aff"> Humboldt-Universität zu Berlin</span>, <a href="https://2018.ecoop.org/profile/rodykersten" class="navigate">Rody Kersten</a><span class="prog-aff"> Synopsys, Inc.</span>, <a href="https://2018.ecoop.org/profile/corinaspasareanu1" class="navigate">Corina S. Păsăreanu</a><span class="prog-aff"> NASA Ames Research Center</span></div></td></tr><tr data-slot-id="56aa22a6-312b-44e4-a9bc-e454d093bc70" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">14:40</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="9d5f3c62-67fd-45e8-baaf-efa96d4937bc" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9d5f3c62-67fd-45e8-baaf-efa96d4937bc">Exploiting Community Structure for Floating-Point Precision Tuning</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/huiguo1" class="navigate">Hui Guo</a><span class="prog-aff"> University of California, Davis</span>, <a href="https://2018.ecoop.org/profile/cindyrubiogonzalez" class="navigate">Cindy Rubio-González</a><span class="prog-aff"> University of California, Davis</span></div></td></tr><tr data-slot-id="d63af3c9-05b9-4e37-98b1-55e66049fa55" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:00</div><strong>20m</strong></div><div class="event-type">Talk</div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="65c361f6-ddc3-4c12-8990-61eeb1a019fb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="65c361f6-ddc3-4c12-8990-61eeb1a019fb">piCoq: Parallel Regression Proving for Large-Scale Verification Projects</a></strong><div class="prog-track">ISSTA Technical Papers</div><div class="performers"><a href="https://2018.ecoop.org/profile/karlpalmskog" class="navigate">Karl Palmskog</a><span class="prog-aff"> University of Texas at Austin</span>, <a href="https://2018.ecoop.org/profile/ahmetcelik" class="navigate">Ahmet Celik</a><span class="prog-aff"> University of Texas at Austin, USA</span>, <a href="https://2018.ecoop.org/profile/milosgligoric" class="navigate">Milos Gligoric</a><span class="prog-aff"> University of Texas at Austin</span></div></td></tr><tr data-slot-id="fb1f312b-bccf-42ab-83fb-974dc4296c9c" class="hidable"><td class="track-color c4"></td><td class=" text-right"><div class="text-muted"><div class="start-time">15:20</div><strong>10m</strong></div><div class="event-type"></div><span data-facet-track="ISSTA Technical Papers"></span></td><td><span data-event-star="6478cbc1-8f72-4917-8b22-95ab62dd6fe9" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="6478cbc1-8f72-4917-8b22-95ab62dd6fe9">Q&A in groups</a></strong><div class="prog-track">ISSTA Technical Papers</div><br></td></tr></table></div></div></div></div></div><div id="Submission-Policies" class="tab-pane "><div class="page-header"><h3>Submission Policies</h3></div><p>Papers submitted for consideration to any of the above call for papers should not have been already published elsewhere and should not be under review or submitted for review elsewhere during the duration of consideration. Specifically, authors are required to adhere to the <a href="http://www.acm.org/publications/policies/plagiarism_policy">ACM Policy and Procedures on Plagiarism</a> and the <a href="http://www.acm.org/publications/policies/simultaneous-submissions">ACM Policy on Prior Publication and Simultaneous Submissions</a>. All submissions are subject to the <a href="http://www.acm.org/publications/policies/author_representations">ACM Author Representations policy</a>.</p> <p>All submissions must be in English and in PDF format. Papers must not exceed the page limits that are listed for each call for papers.</p> <p>The conference will use the iThenticate plagiarism detection software to screen submissions and will follow the <a href="http://www.acm.org/publications/policies/plagiarism_policy">ACM Policy and Procedures on Plagiarism</a>. Possible violations will be reported to ACM for further investigation.</p> <h3><a href="#submission-format" id="submission-format" class="anchor-link">Submission Format</a></h3> <p>The ACM styles have changed recently, and all authors should use the official "2017 ACM Master article template”, as can be obtained from the <a href="http://www.acm.org/publications/article-templates/proceedings-template.html">ACM Proceedings Template</a> pages.</p> <p>Latex users should use the “sigconf” option, as well as the “review” (to produce line numbers for easy reference by the reviewers) and “anonymous” (omitting author names) options. To that end, the following latex code can be placed at the start of the latex document:</p> <blockquote> <ul> <li>\documentclass[sigconf,review, anonymous]{acmart}</li> <li>\acmConference[ISSTA 2018]{ACM SIGSOFT International Symposium on Software Testing and Analysis}{16–22 July, 2018}{Amsterdam, The Netherlands}</li> </ul> </blockquote> <h3><a href="#accepted-contributions" id="accepted-contributions" class="anchor-link">Accepted Contributions</a></h3> <p>All authors of accepted papers will be asked to complete an electronic ACM Copyright form and will receive further instructions for preparing their camera ready versions.</p> <p>All accepted contributions will be published in the conference electronic proceedings and in the <a href="http://dl.acm.org/">ACM Digital Library</a></p> <p>Note that the official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ISSTA 2018. The official publication date affects the deadline for any patent filings related to published work.</p> <p>The names and ordering of authors as well as the title in the camera ready version cannot be modified from the ones in the submitted version unless there is explicit approval from the track chairs.</p> <p>At least one author of each accepted paper must register and present the paper at ISSTA 2018 in order for the paper to be published in the proceedings. One-day registrations or student registrations do NOT satisfy the registration requirement, except the SRC and Doctoral track, for which student registrations suffice.</p> <h3><a href="#double-blind-reviewing" id="double-blind-reviewing" class="anchor-link">Double-Blind Reviewing</a></h3> <p>More details are available at the <a href="https://conf.researchr.org/track/issta-2018/issta-2018-Technical-Papers#Double-Blind-Reviewing">Double-Blind Reviewing page</a>.</p> </div><div id="Double-Blind-Reviewing" class="tab-pane "><div class="page-header"><h3>Double-Blind Reviewing</h3></div><h1><a href="#issta-2018-guidelines-on-double-blind-reviewing" id="issta-2018-guidelines-on-double-blind-reviewing" class="anchor-link">ISSTA 2018 Guidelines on Double-Blind Reviewing</a></h1> <h3><a href="#why-is-issta-2018-using-double-blind-reviewing" id="why-is-issta-2018-using-double-blind-reviewing" class="anchor-link">Why is ISSTA 2018 using double-blind reviewing?</a></h3> <p>Studies have shown that a reviewer’s attitude toward a submission may be affected, even subconsciously, by author identity. We want reviewers to be able to approach each submission without such involuntary reactions as “Barnaby; he writes good papers” or “Who are these people? I have never heard of them.” For this reason, we ask that authors omit their names from their submissions, and avoid revealing their identities through citations and text. Many systems, security, and programming language conferences use double-blind reviewing and have done so for years (e.g., SIGCOMM, OSDI, IEEE Security and Privacy, SIGMOD, PLDI). Software engineering conferences are gradually starting to adopt this model. In 2017, most of the Software Engineering conferences (ESEC-FSE, ISSTA, ICSME, MSR, ICPC) have adopted double-blind reviewing, and in 2018 also ICSE as well. In 2016, ISSTA decided to try out double-blind reviewing for a three-year trial period, ISSTA 2016,17,18.</p> <p>For those who are interested in motivation for double-blind reviewing, a very well argued, referenced, and evidenced article in favour of double-blind review processes for Software Engineering conferences can be found in the <a href="https://www.cs.cmu.edu/~clegoues/double-blind.html">blog post by Claire Le Goues</a>. Also there is a <a href="http://www.robertfeldt.net/advice/double_blind_reviewing/">list of double-blind resources from Robert Feldt</a>, and a more <a href="https://peerj.com/preprints/1757/">formal study of the subject by Moritz Beller and Alberto Bacchelli</a>.</p> <p>Generally, this process will be cooperative, not adversarial. While the authors should take precautions not to reveal their identities (see details below), if a reviewer discovers the authors’ identities through a subtle oversight by the authors, the authors will not be penalized.</p> <h3><a href="#do-you-really-think-blinding-works-i-suspect-reviewers-can-often-guess-who-the-authors-are" id="do-you-really-think-blinding-works-i-suspect-reviewers-can-often-guess-who-the-authors-are" class="anchor-link">Do you really think blinding works? I suspect reviewers can often guess who the authors are.</a></h3> <p>Reviewers can sometimes guess the authorship correctly, though studies show this happens less often than people think. Still, imperfect blinding is better than no blinding at all, and even if all reviewers guess all authors’ identities correctly, double-blind reviewing simply becomes traditional single-blind reviewing.</p> <h3><a href="#couldnt-blind-submission-create-an-injustice-if-a-paper-is-inappropriately-rejected-because-a-reviewer-is-aware-of-prior-unpublished-work-that-actually-is-performed-by-the-same-authors" id="couldnt-blind-submission-create-an-injustice-if-a-paper-is-inappropriately-rejected-because-a-reviewer-is-aware-of-prior-unpublished-work-that-actually-is-performed-by-the-same-authors" class="anchor-link">Couldn’t blind submission create an injustice if a paper is inappropriately rejected because a reviewer is aware of prior unpublished work that actually is performed by the same authors?</a></h3> <p>The double-blind review process that we will be using for ISSTA 2018 is lightweight: author names will be revealed one week before the PC meeting, after all reviews have been collected. In this phase, the authors’ previous work can and will be explicitly considered.</p> <h3><a href="#what-about-additional-information-to-support-repeatability-or-verifiability-of-the-reported-results" id="what-about-additional-information-to-support-repeatability-or-verifiability-of-the-reported-results" class="anchor-link">What about additional information to support repeatability or verifiability of the reported results?</a></h3> <p>ISSTA 2018 puts a strong emphasis on creation of quality artifacts and repeatability and verifiability of experiences reported in the papers. An artifact evaluation committee is put in place to review artifacts accompanying all accepted papers, without the need to conceal identity of the authors.</p> <h2><a href="#for-authors" id="for-authors" class="anchor-link">For Authors</a></h2> <h3><a href="#what-exactly-do-i-have-to-do-to-anonymize-my-paper" id="what-exactly-do-i-have-to-do-to-anonymize-my-paper" class="anchor-link">What exactly do I have to do to anonymize my paper?</a></h3> <p>Your job is not to make your identity undiscoverable, but to make it possible for our reviewers to evaluate your submission without knowing who you are. If you have a concern that particular information is particularly easy to trace to you, consider adding a warning to reviewers in a footnote, e.g., “Note for reviewers: searching the commit logs of the GitHub projects we used in our evaluation may reveal authors’ identities.”</p> <p>Also please remove any acknowledgements from the paper.</p> <h3><a href="#i-would-like-to-provide-supplementary-material-for-consideration-eg-the-code-of-my-implementation-or-proofs-of-theorems-how-do-i-do-this" id="i-would-like-to-provide-supplementary-material-for-consideration-eg-the-code-of-my-implementation-or-proofs-of-theorems-how-do-i-do-this" class="anchor-link">I would like to provide supplementary material for consideration, e.g., the code of my implementation or proofs of theorems. How do I do this?</a></h3> <p>In general, supplementary material should also be anonymized. Please make your best to avoid (i) having your names/affiliations in artifact’s metadata (e.g. PDFs, spreadsheets, other documents); (ii) having contributors’ names in source code. To create a repository, you could use an anonymized cloud account (i.e., created with a username not clearly attributable to the authors), or similar solutions.</p> <p>If the code or the repository cannot be anonymized easily, please either (A) provide an anonymized URL (such as using a URL shortener like <a href="http://bit.ly">http://bit.ly</a>) with a prominent warning to reviewers that following the link may unblind them or, (B) if this is not possible, remove the URL to the repository from the paper and, instead, state “link to repository removed for double-blind review” or similar. Once the author names are revealed, the reviewers can ask the PC chair for the URL, who will contact the authors.</p> <p>Also note that the assessment of artifacts within the Artifact Evaluation happens after paper acceptance and is <em>not</em> double-blind!</p> <h3><a href="#i-am-building-on-my-own-past-work-on-the-wizwoz-system-do-i-need-to-rename-this-system-in-my-paper-for-purposes-of-anonymity-so-as-to-remove-the-implied-connection-between-my-authorship-of-past-work-on-this-system-and-my-present-submission" id="i-am-building-on-my-own-past-work-on-the-wizwoz-system-do-i-need-to-rename-this-system-in-my-paper-for-purposes-of-anonymity-so-as-to-remove-the-implied-connection-between-my-authorship-of-past-work-on-this-system-and-my-present-submission" class="anchor-link">I am building on my own past work on the WizWoz system. Do I need to rename this system in my paper for purposes of anonymity, so as to remove the implied connection between my authorship of past work on this system and my present submission?</a></h3> <p>No. In our opinion the risk involved in misjudging a technical contribution because of such anonymization would outweigh the risk of de-anonymizing authors. Hence you should refer to the original, true system names only.</p> <h3><a href="#am-i-allowed-to-post-my-non-blinded-paper-on-my-web-page-can-i-advertise-the-unblinded-version-of-my-paper-on-mailing-lists-or-send-it-to-colleagues-may-i-give-a-talk-about-my-work-while-it-is-under-review" id="am-i-allowed-to-post-my-non-blinded-paper-on-my-web-page-can-i-advertise-the-unblinded-version-of-my-paper-on-mailing-lists-or-send-it-to-colleagues-may-i-give-a-talk-about-my-work-while-it-is-under-review" class="anchor-link">Am I allowed to post my (non-blinded) paper on my web page? Can I advertise the unblinded version of my paper on mailing lists or send it to colleagues? May I give a talk about my work while it is under review?</a></h3> <p>As far as the authors’ publicity actions are concerned, a paper under double-blind review is largely the same as a paper under regular (single-blind) review. Double-blind reviewing should not hinder the usual communication of results. But, during the review period, please don’t broadcast the work on social media. Also, to the extent to which this is possible, please avoid to publish the preprint of your work (e.g., on arXiv or on your website) until it is accepted for publication. In exceptional cases this might be required, but then please avoid spreading the paper more actively.</p> <h3><a href="#will-the-fact-that-issta-is-double-blind-have-an-impact-on-handling-conflicts-of-interest" id="will-the-fact-that-issta-is-double-blind-have-an-impact-on-handling-conflicts-of-interest" class="anchor-link">Will the fact that ISSTA is double-blind have an impact on handling conflicts of interest?</a></h3> <p>Using double-blind reviewing does not change the principle that reviewers should not review papers with which they have a conflict of interest, even if they do not immediately know who the authors are. Conflicts of interest are identified based on the authors’ and reviewers’ names and affiliations, and they can be declared by both the authors and reviewers. Note: Do not over-declare conflicts! The PC chair will double-check author-declared conflicts. In case we are able to identify clearly spurious conflicts that the authors have no good argument for, this can lead to desk rejection of the paper.</p> <h2><a href="#for-reviewers" id="for-reviewers" class="anchor-link">For Reviewers</a></h2> <h3><a href="#what-should-i-do-if-i-if-i-learn-the-authors-identities-what-should-i-do-if-a-prospective-issta-author-contacts-me-and-asks-to-visit-my-institution" id="what-should-i-do-if-i-if-i-learn-the-authors-identities-what-should-i-do-if-a-prospective-issta-author-contacts-me-and-asks-to-visit-my-institution" class="anchor-link">What should I do if I if I learn the authors’ identities? What should I do if a prospective ISSTA author contacts me and asks to visit my institution?</a></h3> <p>If at any point you feel that the authors’ actions are largely aimed at ensuring that potential reviewers know their identities, you should contact the PC Chair. If you are unsure, contact the PC Chair. Otherwise you should not treat double-blind reviewing differently from regular single-blind reviewing. You should refrain from seeking out information on the authors’ identities, but discovering it accidentally will not automatically remove you from reviewing a paper you have been assigned. Use your best judgment and feel free to contact us with any concerns.</p> <h3><a href="#how-do-we-handle-potential-conflicts-of-interest-since-i-cannot-see-the-authors-names" id="how-do-we-handle-potential-conflicts-of-interest-since-i-cannot-see-the-authors-names" class="anchor-link">How do we handle potential conflicts of interest since I cannot see the authors’ names?</a></h3> <p>HotCRP will ask you to identify conflicts of interest before bidding. Please see the text field <em>Collaborators and other affiliations</em> on your HotCRP profile page. Also you can declare individual conflicts for each paper during bidding. To do so, enter a preference of -100.</p> <p>This FAQ is based on several iterations of ASE, ISSTA, PLDI, and SIGMOD guidelines for double-blind reviewing.</p> </div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="clickable-row past"><td>Fri 8 Jun 2018<br/>Camera-ready</td></tr><tr href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="clickable-row past"><td>Wed 2 May 2018<br/>Final Author Notification</td></tr><tr href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="clickable-row past"><td>Tue 17 - Thu 19 Apr 2018<br/>Phase 2 Author Response</td></tr><tr href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="clickable-row past"><td>Fri 30 Mar 2018<br/>Early-reject Author Notification</td></tr><tr href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="clickable-row past"><td>Mon 19 - Wed 21 Mar 2018<br/>Phase 1 Author Response</td></tr><tr href="https://2018.ecoop.org/track/issta-2018-Technical-Papers" class="clickable-row past"><td>Mon 29 Jan 2018<br/>Paper Submission</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://issta18.hotcrp.com/" title="Submission link for Call for Papers" target="_blank" class="navigate">https://issta18.hotcrp.com/</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2018.ecoop.org/committee/issta-2018-technical-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2018.ecoop.org/profile/ericbodden" class="navigate"><div class="media"><span class="pull-left"><img alt="Eric Bodden" src="https://2018.ecoop.org/getProfileImage/ericbodden/8d866598-245f-414d-92c5-7bbcee122e43/micro-avatar.jpg?1711455764000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Eric Bodden<span class="pull-right"><small>Program Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/karimali" class="navigate"><div class="media"><span class="pull-left"><img alt="Karim Ali" src="https://2018.ecoop.org/getProfileImage/karimali/f2b1bad7-05ad-4b4c-86dd-46b0df759d40/micro-avatar.jpg?1726724794000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Karim Ali<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Alberta</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/andreaarcuri" class="navigate"><div class="media"><span class="pull-left"><img alt="Andrea Arcuri" src="https://2018.ecoop.org/getProfileImage/andreaarcuri/631b05d0-71d2-42e9-bee5-32352e9ddc3a/micro-avatar.jpg?1713126778000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Andrea Arcuri<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Westerdals Oslo ACT, and University of Luxembourg</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/maurobaluda" class="navigate"><div class="media"><span class="pull-left"><img alt="Mauro Baluda" src="https://2018.ecoop.org/getProfileImage/maurobaluda/a1f1301d-7476-4fb8-be27-d5bb223ecae5/micro-avatar.jpg?1711544092000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Mauro Baluda<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Avaloq Evolution AG</span></h5><h5 class="media-heading"><small>Switzerland</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/earlbarr" class="navigate"><div class="media"><span class="pull-left"><img alt="Earl T. Barr" src="https://2018.ecoop.org/getProfileImage/earlbarr/9b6efc5b-e680-4da2-9d92-785a0021dcc1/micro-avatar.jpg?1711535417000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Earl T. Barr<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/lionelbriand" class="navigate"><div class="media"><span class="pull-left"><img alt="Lionel Briand" src="https://2018.ecoop.org/getProfileImage/lionelbriand/d38255e4-27e5-4c12-9ae3-d6bfba41e3e0/micro-avatar.jpg?1711468363000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lionel Briand<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">SnT Centre/University of Luxembourg</span></h5><h5 class="media-heading"><small>Luxembourg</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/tevfikbultan" class="navigate"><div class="media"><span class="pull-left"><img alt="Tevfik Bultan" src="https://2018.ecoop.org/getProfileImage/tevfikbultan/5a69b6e6-babe-46ea-81ee-b94f3abd8b81/micro-avatar.jpg?1711468148000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Tevfik Bultan<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California, Santa Barbara</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/cristiancadar" class="navigate"><div class="media"><span class="pull-left"><img alt="Cristian Cadar" src="https://2018.ecoop.org/getProfileImage/cristiancadar/ecd15202-7c21-4ccd-9177-b0fe62ed6220/micro-avatar.jpg?1717156570000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Cristian Cadar<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Imperial College London</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/juliandolby" class="navigate"><div class="media"><span class="pull-left"><img alt="Julian Dolby" src="https://2018.ecoop.org/getProfileImage/juliandolby/1865a8a8-4c70-4e30-a21d-e444a075baa0/micro-avatar.jpg?1711556395000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Julian Dolby<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">IBM Thomas J. Watson Research Center</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/martinjohns" class="navigate"><div class="media"><span class="pull-left"><img alt="Martin Johns" src="https://2018.ecoop.org/getProfileImage/martinjohns/bd9220c8-5d69-42e2-accd-34d6357da4ac/micro-avatar.jpg?1711535396000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Martin Johns<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">SAP Security Research / TU Braunschweig</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/sarfrazkhurshid" class="navigate"><div class="media"><span class="pull-left"><img alt="Sarfraz Khurshid" src="https://2018.ecoop.org/getProfileImage/sarfrazkhurshid/e02c75c5-c23c-4ac0-ae40-d5017e6dab12/micro-avatar.jpg?1711455471000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sarfraz Khurshid<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Texas at Austin</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/moonzookim" class="navigate"><div class="media"><span class="pull-left"><img alt="Moonzoo Kim" src="https://2018.ecoop.org/getProfileImage/moonzookim/ac4992a3-9132-433c-8514-4f912b3ba9eb/micro-avatar.jpg?1711461895000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Moonzoo Kim<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">KAIST</span></h5><h5 class="media-heading"><small>Korea, South</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/jacquesklein" class="navigate"><div class="media"><span class="pull-left"><img alt="Jacques Klein" src="https://2018.ecoop.org/getProfileImage/jacquesklein/fe9ea465-a2a7-4e1a-8f79-c22cd43898af/micro-avatar.jpg?1711457577000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jacques Klein<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Luxembourg, SnT</span></h5><h5 class="media-heading"><small>Luxembourg</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/yangliu" class="navigate"><div class="media"><span class="pull-left"><img alt="Yang Liu" src="https://2018.ecoop.org/getProfileImage/yangliu/8167f4c9-87d4-4450-8f36-60806e225341/micro-avatar.jpg?1711472782000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yang Liu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Nanyang Technological University, Singapore</span></h5><h5 class="media-heading"><small>Singapore</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/sasamisailovic" class="navigate"><div class="media"><span class="pull-left"><img alt="Sasa Misailovic" src="https://2018.ecoop.org/getProfileImage/sasamisailovic/359377d4-664f-48a2-8101-f44dd42e86c2/micro-avatar.jpg?1711494704000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sasa Misailovic<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Illinois at Urbana-Champaign, USA</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/andersmoller" class="navigate"><div class="media"><span class="pull-left"><img alt="Anders Møller" src="https://2018.ecoop.org/getProfileImage/andersmoller/f0e1a13e-6ca3-4235-b03e-7327215159e7/micro-avatar.jpg?1711470419000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Anders Møller<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Aarhus University</span></h5><h5 class="media-heading"><small>Denmark</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/alessandroorso" class="navigate"><div class="media"><span class="pull-left"><img alt="Alessandro Orso" src="https://2018.ecoop.org/getProfileImage/alessandroorso/80b34afa-b5f1-4444-ab08-016c844a2ef9/micro-avatar.jpg?1711455581000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Alessandro Orso<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Georgia Tech</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/corinaspasareanu1" class="navigate"><div class="media"><span class="pull-left"><img alt="Corina S. Păsăreanu" src="https://2018.ecoop.org/getProfileImage/corinaspasareanu1/bb41ac65-354c-46dc-9077-f67b574c88f3/micro-avatar.jpg?1711472287000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Corina S. Păsăreanu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">NASA Ames Research Center</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/gregrothermel" class="navigate"><div class="media"><span class="pull-left"><img alt="Gregg Rothermel" src="https://2018.ecoop.org/getProfileImage/gregrothermel/1b004208-e907-4026-806f-227bef698a5a/micro-avatar.jpg?1711576896000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gregg Rothermel<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Nebraska-Lincoln, USA</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/cindyrubiogonzalez" class="navigate"><div class="media"><span class="pull-left"><img alt="Cindy Rubio-González" src="https://2018.ecoop.org/getProfileImage/cindyrubiogonzalez/0aad4c9d-9968-442b-9ad0-7a0c3c14f3e5/micro-avatar.jpg?1711474016000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Cindy Rubio-González<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of California, Davis</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/yannissmaragdakis" class="navigate"><div class="media"><span class="pull-left"><img alt="Yannis Smaragdakis" src="https://2018.ecoop.org/getProfileImage/yannissmaragdakis/e8ae300d-ae19-4732-8c97-2d93e3a9f387/micro-avatar.jpg?1711460890000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Yannis Smaragdakis<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Athens</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/kathrynstolee" class="navigate"><div class="media"><span class="pull-left"><img alt="Kathryn Stolee" src="https://2018.ecoop.org/getProfileImage/kathrynstolee/dcdca845-d08e-4665-a919-90eb55b2a2fc/micro-avatar.jpg?1736972766000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kathryn Stolee<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">North Carolina State University</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/paolotonella" class="navigate"><div class="media"><span class="pull-left"><img alt="Paolo Tonella" src="https://2018.ecoop.org/getProfileImage/paolotonella/786dec88-6fb3-4872-bc85-8b829bb1c319/micro-avatar.jpg?1711535353000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Paolo Tonella<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Fondazione Bruno Kessler</span></h5><h5 class="media-heading"><small>Italy</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/omertripp1" class="navigate"><div class="media"><span class="pull-left"><img alt="Omer Tripp" src="https://2018.ecoop.org/getProfileImage/omertripp1/e592a337-482a-4fb3-8574-910b2d43dfef/micro-avatar.jpg?1711549395000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Omer Tripp<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Google Inc.</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/willemvisser" class="navigate"><div class="media"><span class="pull-left"><img alt="Willem Visser" src="https://2018.ecoop.org/getProfileImage/willemvisser/ef99d6e1-c8a9-4b01-9d3b-4ee54186fe16/micro-avatar.jpg?1711461876000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Willem Visser<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Stellenbosch University</span></h5><h5 class="media-heading"><small>South Africa</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/jinglingxue" class="navigate"><div class="media"><span class="pull-left"><img alt="Jingling Xue" src="https://2018.ecoop.org/getProfileImage/jinglingxue/64a377f3-16cd-4eac-997b-ef9ce7e7533d/micro-avatar.jpg?1711457591000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jingling Xue<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">UNSW Sydney</span></h5><h5 class="media-heading"><small>Australia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/andreaszeller" class="navigate"><div class="media"><span class="pull-left"><img alt="Andreas Zeller" src="https://2018.ecoop.org/getProfileImage/andreaszeller/9efbc420-8162-4153-a3e9-22ec04ede0c8/micro-avatar.jpg?1711458523000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Andreas Zeller<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Saarland University</span></h5><h5 class="media-heading"><small>Germany</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2018.ecoop.org/profile/tomzimmermann" class="navigate"><div class="media"><span class="pull-left"><img alt="Thomas Zimmermann" src="https://2018.ecoop.org/getProfileImage/tomzimmermann/b05cff5a-720e-4801-ab90-e969b1a50dcd/micro-avatar.jpg?1729092858000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Thomas Zimmermann<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Microsoft Research</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 19 Feb 21:23</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://2018.ecoop.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="ecoop-2018" /><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://2018.ecoop.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"ecoop-2018"},],"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://2018.ecoop.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="ecoop-2018" /><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://2018.ecoop.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"ecoop-2018"},],"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://2018.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP 2018</a></h3><div><a href="https://2018.ecoop.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><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://2018.ecoop.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://2018.ecoop.org/track/ecoop-2018-artifacts" class="navigate">ECOOP Artifacts</a><br/><a href="https://2018.ecoop.org/track/ecoop-2018-Keynotes" class="navigate">ECOOP Keynotes</a><br/><a href="https://2018.ecoop.org/track/ecoop-2018-papers" class="navigate">ECOOP Research Papers</a><br/><a href="https://2018.ecoop.org/track/ecoop-2018-Journal-First" class="navigate">Journal-First</a><br/><br/><h4>ECOOP and ISSTA 2018</h4><a href="https://2018.ecoop.org/track/ecoop-issta-2018-doctoral-symposium" class="navigate">Doc Symposium</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-summer-school" class="navigate">Summer School</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-workshops" class="navigate">Workshops</a><br/><a href="https://2018.ecoop.org/track/ecoop-issta-2018-posters" class="navigate">Posters</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/curryon-2018" class="navigate">CurryOn 2018</a><br/><a href="https://conf.researchr.org/home/issta-2018" class="navigate">ISSTA 2018</a><br/><h4>Workshops</h4><a href="https://conf.researchr.org/track/ecoop-issta-2018/benchwork-2018-talks" class="navigate">BenchWork 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/COP-2018-papers" class="navigate">COP 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/dpa-2018-papers" class="navigate">DPA 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers" class="navigate">FTfJP 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/ICOOOLPS-2018-papers" class="navigate">ICOOOLPS 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/intuitestbeds-2018-papers" class="navigate">INTUITESTBEDS 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/isagt-2018-papers" class="navigate">ISAGT 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers" class="navigate">ML4PL 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/panathon-2018" class="navigate">Panathon 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/salad-2018-papers" class="navigate">SALAD 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/SOAP-2018-papers" class="navigate">SOAP 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/tavcpsiot-2018-papers" class="navigate">TAV-CPS/IoT 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers" class="navigate">VORTEX 2018</a><br/><a href="https://conf.researchr.org/track/ecoop-issta-2018/wossca-2018-papers" class="navigate">WoSSCA 2018</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-issta-sc-meeting-venue" class="navigate">Venue: ISSTA Steering Committee Meeting</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-aito-gam-venue" class="navigate">Restaurant: Cafe de Jaren</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-uber-reception-venue" class="navigate">Venue: Uber</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-venue" class="navigate">Venue: Mövenpick Hotel Amsterdam City Centre</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-curryon-party-venue" class="navigate">Restaurant: Tobacco Theater</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-issta-banquet-venue" class="navigate">Restaurant: Zaalverhuur Pakhuis de Zwijger</a><br><a href="https://2018.ecoop.org/venue/ecoop-issta-2018-ecoop-banquet-venue" class="navigate">Restaurant: De Koninklijke Industrieele Groote Club</a><br><a href="https://2018.ecoop.org/attending/about" class="navigate">About</a><br><a href="https://2018.ecoop.org/attending/conduct" class="navigate">Conduct</a><br><a href="https://2018.ecoop.org/attending/awards" class="navigate">Awards</a><br><a href="https://2018.ecoop.org/attending/registration" class="navigate">Registration</a><br><a href="https://2018.ecoop.org/attending/program-%40-a-glance" class="navigate">Program @ a Glance</a><br><a href="https://2018.ecoop.org/attending/travel" class="navigate">Travel and Local Info</a><br><a href="https://2018.ecoop.org/attending/visas" class="navigate">Visas</a><br><a href="https://2018.ecoop.org/attending/students" class="navigate">Students</a><br><a href="https://2018.ecoop.org/attending/sponsorship" class="navigate">Sponsorship</a></div><div class="col-sm-2"><div class="fb-follow" data-href="https://www.facebook.com/ECOOPconf" data-layout="button" data-size="small" data-show-faces="true"></div> <div id="fb-root"></div> <script>(function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/en_US/sdk.js#xfbml=1&version=v2.7&appId=341769322635749"; fjs.parentNode.insertBefore(js, fjs); }(document, 'script', 'facebook-jssdk'));</script> <script> function isCarousel() { var isManage; var $id = document.getElementsByTagName('body')[0].id; if($id.indexOf("manage") === 0) { isManage = true; } else{ isManage = false; } var isCarousel = document.getElementsByClassName('carousel'); if (isCarousel.length === 0 && isManage === false) { var html = '<div id="carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="0" class="active"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="1"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="2"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="3"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="4"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="5"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="6"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="7"></li>'; html = html + '<li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="8"></li><li data-target="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide-to="9"></li></ol><div class="carousel-inner" style="background-color: #FFF;">'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/RijksmuseumAmsterdamMuseumplein2.50%2C1.jpg?1444912483000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://en.wikipedia.org/wiki/File:RijksmuseumAmsterdamMuseumplein2.50,1.jpg" target="_blank" class="navigate">Photo by <em>Massimo Catarinella</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item active"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/Amsterdam_Canals_-_July_2006.jpg?1444917214000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:Amsterdam_Canals_-_July_2006.jpg" target="_blank" class="navigate">Photo by <em>David Iliff</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/6327063862_dceed6f0ac_o.jpg?1444921195000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/aD6RDY" target="_blank" class="navigate">Photo by <em>Maurizio Mori</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/KeizersgrachtReguliersgrachtAmsterdam.jpg?1444916650000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:KeizersgrachtReguliersgrachtAmsterdam.jpg" target="_blank" class="navigate">Photo by <em>Massimo Catarinella</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/Amsterdam_Panorama_%288314045614%29.jpg?1444915637000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:Amsterdam_Panorama_(8314045614).jpg" target="_blank" class="navigate">Photo by <em>Steve Collis</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/The_Colours_of_Amsterdam_%288654556257%29.jpg?1444919335000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:The_Colours_of_Amsterdam_(8654556257).jpg" target="_blank" class="navigate">Photo by <em>Lies Thru a Lens</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/Nl_AMS_De_Dam_Pano.jpg?1444916634000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/80x15.png"></a> <a href="https://commons.wikimedia.org/wiki/File:Nl_AMS_De_Dam_Pano.jpg" target="_blank" class="navigate">Photo by <em>Kander</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/5086325695_e97c9d2dd4_o.jpg?1444920980000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/8KsKqB" target="_blank" class="navigate">Photo by <em>Moyan Brenn</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/8520711603_24b7149a23_o.jpg?1444921952000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/dYWSGK" target="_blank" class="navigate">Photo by <em>Bert Kaufmann</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div>'; html = html + '<div class="item"><div class="fill" style="background-image:url(' + "'" + 'https://conf.researchr.org/getImage/ecoop-issta-2018/carousel/5086325483_8f87980817_o.jpg?1444921600000' + "'" + ');"></div><div class="attribution"><a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/80x15.png"></a> <a href="https://flic.kr/p/8KsKmX" target="_blank" class="navigate">Photo by <em>Moyan Brenn</em></a></div><div class="carousel-caption"><h3></h3><h5></h5></div></div></div><a href="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-5f0d7c8b-85fc-4dec-aa22-b07b725e75ca" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div>'; $('.navbar').after(html); } if (isCarousel.length === 1) { $('body').addClass("with-carousel"); } } isCarousel(); $('.carousel').carousel({ interval: 10000}); </script> <script>$(".place2>a").text("ISSTA '18 and others")</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>