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>Tevfik Bultan - ISSTA 2020</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/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://conf.researchr.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://conf.researchr.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script 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 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-2020/carousel/LosAngeles05.jpg?1570610760000'> <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 2020 will be held on July 18-22, 2020. 05/19/2020 update: Due to the COVID-19 situation, ISSTA 2020 will no longer held in person in Los Angeles. Instead, we are organizing a virtual conference. The list of accepted papers for the technical track is available at: https://conf.resear ...'> <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 2020 will be held on July 18-22, 2020. 05/19/2020 update: Due to the COVID-19 situation, ISSTA 2020 will no longer held in person in Los Angeles. Instead, we are organizing a virtual conference. The list of accepted papers for the technical track is available at: https://conf.resear ...'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='Tevfik Bultan - ISSTA 2020'> <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="profile"><div class="frame"><a href="https://conf.researchr.org/blogposts/issta-2020" 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-2020" class="navbar-brand navigate"><span class="brand-text">ISSTA 2020</span></a><div class="place">Sat 18 - Wed 22 July 2020 <a href="https://conf.researchr.org/venue/issta-2020/issta-2020-venue%09" class="navigate"></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><a href="https://conf.researchr.org/venue/issta-2020/issta-2020-venue%09" class="navigate">Venue: Virtual</a></li><li><a href="https://conf.researchr.org/attending/issta-2020/registration" class="navigate">Registration</a></li><li><a href="https://conf.researchr.org/attending/issta-2020/code-of-conduct" class="navigate">Code of Conduct</a></li><li><a href="https://conf.researchr.org/attending/issta-2020/program" class="navigate">Program Outline</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Sponsorship <span class="caret"></span></a><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/info/issta-2020/sponsorship" class="navigate">Call for Sponsorship</a></li><li><a href="https://conf.researchr.org/info/issta-2020/sponsors" class="navigate">Sponsors and Supports</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><a href="https://conf.researchr.org/program/issta-2020/program-issta-2020/" class="navigate">ISSTA Program</a></li><li><a href="https://conf.researchr.org/program/issta-2020/program-issta-2020/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li><a href="https://conf.researchr.org/info/issta-2020/awards" class="navigate">Awards</a></li><li><a href="https://conf.researchr.org/program/issta-2020/program-issta-2020/" data-fltr-type="date" data-fltr-val="Sat 18 Jul 2020" class="navigate">Sat 18 Jul</a></li><li><a href="https://conf.researchr.org/program/issta-2020/program-issta-2020/" data-fltr-type="date" data-fltr-val="Sun 19 Jul 2020" class="navigate">Sun 19 Jul</a></li><li><a href="https://conf.researchr.org/program/issta-2020/program-issta-2020/" data-fltr-type="date" data-fltr-val="Mon 20 Jul 2020" class="navigate">Mon 20 Jul</a></li><li><a href="https://conf.researchr.org/program/issta-2020/program-issta-2020/" data-fltr-type="date" data-fltr-val="Tue 21 Jul 2020" class="navigate">Tue 21 Jul</a></li><li><a href="https://conf.researchr.org/program/issta-2020/program-issta-2020/" data-fltr-type="date" data-fltr-val="Wed 22 Jul 2020" class="navigate">Wed 22 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-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="dropdown-header">ISSTA 2020</li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-papers" class="navigate">Technical Papers</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-tool-demonstration" class="navigate">Tool Demonstration</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-student-volunteers" class="navigate">Student Volunteers</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-summer-school" class="navigate">Summer School</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-keynote" class="navigate">Keynote</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-workshops" class="navigate">Workshops</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-wosca" class="navigate">WoSCA</a></li><li><a href="https://conf.researchr.org/track/issta-2020/issta-2020-tav-cps-iot" class="navigate">TAV-CPS/IoT</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-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="dropdown-header">ISSTA 2020 Committees</li><li><a href="https://conf.researchr.org/committee/issta-2020/issta-2020-organizing-committee" class="navigate">Organizing Committee</a></li><li class="dropdown-header">Track Committees </li><li><a href="https://conf.researchr.org/committee/issta-2020/issta-2020-papers-program-committee" class="navigate"><strong>Technical Papers</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-2020/issta-2020-doctoral-symposium-program-committee" class="navigate"><strong>Doctoral Symposium</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-2020/issta-2020-artifact-evaluation-artifact-evaluation-committee" class="navigate"><strong>Artifact Evaluation</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-2020/issta-2020-tool-demonstration-program-committee" class="navigate"><strong>Tool Demonstration</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-2020/issta-2020-wosca-program-committee" class="navigate"><strong>WoSCA</strong></a></li><li><a href="https://conf.researchr.org/committee/issta-2020/issta-2020-tav-cps-iot-program-committee" class="navigate"><strong>TAV-CPS/IoT</strong></a></li><li class="dropdown-header">Contributors</li><li><a href="https://conf.researchr.org/people-index/issta-2020" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div></div></ul></li><li><a href="https://conf.researchr.org/search/issta-2020//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><a href="https://conf.researchr.org/series/issta" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li><a href="https://conf.researchr.org/home/issta-2025" class="navigate">ISSTA 2025</a></li><li><a href="https://2024.issta.org" class="navigate">ISSTA 2024</a></li><li><a href="https://2023.issta.org" class="navigate">ISSTA 2023</a></li><li><a href="https://conf.researchr.org/home/issta-2022" class="navigate">ISSTA 2022</a></li><li><a href="https://conf.researchr.org/home/issta-2021" class="navigate">ISSTA 2021</a></li><li><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ISSTA 2020</span></li><li><a href="https://conf.researchr.org/home/issta-2019" class="navigate">ISSTA 2019</a></li><li><a href="https://conf.researchr.org/home/issta-2018" class="navigate">ISSTA 2018</a></li><li><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><a href="https://conf.researchr.org/signin/issta-2020/https%3A%5Es%5Esconf.researchr.org%5Esprofile%5Esissta-2020%5Estevfikbultan" rel="nofollow" class="navigate">Sign in</a></li><li><a href="https://conf.researchr.org/signup/issta-2020" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="profile-page"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/issta-2020" class="navigate">ISSTA 2020</a> (<a href="https://conf.researchr.org/series/issta" class="navigate">series</a>) / </span>Tevfik Bultan<span class="pull-right profile-context"><div class="btn-group"><button type="button" data-toggle="dropdown" class="btn btn-primary dropdown-toggle">ISSTA 2020 profile <span class="caret"></span></button><ul class="block dropdown-menu"><li><a href="https://conf.researchr.org/profile/tevfikbultan" class="navigate">conf.research.org general profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2018/tevfikbultan" class="navigate">* ICSE 2018 * profile</a></li><li><a href="https://2019.ase-conferences.org/profile/tevfikbultan" class="navigate">ASE 2019 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2021/tevfikbultan" class="navigate">ASE 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2022/tevfikbultan" class="navigate">ASE 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2023/tevfikbultan" class="navigate">ASE 2023 profile</a></li><li><a href="https://conf.researchr.org/profile/ase-2024/tevfikbultan" class="navigate">ASE 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2018/tevfikbultan" class="navigate">ECOOP and ISSTA 2018 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2021/tevfikbultan" class="navigate">ECOOP and ISSTA 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/ecoop-issta-2023/tevfikbultan" class="navigate">ECOOP and ISSTA 2023 profile</a></li><li><a href="https://2018.fseconference.org/profile/tevfikbultan" class="navigate">ESEC/FSE 2018 profile</a></li><li><a href="https://2020.esec-fse.org/profile/tevfikbultan" class="navigate">ESEC/FSE 2020 profile</a></li><li><a href="https://2021.esec-fse.org/profile/tevfikbultan" class="navigate">ESEC/FSE 2021 profile</a></li><li><a href="https://2022.esec-fse.org/profile/tevfikbultan" class="navigate">ESEC/FSE 2022 profile</a></li><li><a href="https://2024.esec-fse.org/profile/tevfikbultan" class="navigate">FSE 2024 profile</a></li><li><a href="https://2019.icse-conferences.org/profile/tevfikbultan" class="navigate">ICSE 2019 profile</a></li><li><a href="https://2020.icse-conferences.org/profile/tevfikbultan" class="navigate">ICSE 2020 profile</a></li><li><a href="https://2021.icse-conferences.org/profile/tevfikbultan" class="navigate">ICSE 2021 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2022/tevfikbultan" class="navigate">ICSE 2022 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2024/tevfikbultan" class="navigate">ICSE 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/icse-2025/tevfikbultan" class="navigate">ICSE 2025 profile</a></li><li><a href="https://conf.researchr.org/profile/icst-2025/tevfikbultan" class="navigate">ICST 2025 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-2017/tevfikbultan" class="navigate">ISSTA 2017 profile</a></li><li><a href="https://conf.researchr.org/profile/issta-ecoop-2024/tevfikbultan" class="navigate">ISSTA/ECOOP 2024 profile</a></li><li><a href="https://conf.researchr.org/profile/nfm-2024/tevfikbultan" class="navigate">NASA Formal Methods 2024 profile</a></li><li><a href="https://pldi16.sigplan.org/profile/tevfikbultan" class="navigate">PLDI 2016 profile</a></li><li><a href="https://pldi23.sigplan.org/profile/tevfikbultan" class="navigate">PLDI 2023 profile</a></li></ul></div></span></div><div class="row"><div class="col-sm-4 col-lg-3"><img alt="Tevfik Bultan" src="https://conf.researchr.org/getProfileImage/tevfikbultan/2b4016d0-c676-4cdb-97cd-e7dfb100839f/small.jpg?1711468148000" class="outputimage thumbnail"/><p><small>Registered user since Mon 23 May 2016</small></p></div><div class="col-sm-8 col-lg-9"><div><div class="profile-item"><span class="profile-item-heading">Name:</span>Tevfik Bultan</div><div class="profile-item"><span class="profile-item-heading">Bio:</span><p>Tevfik Bultan is a Professor and the Chair of the Department of Computer Science at the University of California, Santa Barbara (UCSB). His research interests are in software verification, program analysis, software engineering, and computer security. He has more than 100 refereed research publications and has served on more than 50 technical program committees of international conferences and workshops. He co-chaired the program committees of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011), the 20th International Symposium on the Foundations of Software Engineering (FSE 2012) which is the flagship conference of ACM SIGSOFT, the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) and the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019) which is the premier software engineering conference in the world. He was the general chair of the 2017 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017). He was an associate editor of the IEEE Transactions of Software Engineering (TSE) from 2014 to 2018 and he is currently an associate editor of the ACM Transactions on Software Engineering and Methodology (TOSEM). He is currently serving on the steering committees of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), IEEE/ACM International Conference on Automated Software Engineering (ASE), and ACM/IEEE International Conference on Software Engineering (ICSE). He has served as the vice chair of the Department of Computer Science at UCSB from 2005 to 2009.</p> <p>Tevfik Bultan was a keynote speaker at the 19th International Conference on Concurrency Theory (CONCUR 2008), the 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), the 9th International Symposium on Formal Aspects of Component Software (FACS 2012), the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), and the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016). He received a NATO Science Fellowship from the Scientific and Technical Research Council of Turkey (TUBITAK) in 1993, a Regents’ Junior Faculty Fellowship from the University of California, Santa Barbara in 1999, a Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2000, the ACM SIGSOFT Distinguished Paper Award and the Best Paper Award at the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), the ACM SIGSOFT Distinguished Paper Award at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), and the UCSB Academic Senate Outstanding Graduate Mentor Award in 2016. He was recognized as an ACM Distinguished Scientist in 2016.</p></div><div class="profile-item"><span class="profile-item-heading">Country:</span>United States</div><div class="profile-item"><span class="profile-item-heading">Affiliation:</span>University of California, Santa Barbara</div><div class="profile-item"><span class="profile-item-heading">Personal website:</span><a href="http://www.cs.ucsb.edu/~bultan/" target="_blank" class="navigate"><span class="glyphicon glyphicon-new-window"></span> http://www.cs.ucsb.edu/~bultan/</a></div><div class="profile-item"><span class="profile-item-heading">Research interests:</span>software verification, program analysis, software engineering, computer security</div></div><p><strong>Contributions</strong></p><div id="contributions-timeline"><div><div class="contribution-year"><h3>2020</h3><div><h4>ISSTA</h4><ul class="block"><li><small title="Contributed Item" class="text-muted"><span class="label-default label"><span class="glyphicon glyphicon-file"></span></span></small> <a href="#" data-event-modal="bbe0273c-581f-495c-a8e4-24b751af5506">Feedback-Driven Side-Channel Analysis for Networked Applications</a></li><li><small title="Member of Committee" class="text-muted"><span class="label-primary label"><span class="glyphicon glyphicon-user"></span></span></small> <a href="https://conf.researchr.org/committee/issta-2020/issta-2020-papers-program-committee" class="small navigate" style="margin-left: 0.2em;">Committee Member in Program Committee within the Technical Papers-track</a></li></ul></div></div></div></div><p><span class="glyphicon glyphicon-new-window"></span> <a href="https://conf.researchr.org/profile/tevfikbultan" target="_blank" class="navigate">Show activities from other conferences</a></p><div id="embedWidget" class="webdsl-placeholder"><div class="panel-group"><div class="panel"><div class="panel-heading clearfix"><span class="panel-title"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://conf.researchr.org/profile","embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42", [{"name":"context", "value":"issta-2020"},{"name":"pers", "value":"tevfikbultan"},],"", this.nextSibling, true,"1"); return false;'></button><a submitid="embedProfileWidgetProfile_loadWidget1dd0300bcc92d165b9aa89d52240eca42" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="small btn btn-default"><span class="glyphicon glyphicon-share"></span> Share</a></span></div></div></div></div></div></div><div class="row"><div class="col-sm-12"><span class="pull-right"><span title="You're viewing a conference-specific profile, last updated Fri 7 Aug 2020" class="label-default label"><span class="glyphicon glyphicon-time"></span> ISSTA 2020-profile</span><br><small><a href="https://conf.researchr.org/profile/tevfikbultan" target="_blank" class="navigate">View general profile</a></small></span></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Mon 24 Feb 13:04</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-2020" /><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-2020"},],"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-2020" /><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-2020"},],"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-2020" class="navigate"><span class="glyphicon glyphicon-home"></span> ISSTA 2020</a></h3><div><a href="https://conf.researchr.org/contact/issta-2020" 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-2020" 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-2020/issta-2020-papers" class="navigate">Technical Papers</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-doctoral-symposium" class="navigate">Doctoral Symposium</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-tool-demonstration" class="navigate">Tool Demonstration</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-student-volunteers" class="navigate">Student Volunteers</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-summer-school" class="navigate">Summer School</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-keynote" class="navigate">Keynote</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-workshops" class="navigate">Workshops</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-wosca" class="navigate">WoSCA</a><br/><a href="https://conf.researchr.org/track/issta-2020/issta-2020-tav-cps-iot" class="navigate">TAV-CPS/IoT</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://conf.researchr.org/venue/issta-2020/issta-2020-venue%09" class="navigate">Venue: Virtual</a><br><a href="https://conf.researchr.org/attending/issta-2020/registration" class="navigate">Registration</a><br><a href="https://conf.researchr.org/attending/issta-2020/code-of-conduct" class="navigate">Code of Conduct</a><br><a href="https://conf.researchr.org/attending/issta-2020/program" class="navigate">Program Outline</a></div><div class="col-sm-2"><a href="https://conf.researchr.org/signup/issta-2020" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; 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>