CINXE.COM
Evaluation Committee - ISSTA 2019
<!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>Evaluation Committee - ISSTA 2019</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?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/getFile/2fbd59ac-4de1-43fb-a01b-2bfd9d835dc9/ISSTA18.css?1531899898589" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script 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">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Evaluation Committee - ISSTA 2019'> <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:image' content='https://conf.researchr.org/getImage/issta-2019/carousel/photo1.jpg?1530153199000'> <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 2019 will be held in Beijing, China, on July 15-19, 2019. ISSTA 2019 will be co-located with SPIN 2019, Testing Competition and Diversity@ISSTA - Ada workshop. ISSTA 2019 will be held in Crowne Plaza Beijing Zhongguancun. Zhongguancun is known as China’s Silicon Valley and China’ ...'> <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 2019 will be held in Beijing, China, on July 15-19, 2019. ISSTA 2019 will be co-located with SPIN 2019, Testing Competition and Diversity@ISSTA - Ada workshop. ISSTA 2019 will be held in Crowne Plaza Beijing Zhongguancun. Zhongguancun is known as China’s Silicon Valley and China’ ...'> <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="committee"><div class="frame"><div class="logobar"><div class="container"><a href="https://conf.researchr.org/home/issta-2019" class="navbar-brand navigate"><span class="brand-text">ISSTA 2019</span></a><div class="place">Mon 15 - Fri 19 July 2019 <a href="https://conf.researchr.org/venue/issta-2019/issta-2019-venue" class="navigate">Beijing, China</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-2019/issta-2019-venue" class="navigate">Venue: Crowne Plaza Beijing Zhongguancun</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2019/issta-2019-visas" class="navigate">Visa</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2019/issta-2019-excursion" class="navigate">Excursion</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2019/conduct" class="navigate">Conduct</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2019/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://conf.researchr.org/attending/issta-2019/Travel+and+Local+Info" class="navigate">Transportation Instructions</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-2019/program-issta-2019/" class="navigate">ISSTA Program</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2019/program-issta-2019/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block"><a href="https://conf.researchr.org/info/issta-2019/program%40glance" class="navigate">Program@Glance</a></li><li class="block divider"></li><li class="block"><a href="https://conf.researchr.org/program/issta-2019/program-issta-2019/" data-fltr-type="date" data-fltr-val="Mon 15 Jul 2019" class="navigate">Mon 15 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2019/program-issta-2019/" data-fltr-type="date" data-fltr-val="Tue 16 Jul 2019" class="navigate">Tue 16 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2019/program-issta-2019/" data-fltr-type="date" data-fltr-val="Wed 17 Jul 2019" class="navigate">Wed 17 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2019/program-issta-2019/" data-fltr-type="date" data-fltr-val="Thu 18 Jul 2019" class="navigate">Thu 18 Jul</a></li><li class="block"><a href="https://conf.researchr.org/program/issta-2019/program-issta-2019/" data-fltr-type="date" data-fltr-val="Fri 19 Jul 2019" class="navigate">Fri 19 Jul</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ISSTA 2019</li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Technical-Papers" class="navigate">Technical Papers</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-TAV-CPS-IoT-2019" class="navigate">Workshop – TAV-CPS/IoT</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Doctoral-Symposium-" class="navigate">Doctoral Symposium </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Artifact-Evaluation-" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Tool-demonstrations" class="navigate">Tool Demonstration</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Workshop" class="navigate">Workshops</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-ISSTA-Student-Volunteers-" class="navigate">Student Volunteers </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Summer-School" class="navigate">Summer School</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Keynote" class="navigate">Keynote</a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/issta-2019-ISSTA-Streering-Committee-Meeting" class="navigate">ISSTA Steering Committee Meeting</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="block"><a href="https://conf.researchr.org/track/spin-2019/spin-2019-papers" class="navigate"><strong>SPIN</strong> 26th International SPIN Symposium on Model Checking of Software</a></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Diversity @ ISSTA - The Ada Workshop</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/track/issta-2019/adaws-2019-papers" class="navigate"><strong>Diversity @ ISSTA - The Ada Workshop</strong> </a></li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/adaws-2019-Program" class="navigate"><strong>Diversity @ ISSTA - The Ada Workshop</strong> Tentative Agenda</a></li></ul></li><li class="block dropdown-header">Co-hosted Competitions</li><li class="block"><a href="https://conf.researchr.org/track/issta-2019/isstatestcomp-2019-papers" class="navigate"><strong>Testing Competition</strong> Testing Competition</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 2019 Committees</li><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/issta-2019-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-2019/issta-2019-technical-papers-program-committee" class="navigate"><strong>Technical Papers</strong></a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Workshop – TAV-CPS/IoT</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/issta-2019-tav-cps-iot-2019-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/issta-2019-tav-cps-iot-2019-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/issta-2019-doctoral-symposium--program-committee" class="navigate"><strong>Doctoral Symposium </strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/issta-2019-papers-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/issta-2019-tool-demonstrations-program-committee" class="navigate"><strong>Tool Demonstration</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://conf.researchr.org/people-index/issta-2019" 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>SPIN</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/spin-2019/spin-2019-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/spin-2019/spin-2019-organizing-committee-2" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/spin-2019/spin-2019-papers-program-committee" class="navigate">Program Committee</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>Diversity @ ISSTA - The Ada Workshop</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/adaws-2019-papers-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Competitions</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Testing Competition</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/issta-2019/isstatestcomp-2019-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-2019//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"></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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ISSTA 2019</span></li><li class="block"><a href="https://conf.researchr.org/home/issta-2018" class="navigate">ISSTA 2018</a></li><li class="block"><a href="https://conf.researchr.org/home/issta-2017" class="navigate">ISSTA 2017</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/issta-2019/https%3A%5Es%5Esconf.researchr.org%5Escommittee%5Esissta-2019%5Esissta-2019-papers-evaluation-committee" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://conf.researchr.org/signup/issta-2019" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><script type="text/javascript">$( "a[data-hashtab]" ).each(function() { var _href = $(this).attr("href"); var _hash = "#" + $(this).attr("data-hashtab").replace(/(\W|\s)+/g, "-"); $(this).attr("href", _href + _hash); }); </script><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/issta-2019" class="navigate">ISSTA 2019</a> (<a href="https://conf.researchr.org/series/issta" class="navigate">series</a>) / </span><span class="text-muted small"><span class="glyphicon glyphicon-road"></span> <a href="https://conf.researchr.org/track/issta-2019/issta-2019-Artifact-Evaluation-" class="navigate">Artifact Evaluation</a> / </span><h1>Evaluation Committee <small>ISSTA Artifact Evaluation</small><span class="pull-right"></span></h1></div><div class="row"><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/michaelpradel" class="navigate"><div class="media"><span class="pull-left"><img alt="Michael Pradel" src="https://conf.researchr.org/getProfileImage/michaelpradel/1bd5473d-a735-4484-b615-d66fec1ad641/small-avatar.jpg?1726129734000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Michael Pradel <small>Artifact Evaluation Chair</small></h3><h4 class="media-heading"><span class="text-black">TU Darmstadt and Facebook</span></h4><h4 class="media-heading"><small>Germany</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/danhao" class="navigate"><div class="media"><span class="pull-left"><img alt="Dan Hao" src="https://conf.researchr.org/getProfileImage/danhao/8506f2e6-b63a-4c78-8ede-52f2662f5ce8/small-avatar.jpg?1711479914000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Dan Hao <small>Artifact Evaluation Chair</small></h3><h4 class="media-heading"><span class="text-black">Peking University</span></h4><h4 class="media-heading"><small>China</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/sabaalimadadi" class="navigate"><div class="media"><span class="pull-left"><img alt="Saba Alimadadi" src="https://conf.researchr.org/getProfileImage/sabaalimadadi/6cc056b5-cdcd-4041-a6e1-60d0ed8f9792/small-avatar.jpg?1711486484000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Saba Alimadadi <small></small></h3><h4 class="media-heading"><span class="text-black">Northeastern University</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/farnazbehrang" class="navigate"><div class="media"><span class="pull-left"><img alt="Farnaz Behrang" src="https://conf.researchr.org/getProfileImage/farnazbehrang/4c9d337e-180c-4b3a-af9f-0255c5bc6474/small-avatar.jpg?1717105700000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Farnaz Behrang <small></small></h3><h4 class="media-heading"><span class="text-black">Georgia Institute of Technology</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/junjiechen" class="navigate"><div class="media"><span class="pull-left"><img alt="Junjie Chen" src="https://conf.researchr.org/getProfileImage/junjiechen/6d583ac2-bd57-4611-bb6b-3701afdfad2b/small-avatar.jpg?1711458891000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Junjie Chen <small></small></h3><h4 class="media-heading"><span class="text-black">Peking University</span></h4><h4 class="media-heading"><small>China</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/jurgencito" class="navigate"><div class="media"><span class="pull-left"><img alt="Jürgen Cito" src="https://conf.researchr.org/getProfileImage/jurgencito/c7d56540-6a98-4996-b94c-22ce6922951d/small-avatar.jpg?1711453903000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Jürgen Cito <small></small></h3><h4 class="media-heading"><span class="text-black">MIT</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/xuanbachdle" class="navigate"><div class="media"><span class="pull-left"><img alt="Xuan Bach D. Le" src="https://conf.researchr.org/getProfileImage/xuanbachdle/e64bdf2c-3bb3-412f-ae92-6ee58da9e09a/small-avatar.jpg?1711539739000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Xuan Bach D. Le <small></small></h3><h4 class="media-heading"><span class="text-black">Carnegie Mellon University</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/mattiafazzini" class="navigate"><div class="media"><span class="pull-left"><img alt="Mattia Fazzini" src="https://conf.researchr.org/getProfileImage/mattiafazzini/622310d6-4463-46f3-a97f-2555be1011ab/small-avatar.jpg?1711466447000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Mattia Fazzini <small></small></h3><h4 class="media-heading"><span class="text-black">Georgia Institute of Technology</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/tianxiaogu" class="navigate"><div class="media"><span class="pull-left"><img alt="Tianxiao Gu" src="https://conf.researchr.org/getProfileImage/tianxiaogu/fbfce96c-6278-4668-be30-5b816ab77717/small-avatar.jpg?1711461047000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Tianxiao Gu <small></small></h3><h4 class="media-heading"><span class="text-black">Alibaba Group</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/yanyanjiang" class="navigate"><div class="media"><span class="pull-left"><img alt="Yanyan Jiang" src="https://conf.researchr.org/getProfileImage/yanyanjiang/bde02d87-d26a-49be-bd4e-be808750ea99/small-avatar.jpg?1711737964000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Yanyan Jiang <small></small></h3><h4 class="media-heading"><span class="text-black">Nanjing University</span></h4><h4 class="media-heading"><small>China</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/yunhokim" class="navigate"><div class="media"><span class="pull-left"><img alt="Yunho Kim" src="https://conf.researchr.org/getProfileImage/yunhokim/88ec5955-55bb-419d-acea-ad5eac9becf6/small-avatar.jpg?1711509671000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Yunho Kim <small></small></h3><h4 class="media-heading"><span class="text-black">KAIST</span></h4><h4 class="media-heading"><small>Korea, South</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/sonalmahajan" class="navigate"><div class="media"><span class="pull-left"><img alt="Sonal Mahajan" src="https://conf.researchr.org/getProfileImage/sonalmahajan/53d9337b-002b-48c2-a3c7-b3c3ecf0be3b/small-avatar.jpg?1711702691000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Sonal Mahajan <small></small></h3><h4 class="media-heading"><span class="text-black">Fujitsu Laboratories of America, Inc.</span></h4><h4 class="media-heading"><small>United States</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/lisanguyenquangdo" class="navigate"><div class="media"><span class="pull-left"><img alt="Lisa Nguyen Quang Do" src="https://conf.researchr.org/getProfileImage/lisanguyenquangdo/08ff4b26-3d5e-445b-96f1-be0463fc5e40/small-avatar.jpg?1711468889000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Lisa Nguyen Quang Do <small></small></h3><h4 class="media-heading"><span class="text-black">Paderborn University</span></h4><h4 class="media-heading"><small>Germany</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/raziehnokhbehzaeem" class="navigate"><div class="media"><span class="pull-left"><img alt="Razieh Nokhbeh Zaeem" src="https://conf.researchr.org/getProfileImage/raziehnokhbehzaeem/76cd5cc4-9ba1-42e7-bc6b-64224c6e19e7/small-avatar.jpg?1711573494000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Razieh Nokhbeh Zaeem <small></small></h3><h4 class="media-heading"><span class="text-black">The University of Texas at Austin</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/tylersorensen" class="navigate"><div class="media"><span class="pull-left"><img alt="Tyler Sorensen" src="https://conf.researchr.org/getProfileImage/tylersorensen/e962b306-dca0-48d5-8dc6-ce5e7124a7ba/small-avatar.jpg?1711562971000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Tyler Sorensen <small></small></h3><h4 class="media-heading"><span class="text-black">Imperial College London</span></h4><h4 class="media-heading"><small>United Kingdom</small></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/yinxingxue" class="navigate"><div class="media"><span class="pull-left"><img alt="small-avatar" src="https://conf.researchr.org/getDefaultImage/small-avatar?1403689208000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Yinxing Xue <small></small></h3><h4 class="media-heading"><span class="text-black"></span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/jiezhang2" class="navigate"><div class="media"><span class="pull-left"><img alt="small-avatar" src="https://conf.researchr.org/getDefaultImage/small-avatar?1403689208000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Jie Zhang <small></small></h3><h4 class="media-heading"><span class="text-black">UCL</span></h4></div></div></a></div><div class="col-sm-6"><a href="https://conf.researchr.org/profile/issta-2019/manzhang" class="navigate"><div class="media"><span class="pull-left"><img alt="Man Zhang" src="https://conf.researchr.org/getProfileImage/manzhang/684a5b36-7627-4410-9162-ed8f15a9b7e3/small-avatar.jpg?1711472365000" class="outputimage media-object thumbnail portrait-small"/></span><div class="media-body"><h3 class="media-heading">Man Zhang <small></small></h3><h4 class="media-heading"><span class="text-black">Kristiania University</span></h4></div></div></a></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 26 Feb 12:43</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-2019" /><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-2019"},],"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-2019" /><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-2019"},],"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-2019" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA 2019</a></h3><div><a href="https://conf.researchr.org/contact/issta-2019" 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://conf.researchr.org/support/issta-2019" 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-2019/issta-2019-Technical-Papers" class="navigate">Technical Papers</a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-TAV-CPS-IoT-2019" class="navigate">Workshop – TAV-CPS/IoT</a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Doctoral-Symposium-" class="navigate">Doctoral Symposium </a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Artifact-Evaluation-" class="navigate">Artifact Evaluation</a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Tool-demonstrations" class="navigate">Tool Demonstration</a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Workshop" class="navigate">Workshops</a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-ISSTA-Student-Volunteers-" class="navigate">Student Volunteers </a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Summer-School" class="navigate">Summer School</a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-Keynote" class="navigate">Keynote</a><br/><a href="https://conf.researchr.org/track/issta-2019/issta-2019-ISSTA-Streering-Committee-Meeting" class="navigate">ISSTA Steering Committee Meeting</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/track/spin-2019/spin-2019-papers" class="navigate">SPIN 2019</a><br/><h4>Workshops</h4><a href="https://conf.researchr.org/track/issta-2019/adaws-2019-papers" class="navigate">Diversity @ ISSTA - The Ada Workshop</a><br/><h4>Co-hosted Competitions</h4><a href="https://conf.researchr.org/track/issta-2019/isstatestcomp-2019-papers" class="navigate">Testing Competition</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/issta-2019/issta-2019-venue" class="navigate">Venue: Crowne Plaza Beijing Zhongguancun</a><br><a href="https://conf.researchr.org/attending/issta-2019/issta-2019-visas" class="navigate">Visa</a><br><a href="https://conf.researchr.org/attending/issta-2019/issta-2019-excursion" class="navigate">ISSTA 2019 Beijing Culture Daytrips</a><br><a href="https://conf.researchr.org/attending/issta-2019/conduct" class="navigate">Conduct</a><br><a href="https://conf.researchr.org/attending/issta-2019/Registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/issta-2019/Travel+and+Local+Info" class="navigate">Transportation Instructions</a></div><div class="col-sm-2"><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></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>