CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://conf.researchr.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://conf.researchr.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ISSTA 2018</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://conf.researchr.org";</script> <link rel="stylesheet" href="https://conf.researchr.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/conf.css?e0c92ee5f52769e04d268b7588469bfe" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/getFile/ddb1d9b3-5554-465d-9eaf-da1823d7f695/ISSTA18.css?1521555867095" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script 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> <meta prefix='og: http://ogp.me/ns#' property='og:description' content=' The ACM SIGSOFT International Symposium on Software Testing and Analysis 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 will take place from July 16th to 18th 2018 in Amsterdam. Colocated conferences include ECOOP and Curry On. We are happy to announce that the paper Practical Pluggable Types for Java by Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, and Michael D. Erns ...'> <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 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 name='description' content=' The ACM SIGSOFT International Symposium on Software Testing and Analysis 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 will take place from July 16th to 18th 2018 in Amsterdam. Colocated conferences include ECOOP and Curry On. We are happy to announce that the paper Practical Pluggable Types for Java by Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, and Michael D. Erns ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ISSTA 2018'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><a href="https://conf.researchr.org/blogposts/issta-2018" class="blog-link btn btn-xs btn-default navigate">Write a Blog >></a><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/issta-2018" class="navbar-brand navigate"><span class="brand-text">ISSTA 2018</span></a><div class="place">Sun 15 - Sat 21 July 2018 <a href="https://conf.researchr.org/venue/issta-2018/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://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-issta-sc-meeting-venue" class="navigate">Venue: ISSTA Steering Committee Meeting</a></li><li class="block"><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-aito-gam-venue" class="navigate">Restaurant: Cafe de Jaren</a></li><li class="block"><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-uber-reception-venue" class="navigate">Venue: Uber</a></li><li class="block"><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-venue" class="navigate">Venue: Mövenpick Hotel Amsterdam City Centre</a></li><li class="block"><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-curryon-party-venue" class="navigate">Restaurant: Tobacco Theater</a></li><li class="block"><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-issta-banquet-venue" class="navigate">Restaurant: Zaalverhuur Pakhuis de Zwijger</a></li><li class="block"><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-ecoop-banquet-venue" class="navigate">Restaurant: De Koninklijke Industrieele Groote Club</a></li><li class="block dropdown-header">ECOOP and ISSTA 2018</li><li class="block"><a href="https://conf.researchr.org/attending/issta-2018/registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2018/program-%40-a-glance" class="indent navigate">Program @ a Glance</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2018/travel" class="indent navigate">Travel and Local Info</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2018/visas" class="indent navigate">Visas</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2018/students" class="indent navigate">Students</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2018/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://conf.researchr.org/program/issta-2018/program-issta-2018/" class="navigate">ISSTA Program</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2018/program-issta-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://conf.researchr.org/program/issta-2018/program-issta-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://conf.researchr.org/program/issta-2018/program-issta-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://conf.researchr.org/program/issta-2018/program-issta-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://conf.researchr.org/program/issta-2018/program-issta-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://conf.researchr.org/program/issta-2018/program-issta-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://conf.researchr.org/program/issta-2018/program-issta-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://conf.researchr.org/program/issta-2018/program-issta-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">ISSTA 2018</li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/issta-2018-Artifacts" class="navigate">ISSTA Artifacts</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/issta-2018-Keynotes" class="navigate">ISSTA Keynotes</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/issta-2018-ISSTA-Steering-Committee-Meeting" class="navigate">ISSTA Steering Committee Meeting (By Invitation Only)</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/issta-2018-Technical-Papers" class="navigate">ISSTA Technical Papers</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/issta-2018-demos" class="navigate">ISSTA Tool Demonstrations</a></li><li class="block dropdown-header">ECOOP and ISSTA 2018</li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-doctoral-symposium" class="navigate">Doc Symposium</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-summer-school" class="navigate">Summer School</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-student-volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/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://conf.researchr.org/track/issta-2018/curryon-2018-papers" class="navigate"><strong>CurryOn</strong> Curry On Keynotes</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/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>ECOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2018.ecoop.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ECOOP</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-2018-artifacts" class="navigate"><strong>ECOOP</strong> Artifacts</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-2018-Keynotes" class="navigate"><strong>ECOOP</strong> Keynotes</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-2018-papers" class="navigate"><strong>ECOOP</strong> Research Papers</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ecoop-2018-Journal-First" class="navigate"><strong>ECOOP</strong> Journal-First</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/benchwork-2018-talks" class="navigate"><strong>BenchWork</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/COP-2018-papers" class="navigate"><strong>COP</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/dpa-2018-papers" class="navigate"><strong>DPA</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/FTfJP-2018-papers" class="navigate"><strong>FTfJP</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ICOOOLPS-2018-papers" class="navigate"><strong>ICOOOLPS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/intuitestbeds-2018-papers" class="navigate"><strong>INTUITESTBEDS</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/isagt-2018-papers" class="navigate"><strong>ISAGT</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/ML4PL-2018-papers" class="navigate"><strong>ML4PL</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/panathon-2018" class="navigate"><strong>Panathon</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/salad-2018-papers" class="navigate"><strong>SALAD</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/SOAP-2018-papers" class="navigate"><strong>SOAP</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/tavcpsiot-2018-papers" class="navigate"><strong>TAV-CPS/IoT</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/vortex-2018-papers" class="navigate"><strong>VORTEX</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2018/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">ISSTA 2018 Committees</li><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 dropdown-header">Track Committees </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><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://conf.researchr.org/people-index/issta-2018" 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>ECOOP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2018.ecoop.org/committee/ecoop-2018-organizing-committee" class="navigate">Organizing Committee</a></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></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://conf.researchr.org/search/issta-2018//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://conf.researchr.org/series/issta" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/home/issta-2025" class="navigate">ISSTA 2025</a></li><li class="block"><a href="https://2024.issta.org" class="navigate">ISSTA 2024</a></li><li class="block"><a href="https://2023.issta.org" class="navigate">ISSTA 2023</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2022" class="navigate">ISSTA 2022</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2021" class="navigate">ISSTA 2021</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2020" class="navigate">ISSTA 2020</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2019" class="navigate">ISSTA 2019</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ISSTA 2018</span></li><li class="block"><a href="https://conf.researchr.org/home/issta-2017" class="navigate">ISSTA 2017</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/issta-2018/https%3A%5Es%5Esconf.researchr.org%5Eshome%5Esissta-2018" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/issta-2018" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h1>ISSTA 2018</h1></div><img style="float:left; width:200px; margin-top: 5px; margin-right:20px; margin-bottom:20px;" src="https://conf.researchr.org/getImage/issta-2018/orig/issta-Amstr-final-square.png"><p style="margin-top: 10px;">The <strong>ACM SIGSOFT International Symposium on Software Testing and Analysis</strong> is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.</p><p>ISSTA will take place from <strong>July 16th to 18th 2018</strong> in Amsterdam. Colocated conferences include <a href="https://2018.ecoop.org">ECOOP</a> and <a href="http://www.curry-on.org">Curry On</a>. </p><table style="width:100%"> </table> <hr> <p>We are happy to announce that the paper <strong>Practical Pluggable Types for Java</strong> by Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, and Michael D. Ernst, published in the ISSTA 2008 proceedings, has been selected to receive the <strong>ISSTA 2018 Impact Paper Award</strong>. <a href="https://homes.cs.washington.edu/~mernst/"><strong>Michael Ernst</strong></a> will be giving a keynote presentation at ISSTA 2018, related to the ISSTA 2008 paper. See the <a href="https://conf.researchr.org/event/issta-2018/issta-2018-keynotes-pluggable-type-systems-10-years-later">keynote page</a> for more details.</p> <hr> <p>We are happy to announce that the paper <strong>Test Input Generation With Java PathFinder</strong> by Willem Visser, Corina S. Pǎsǎreanu, and Sarfraz Khurshid, published in the ISSTA 2004 proceedings, has been selected to receive the <strong>ISSTA 2018 Retrospective Impact Paper Award</strong>. The authors will be giving a keynote presentation at ISSTA 2018, related to the ISSTA 2004 paper. See the <a href="https://conf.researchr.org/event/issta-2018/issta-2018-keynotes-test-input-generation-with-java-pathfinder-then-and-now">keynote page</a> for more details.</p> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Program @ Glance</h3></div><style type="text/css"> .tg {border-collapse:collapse;border-spacing:0;table-layout: fixed;} .tg td{font-family:Arial, sans-serif;font-size:14px;padding:10px 5px;border-style:solid;border-width:1px;overflow:hidden;word-break:normal;width: 16%;} .tg th{font-family:Arial, sans-serif;font-size:14px;font-weight:normal;padding:10px 5px;border-style:solid;border-width:1px;overflow:hidden;word-break:normal;} .tg .tg-kpbj{font-weight:bold;background-color:#cd9934;color:#ffffff;text-align:center;vertical-align:top} .tg .tg-n1xd{background-color:#efefef;color:#333333;vertical-align:top} .tg .tg-igm7{font-weight:bold;background-color:#6200c9;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-ql65{font-weight:bold;background-color:#963400;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-dztc{font-weight:bold;background-color:#984D7F;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-8987{font-weight:bold;background-color:#3531ff;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-dk91{font-weight:bold;background-color:#3166ff;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-y5mu{font-weight:bold;background-color:#34cdf9;color:#ffffff;text-align:center;vertical-align:middle} .tg .tg-yw4l{font-weight:bold;background-color:#bbdaff;color:#ffffff;text-align:center;vertical-align:middle} </style> <table class="tg"> <tbody><tr> <th class="tg-n1xd">Sunday, July 15</th> <th class="tg-n1xd">Monday, July 16</th> <th class="tg-n1xd">Tuesday, July 17</th> <th class="tg-n1xd">Wednesday, July 18</th> <th class="tg-n1xd">Thursday, July 19</th> <th class="tg-n1xd">Friday, July 20</th> <th class="tg-n1xd">Saturday, July 21</th> </tr> <tr> <td class="tg-dztc" colspan="7"><a class="tg-dztc" href="https://conf.researchr.org/track/ecoop-issta-2018/ecoop-issta-2018-summer-school">Summer School</a></td> </tr> <tr> <td class="tg-us36" rowspan="2"></td> <td class="tg-kpbj" colspan="3"><a class="tg-kpbj" href="https://conf.researchr.org/home/issta-2018">ISSTA</a></td> <td class="tg-igm7" colspan="3" rowspan="2"><a class="tg-igm7" href="https://2018.ecoop.org/">ECOOP</a></td> </tr> <tr> <td class="tg-ql65" colspan="2"><a class="tg-ql65" href="http://www.curry-on.org">Curry On</a></td> <td class="tg-dztc"><a class="tg-dztc" href="https://conf.researchr.org/track/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium">Doctoral Symposium</a></td> </tr> <tr> <td class="tg-us36" rowspan="5"></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/COP-2018-papers">COP</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/ICOOOLPS-2018-papers">ICOOOLPS</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/benchwork-2018-talks">BenchWork</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/panathon-2018">Panathon</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/SOAP-2018-papers">SOAP</a></td> <td class="tg-us36" rowspan="4"></td> </tr> <tr> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/dpa-2018-papers">DPA</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/salad-2018-papers">SALAD</a></td> </tr> <tr> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers">FTfJP</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers">VORTEX</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/wossca-2018-papers">WoSSCA</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/tavcpsiot-2018-papers">TAV-CPS/IoT</a></td> <td class="tg-y5mu" rowspan="2"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/isagt-2018-papers">ISAGT</a></td> </tr> <tr> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers">ML4PL</a></td> <td class="tg-y5mu"><a class="tg-y5mu" href="https://conf.researchr.org/track/ecoop-issta-2018/intuitestbeds-2018-papers">INTUITESTBEDS</a></td> </tr> <tr> <td class="tg-ql65">Curry On Party</td> <td class="tg-kpbj">ISSTA Banquet</td> <td class="tg-dztc">Poster Reception</td> <td></td> <td class="tg-igm7">ECOOP Banquet</td> </tr> </tbody></table> </div></div><div class="row"><div class="col-sm-12"><h3>Keynotes at ISSTA</h3><div id="bf298f7bbbe416da05bb88db4a7c1a6fwrapper"><div id="bf298f7bbbe416da05bb88db4a7c1a6f"><a href="https://conf.researchr.org/details/issta-2018/issta-2018-Keynotes/5/Pluggable-Type-Systems-Reconsidered" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Michael D. Ernst" src="https://conf.researchr.org/getProfileImage/michaeldernst/6d7dfaf3-2bc9-4c96-b10f-ebc1072bf1fe/avatar.jpg?1711501674000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Pluggable Type Systems Reconsidered</h5><h6><i>Michael D. Ernst</i></h6></div></div></div></a><a href="https://conf.researchr.org/details/issta-2018/issta-2018-Keynotes/1/Test-input-generation-with-Java-PathFinder-Then-and-Now" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Willem Visser" src="https://conf.researchr.org/getProfileImage/willemvisser/ef99d6e1-c8a9-4b01-9d3b-4ee54186fe16/avatar.jpg?1711461876000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Test input generation with Java PathFinder: Then and Now</h5><h6><i>Willem Visser, Sarfraz Khurshid, Corina S. Păsăreanu</i></h6></div></div></div></a><a href="https://conf.researchr.org/details/issta-2018/issta-2018-Keynotes/7/Solver-Aided-Programming-for-All" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Emina Torlak" src="https://conf.researchr.org/getProfileImage/eminatorlak/1158cc2a-0a41-4379-9c5d-b89b73ed8291/avatar.jpg?1711475815000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Solver-Aided Programming for All</h5><h6><i>Emina Torlak</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#bf298f7bbbe416da05bb88db4a7c1a6f").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#bf298f7bbbe416da05bb88db4a7c1a6fwrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#bf298f7bbbe416da05bb88db4a7c1a6f .' + cl + ',#bf298f7bbbe416da05bb88db4a7c1a6f .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#bf298f7bbbe416da05bb88db4a7c1a6f .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Workshops</h3></div><p>We are pleased to announce the following workshops:</p> <ul> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/COP-2018-papers"><strong>COP</strong></a> 10th International Workshop on Context-Oriented Programming</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/benchwork-2018-talks"><strong>BenchWork</strong></a> First Workshop on Reproducible Experiments and Benchmarking</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/dpa-2018-papers"><strong>DPA</strong></a> First Workshop on Declarative Program Analysis</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers"><strong>FTfJP</strong></a> 20th Workshop on Formal Techniques for Java-like Programs</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/ICOOOLPS-2018-papers"><strong>ICOOOLPS</strong></a> 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/intuitestbeds-2018-papers"><strong>INTUITESTBEDS</strong></a> 4th Workshop on User Interface Test Automation, and 8th Workshop on TESting Techniques for event BasED Software.</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/isagt-2018-papers"><strong>ISAGT</strong></a> Introspective Systems for Automatically Generating Tests</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers"><strong>ML4PL</strong></a> 2nd International Workshop on Machine Learning for Programming Languages</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/panathon-2018"><strong>Panathon</strong></a> Program analysis hackathon</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/salad-2018-papers"><strong>SALAD</strong></a> First International Workshop on SoftwAre debLoating And Delayering  </li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/SOAP-2018-papers"><strong>SOAP</strong></a> 7th International Workshop on the State Of the Art in Program Analysis</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/tavcpsiot-2018-papers"><strong>TAV-CPS/IoT</strong></a> Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers"><strong>VORTEX</strong></a> Runtime verification Workshop</li> <li><a href="https://conf.researchr.org/track/ecoop-issta-2018/wossca-2018-papers"><strong>WoSSCA</strong></a> First International Workshop on Speculative Side Channel Analysis</li> </ul> </div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> ISSTA 2018 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://conf.researchr.org/track/issta-2018/issta-2018-Artifacts" class="text-muted navigate">ISSTA Artifacts</a> | <a href="https://conf.researchr.org/track/issta-2018/issta-2018-Keynotes" class="text-muted navigate">ISSTA Keynotes</a> | <a href="https://conf.researchr.org/track/issta-2018/issta-2018-ISSTA-Steering-Committee-Meeting" class="text-muted navigate">ISSTA Steering Committee Meeting (By Invitation Only)</a> | <a href="https://conf.researchr.org/track/issta-2018/issta-2018-Technical-Papers" class="text-muted navigate">ISSTA Technical Papers</a> | <a href="https://conf.researchr.org/track/issta-2018/issta-2018-demos" class="text-muted navigate">ISSTA Tool Demonstrations</a> | <a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-doctoral-symposium" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Doctoral Symposium</a> | <a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-summer-school" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Summer School</a> | <a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-student-volunteers" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Student Volunteers</a> | <a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-workshops" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Workshops</a> | <a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-posters" title="From ECOOP and ISSTA 2018" class="text-muted navigate">Posters</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="http://nsf.gov" title="NSF" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="NSF" src="https://conf.researchr.org/getLogo/e750b880-3de6-4cf0-93bd-9dd1782d5dd6?1514330053000" class="outputimage"/></span></td><td>Platinum</td></tr><tr href="https://www.onr.navy.mil" title="ONR" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ONR" src="https://conf.researchr.org/getLogo/41400686-47c1-407b-b266-31d4c9da9cce?1524819877000" class="outputimage"/></span></td><td>Platinum</td></tr><tr href="https://www.facebook.com/" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://conf.researchr.org/getLogo/fed11d86-a8f9-42ae-a08c-4996a99bcd8f?1513948652000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.vmware.com" title="VMware" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="VMware" src="https://conf.researchr.org/getLogo/1368bb18-6f67-4d59-ac8a-278935daabf3?1518430402000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="http://www.google.com" title="Google" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Google" src="https://conf.researchr.org/getLogo/a2776e4b-6c76-4ab7-aeb7-ac271b34c8a2?1524761075000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://mozilla.ninja" title="Mozilla" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Mozilla" src="https://conf.researchr.org/getLogo/c8b83210-685d-4fc3-b9f7-cbd14ab81520?1513948976000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://semmle.com/" title="Semmle" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Semmle" src="https://conf.researchr.org/getLogo/a45f5966-43d7-434e-b8e5-1886fde1cdc6?1529930230000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://www.uber.com" title="Uber" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Uber" src="https://conf.researchr.org/getLogo/e5366e05-ee90-4c07-9aea-58722cc6a800?1529005913000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://acm.org" title="ACM" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ACM" src="https://conf.researchr.org/getLogo/7098b0e5-aec0-4580-8c29-6b9bb3b7ee06?1524819932000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="http://www.sigsoft.org/index.html" title="SIGSOFT" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="SIGSOFT" src="https://conf.researchr.org/getLogo/ff1f2978-562a-4989-968d-4bdc71621d80?1524819936000" class="outputimage"/></span></td><td>Sponsor</td></tr></table></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 29 Nov 08:31</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="issta-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://conf.researchr.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"issta-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://conf.researchr.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="issta-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://conf.researchr.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"issta-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://conf.researchr.org/home/issta-2018" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA 2018</a></h3><div><a href="https://conf.researchr.org/contact/issta-2018" 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.67.1</a>)<br/><small><a href="https://conf.researchr.org/support/issta-2018" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://conf.researchr.org/track/issta-2018/issta-2018-Artifacts" class="navigate">ISSTA Artifacts</a><br/><a href="https://conf.researchr.org/track/issta-2018/issta-2018-Keynotes" class="navigate">ISSTA Keynotes</a><br/><a href="https://conf.researchr.org/track/issta-2018/issta-2018-ISSTA-Steering-Committee-Meeting" class="navigate">ISSTA Steering Committee Meeting (By Invitation Only)</a><br/><a href="https://conf.researchr.org/track/issta-2018/issta-2018-Technical-Papers" class="navigate">ISSTA Technical Papers</a><br/><a href="https://conf.researchr.org/track/issta-2018/issta-2018-demos" class="navigate">ISSTA Tool Demonstrations</a><br/><br/><h4>ECOOP and ISSTA 2018</h4><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-doctoral-symposium" class="navigate">Doc Symposium</a><br/><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-summer-school" class="navigate">Summer School</a><br/><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://conf.researchr.org/track/issta-2018/ecoop-issta-2018-workshops" class="navigate">Workshops</a><br/><a href="https://conf.researchr.org/track/issta-2018/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://2018.ecoop.org" class="navigate">ECOOP 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://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-issta-sc-meeting-venue" class="navigate">Venue: ISSTA Steering Committee Meeting</a><br><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-aito-gam-venue" class="navigate">Restaurant: Cafe de Jaren</a><br><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-uber-reception-venue" class="navigate">Venue: Uber</a><br><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-venue" class="navigate">Venue: Mövenpick Hotel Amsterdam City Centre</a><br><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-curryon-party-venue" class="navigate">Restaurant: Tobacco Theater</a><br><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-issta-banquet-venue" class="navigate">Restaurant: Zaalverhuur Pakhuis de Zwijger</a><br><a href="https://conf.researchr.org/venue/issta-2018/ecoop-issta-2018-ecoop-banquet-venue" class="navigate">Restaurant: De Koninklijke Industrieele Groote Club</a><br><a href="https://conf.researchr.org/attending/issta-2018/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/issta-2018/program-%40-a-glance" class="navigate">Program @ a Glance</a><br><a href="https://conf.researchr.org/attending/issta-2018/travel" class="navigate">Travel and Local Info</a><br><a href="https://conf.researchr.org/attending/issta-2018/visas" class="navigate">Visas</a><br><a href="https://conf.researchr.org/attending/issta-2018/students" class="navigate">Students</a><br><a href="https://conf.researchr.org/attending/issta-2018/sponsorship" class="navigate">Sponsorship</a></div><div class="col-sm-2"><div class="fb-follow" data-href="https://www.facebook.com/isstaconf" 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("ECOOP '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; var defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, container: false, sanitize: false}); $('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>