ISSTA 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (349)

Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID Portugal PC Member in Program Committee within the ISSTA Tool Demonstration-track
Elvira Albert Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track in ISSTA 2019 Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track in ISSTA 2019
Saba Alimadadi Northeastern University PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Karim Ali University of Alberta Committee Member in Program Committee within the ISSTA Technical Papers-track
Shaukat Ali Simula Research Lab Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Nadia Alshahwan Facebook United Kingdom Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Toshiaki Aoki JAIST Japan Author of Conformance Testing of Schedulers for DSL-based Model Checking within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019 Author of Model Checking of Automotive within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Shiraj Arora Author of Model Checking Branching Time Properties of Incomplete Markov Chains within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Thomas Ball Microsoft Research United States Committee Member in Program Committee within the ISSTA Technical Papers-track
Earl Barr University College London Committee Member in Program Committee within the ISSTA Technical Papers-track
Ezio Bartocci Technische Universität Wien Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Omar Bataineh NTU Author of A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Benoit Baudry KTH Royal Institute of Technology, Sweden Sweden Committee Member in Program Committee within the ISSTA Technical Papers-track
Farnaz Behrang Georgia Institute of Technology PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jonathan Bell George Mason University United States Author of Mitigating the Effects of Flaky Tests on Mutation Testing within the Technical Papers-track in ISSTA 2019
Massimo Benerecetti Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Saddek Bensalem Verimag Committee Member in Program Committee within the SPIN-track
Samuel Benton The University of Texas at Dallas United States Author of Practical Program Repair via Bytecode Mutation within the Technical Papers-track in ISSTA 2019
Alastair R. Beresford University of Cambridge, UK Author of LibID: Reliable Identification of Obfuscated Third-Party Android Libraries within the Technical Papers-track in ISSTA 2019
Fabrizio Biondi Avast Czech Republic Committee Member in Program Committee within the SPIN-track Committee Member in Organizing Committee within the SPIN-track
Christian Bird Microsoft Research United States Committee Member in Program Committee within the ISSTA Technical Papers-track
Tegawendé F. Bissyandé SnT, University of Luxembourg Luxembourg Author of Panel: Regarding Research within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Panelist of Panel: Regarding Research within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of New Research Directions for Practical Automated Program Repair within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of New Research Directions for Practical Automated Program Repair within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of TBar: Revisiting Template-based Automated Program Repair within the Technical Papers-track in ISSTA 2019 Author of Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Technical Papers-track
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Author of Codebase-Adaptive Detection of Security-Relevant Methods within the Technical Papers-track in ISSTA 2019
Nataniel Borges Jr. CISPA Helmholtz Center for Information Security Germany Author of Learning User Interface Element Interactions within the Technical Papers-track in ISSTA 2019
Dragan Bosnacki Eindhoven University of Technology, The Netherlands Netherlands Committee Member in Program Committee within the SPIN-track
Guy J. Brown The University of Sheffield Author of Improving Random GUI Testing with Image-based Widget Detection within the Technical Papers-track in ISSTA 2019
Lei Bu Author of Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Yan Cai Institute of Software, Chinese Academy of Sciences China Author of Scalable Detection of Concurrency Vulnerabilities within the Workshop – TAV-CPS/IoT-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Haipeng Cai Washington State University Pullman United States Author of A Large-Scale Study of Application Incompatibilities in Android within the Technical Papers-track in ISSTA 2019
Antonio Carzaniga Università della Svizzera italiana Switzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
Satish Chandra Facebook United States Committee Member in Program Committee within the ISSTA Technical Papers-track
Bor-Yuh Evan Chang University of Colorado Boulder Committee Member in Program Committee within the ISSTA Technical Papers-track
Wing-Kwong Chan City University of Hong Kong, Hong Kong China Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhenyu Chen Nanjing University China Sponsorship Co-Chair in Organizing Committee for ISSTA 2019 Author of CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports within the Tool Demonstration-track in ISSTA 2019 Author of CoCoTest: Collaborative Crowdsourced Testing for Android Applications within the Tool Demonstration-track in ISSTA 2019 Chair in Organizing Committee within the Testing Competition-track
Junjie Chen Peking University China Author of History-driven Build Failure Fixing: How Far Are We? within the Technical Papers-track in ISSTA 2019 PC Member in Program Committee within the ISSTA Tool Demonstration-track PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Guang Chen Author of VFQL: Combinational Static Analysis as Query Language within the Tool Demonstration-track in ISSTA 2019 Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track in ISSTA 2019
Bei Chen Panelist of Panel: Regarding Career & Life in Industry and Academia within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Hongxu Chen Nanyang Technological University Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Zhe Chen Nanjing University of Aeronautics and Astronautics China Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track in ISSTA 2019
Qi Chen Panelist of Panel: Regarding Communication within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Li Chi Tsinghua University Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track in ISSTA 2019
Shenghsun Cho Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Maria Christakis MPI-SWS Germany Author of Differentially Testing Soundness and Precision of Program Analyzers within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Technical Papers-track
Andrea Ciancone Facebook Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Jürgen Cito MIT United States PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
James Clause University of Delaware United States Doctoral Symposium Chair in Organizing Committee for ISSTA 2019 Chair in Program Committee within the ISSTA Doctoral Symposium -track
Nicolas Coppik TU Darmstadt Author of Assessing the State and Improving the Art of Parallel Testing for C within the Technical Papers-track in ISSTA 2019
Maxime Cordy SnT, University of Luxembourg Author of Efficient Evaluation of Embedded-System Design Alternatives within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019 Author of Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems within the Technical Papers-track in ISSTA 2019
Jesus Correas Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track in ISSTA 2019
Agostino Cortesi Università Ca' Foscari Venezia Italy Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Baoquan Cui Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track in ISSTA 2019
Xuan Bach D. Le Carnegie Mellon University PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Thao Dang CNRS/VERIMAG France Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Richard Defrancisco Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Christian Degott CISPA Helmholtz Center for Information Security Author of Learning User Interface Element Interactions within the Technical Papers-track in ISSTA 2019
Xavier Devroey Delft University of Technology Netherlands Author of Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing within the Technical Papers-track in ISSTA 2019
Massimiliano Di Penta University of Sannio Italy Committee Member in Program Committee within the ISSTA Technical Papers-track
Justin Ding Microsoft Research Asia Author of Doing Research in industry within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Doing Research in Industry within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Panelist of Panel: Regarding Career & Life in Industry and Academia within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of Panel: Regarding career & life in industry and academia within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop
Nima Dini University of Texas at Austin United States Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Julian Dolby IBM Research United States Committee Member in Program Committee within the ISSTA Doctoral Symposium -track
Nurit Dor Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track in ISSTA 2019
Michael Eichberg TU Darmstadt, Germany Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track in ISSTA 2019
Michael D. Ernst University of Washington, USA Author of Keynote - The Theory and Practice of String Solvers within the Keynote-track in ISSTA 2019 Author of The Theory and Practice of String Solvers (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019
Chunrong Fang Author of CoCoTest: Collaborative Crowdsourced Testing for Android Applications within the Tool Demonstration-track in ISSTA 2019 Committee Member in Organizing Committee within the Testing Competition-track
Mattia Fazzini Georgia Institute of Technology United States Author of Automated API-Usage Update for Android Apps within the Technical Papers-track in ISSTA 2019 PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Yang Feng University of California, Irvine United States Author of CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports within the Tool Demonstration-track in ISSTA 2019
Michael Ferdman Ferdman Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Stephen J Fink IBM United States Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track in ISSTA 2019
Mohammed Foughali Author of Statistical Model Checking of Complex Robotic Systems within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Gordon Fraser University of Passau Germany Author of Improving Random GUI Testing with Image-based Widget Detection within the Technical Papers-track in ISSTA 2019 Author of Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoqin Fu Washington State University United States Author of Towards Scalable Defense of Information Flow Security for Distributed Systems within the Doctoral Symposium -track in ISSTA 2019 Author of A Large-Scale Study of Application Incompatibilities in Android within the Technical Papers-track in ISSTA 2019
Alessio Gambi University of Passau Italy Author of Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation within the Technical Papers-track in ISSTA 2019
Vijay Ganesh University of Waterloo Canada Author of Keynote - The Theory and Practice of String Solvers within the Keynote-track in ISSTA 2019 Author of The Theory and Practice of String Solvers (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019
Xiang Gao National University of Singapore Singapore Author of Crash-avoiding Program Repair within the Technical Papers-track in ISSTA 2019
Jun Gao University of Luxembourg, SnT China Author of Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems within the Technical Papers-track in ISSTA 2019
Jian Gao School of Software, Tsinghua University Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019
Gregory Gay Chalmers \| University of Gothenburg Sweden PC Member in Program Committee within the ISSTA Tool Demonstration-track
Emmanuel Geay Wayfair Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track in ISSTA 2019
Gilles Geeraerts Université libre de Bruxelles Committee Member in Program Committee within the SPIN-track
Ugo Gentile Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Ali Ghanbari The University of Texas at Dallas United States Author of Practical Program Repair via Bytecode Mutation within the Technical Papers-track in ISSTA 2019
Mohammed Gharib Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Thomas Given-Wilson Université catholique de Louvain Belgium Committee Member in Program Committee within the SPIN-track
Milos Gligoric University of Texas at Austin United States Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the ISSTA Doctoral Symposium -track
Patrice Godefroid Microsoft Research United States Author of Root Causing Flaky Tests in a Large-scale Industrial Setting within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the SPIN-track
Gregor Goessler INRIA Committee Member in Program Committee within the SPIN-track
Mojdeh Golagha Author of Failure Clustering Without Coverage within the Technical Papers-track in ISSTA 2019
Pablo Gordillo Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track in ISSTA 2019
Alessandra Gorla IMDEA Software Institute Spain Tool demonstration Co-Chair in Organizing Committee for ISSTA 2019 Author of Panel: Regarding Communication within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Regarding Communication within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Pros and cons of being a woman in the software engineering research community within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Panelist of Panel: Regarding Communication within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of Best Tool Demonstration Award within the Keynote-track in ISSTA 2019 PC Chair in Program Committee within the ISSTA Tool Demonstration-track
Georgios Gousios TU Delft Netherlands Author of Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing within the Technical Papers-track in ISSTA 2019
Giovanni Grano University of Zurich Switzerland Author of A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases within the Doctoral Symposium -track in ISSTA 2019
Alex Groce Northern Arizona University United States Workshops Co-Chair in Organizing Committee for ISSTA 2019
Jiaqi Guo Xi'an Jiaotong University Author of SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases within the Technical Papers-track in ISSTA 2019
Zhongwen Guo Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Philip Guo UCSD Author of Keynote - The Theory and Practice of String Solvers within the Keynote-track in ISSTA 2019 Author of The Theory and Practice of String Solvers (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019
Zuxing Gu School of Software, Tsinghua University China Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track in ISSTA 2019
Tianxiao Gu Alibaba Group United States PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Ming Gu Tsinghua University Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track in ISSTA 2019 Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019
Miguel Gómez-Zamalloa Complutense University of Madrid Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track in ISSTA 2019
William G.J. Halfond University of Southern California United States Committee Member in Program Committee within the ISSTA Technical Papers-track
Dan Hao Peking University China Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of Regression Testing (part of ISSTA Technical Papers) Author of History-driven Build Failure Fixing: How Far Are We? within the Technical Papers-track in ISSTA 2019 Author of Distinguished Artifact Awards within the Keynote-track in ISSTA 2019 Artifact Evaluation Chair in Evaluation Committee within the ISSTA Artifact Evaluation-track
Rui Hao Nanjing University, China China Author of CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports within the Tool Demonstration-track in ISSTA 2019
Mark Harman Facebook and University College London United Kingdom Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Dominik Helm TU Darmstadt, Germany Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track in ISSTA 2019
Fei He Tsinghua University China Local arrangement & Finance Chair in Organizing Committee for ISSTA 2019
Aquinas Hobor Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track in ISSTA 2019
Pieter Hooimeijer Engineering Manager, Facebook Inc. Author of Keynote - The Theory and Practice of String Solvers within the Keynote-track in ISSTA 2019 Author of The Theory and Practice of String Solvers (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019
Nicole Hoskins-Barlow Author of How to Test Lead a Project and Get the Best out of your Testers within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Hermann Ilmberger BMW Author of Failure Clustering Without Coverage within the Technical Papers-track in ISSTA 2019
Félix Ingrand Author of Statistical Model Checking of Complex Robotic Systems within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes Committee Member in Program Committee within the SPIN-track
Miguel Isabel Complutense University of Madrid Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track in ISSTA 2019 Author of Conditional Dynamic Partial Order Reduction and Optimality Results within the Doctoral Symposium -track in ISSTA 2019
Yu Jiang Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019
Yanyan Jiang Nanjing University China PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiajun Jiang Peking University China Student Volunteer Co-Chair in Organizing Committee for ISSTA 2019
Yue Jia University College London United Kingdom Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Zhi Jin Peking University Author of Panel: Regarding Research within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Panelist of Panel: Regarding Research within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of Keynote Speech within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of Keynote Speech within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop
James Jones University of California, Irvine United States Author of CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports within the Tool Demonstration-track in ISSTA 2019
Felix Juefei-Xu Carnegie Mellon University Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Shuanglong Kan Nanjing University of Aeronautics and Astronautics Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track in ISSTA 2019
Maria Kechagia University College London United Kingdom Author of Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing within the Technical Papers-track in ISSTA 2019
Ehsan Khamespanah Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Sarfraz Khurshid University of Texas at Austin United States Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019 Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019 Author of ISSTA 2020 Preview within the Keynote-track in ISSTA 2019
Adam Kiezun Principal Engineer, Amazon Inc. Author of Keynote - The Theory and Practice of String Solvers within the Keynote-track in ISSTA 2019 Author of The Theory and Practice of String Solvers (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019
Moonzoo Kim KAIST South Korea Workshops Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of APIs and Symbolic Execution (part of ISSTA Technical Papers)
Dongsun Kim Furiosa.ai South Korea Author of TBar: Revisiting Template-based Automated Program Repair within the Technical Papers-track in ISSTA 2019
BaekGyu Kim Toyota Motor North America (TMNA) R&D United States Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Yunho Kim KAIST Korea, South Author of Target-driven Compositional Concolic Testing within the Workshop – TAV-CPS/IoT-track in ISSTA 2019 PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Marinos Kintis Author of Ukwikora: Continuous inspection for Keyword-Driven Testing within the Tool Demonstration-track in ISSTA 2019
Jacques Klein University of Luxembourg, SnT Luxembourg Author of Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems within the Technical Papers-track in ISSTA 2019
Christian Klinger University of Texas, Austin Author of Differentially Testing Soundness and Precision of Program Analyzers within the Technical Papers-track in ISSTA 2019
Stephan A. Kollmann University of Cambridge Author of LibID: Reliable Identification of Obfuscated Third-Party Android Libraries within the Technical Papers-track in ISSTA 2019
Aashish Kolluri Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track in ISSTA 2019
Pingfan Kong Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg Author of Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems within the Technical Papers-track in ISSTA 2019
Phani Raj Goutham Kotcharlakota Author of Deferred Concretization in Symbolic Execution via Fuzzing within the Technical Papers-track in ISSTA 2019
Anil Koyuncu University of Luxembourg, Luxembourg Author of TBar: Revisiting Template-based Automated Program Repair within the Technical Papers-track in ISSTA 2019
Patrick Kwaku Kudjo Jiangsu University Author of A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis within the Doctoral Symposium -track in ISSTA 2019
Florian Kübler TU Darmstadt, Germany Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track in ISSTA 2019
Christoph Laaber University of Zurich Switzerland Author of Continuous Software Performance Assessment within the Doctoral Symposium -track in ISSTA 2019
Wing Lam University of Illinois at Urbana-Champaign United States Author of Root Causing Flaky Tests in a Large-scale Industrial Setting within the Technical Papers-track in ISSTA 2019
Kim Guldstrand Larsen Author of Model Verification Through Dependency Graphs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Henrich Lauko Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Sungho Lee KAIST, South Korea South Korea Author of JNI Program Analysis with Automatically Extracted C Semantic Summary within the Doctoral Symposium -track in ISSTA 2019 Author of Adlib: Analyzer for Mobile Ad Platform Libraries within the Technical Papers-track in ISSTA 2019
Axel Legay Committee Member in Organizing Committee within the SPIN-track
Axel Legay Committee Member in Program Committee within the SPIN-track
Daniel Lehmann TU Darmstadt Germany Author of Interactive Metamorphic Testing of Debuggers within the Technical Papers-track in ISSTA 2019
Constantin Lehnhoff Technical University of Munich Author of Failure Clustering Without Coverage within the Technical Papers-track in ISSTA 2019
Caroline Lemieux University of California, Berkeley United States Author of JQF: Coverage-guided Property-based Testing in Java within the Tool Demonstration-track in ISSTA 2019 Author of Semantic Fuzzing with Zest within the Technical Papers-track in ISSTA 2019
Stefan Leue Germany Committee Member in Program Committee within the SPIN-track
Qingwei Lin Microsoft Research, China China Author of Towards Data-driven Cloud Service Intelligence within the Summer School-track in ISSTA 2019
Ting Liu MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China Author of SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases within the Technical Papers-track in ISSTA 2019
Kui Liu Author of TBar: Revisiting Template-based Automated Program Repair within the Technical Papers-track in ISSTA 2019
Yang Liu Nanyang Technological University, Singapore Singapore Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019 PC Member in Program Committee within the ISSTA Tool Demonstration-track
Jian Liu Chinese Academy of Sciences Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Yuan Liu Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Haoyu Li China Author of CoCoTest: Collaborative Crowdsourced Testing for Android Applications within the Tool Demonstration-track in ISSTA 2019
Wei Li Southern University of Science and Technology Author of DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization within the Technical Papers-track in ISSTA 2019
Xia Li University of Texas at Dallas, USA Author of DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization within the Technical Papers-track in ISSTA 2019
Li Li Monash University, Australia Australia Author of A Large-Scale Study of Application Incompatibilities in Android within the Technical Papers-track in ISSTA 2019 Author of Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems within the Technical Papers-track in ISSTA 2019
Yuying Li State Key Laboratory for Novel Software Technology, Nanjing University Author of CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports within the Tool Demonstration-track in ISSTA 2019
Shuyue Li Xi'an Jiaotong University Author of SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases within the Technical Papers-track in ISSTA 2019
Bo Li UIUC Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Alberto Lluch Lafuente Technical University of Denmark Denmark Committee Member in Program Committee within the SPIN-track
Pierre Lorrach Author of Ukwikora: Continuous inspection for Keyword-Driven Testing within the Tool Demonstration-track in ISSTA 2019
Mary Lou Soffa University of Virginia Committee Member in Program Committee within the ISSTA Doctoral Symposium -track
Yiling Lou Peking University, China Author of History-driven Build Failure Fixing: How Far Are We? within the Technical Papers-track in ISSTA 2019
Jian-Guang Lou Microsoft Research Author of SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases within the Technical Papers-track in ISSTA 2019
David Lo Singapore Management University Singapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Jie M. Zhang University College London, UK United Kingdom Author of Networking and Job Search within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Panel: Regarding Communication within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Panelist of Panel: Regarding Communication within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Sonal Mahajan Fujitsu Laboratories of America, Inc. United States PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Ke Mao Facebook Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Alexandru Marginean University College London, UK United Kingdom Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Darko Marinov University of Illinois at Urbana-Champaign United States Author of Mitigating the Effects of Flaky Tests on Mutation Testing within the Technical Papers-track in ISSTA 2019
Stefano Marrone Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Xin Ma Committee Member in Organizing Committee within the Diversity @ ISSTA - The Ada Workshop -track
Xutong Ma Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track in ISSTA 2019
Lei Ma Kyushu University Japan Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Sergey Mechtaev University College London Author of Crash-avoiding Program Repair within the Technical Papers-track in ISSTA 2019
Kuldeep S. Meel National University of Singapore Singapore Author of Constrained Counting and Sampling: From Theory to Practice and Back within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Michaël Mera CISPA, Germany Author of Mining Constraints for Grammar Fuzzing within the Doctoral Symposium -track in ISSTA 2019
Ali Mesbah University of British Columbia Canada Committee Member in Program Committee within the ISSTA Technical Papers-track
Patrick Metzler Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Mira Mezini TU Darmstadt, Germany Germany Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track in ISSTA 2019
Alice Miller University of Glasgow United Kingdom Committee Member in Program Committee within the SPIN-track
Alexander Mols Facebook Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Mohammad Mousavi University of Leicester, UK United Kingdom Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Ali Movaghar Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Marc Mueller BeamNG GmbH Author of Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation within the Technical Papers-track in ISSTA 2019
Steve Muller unaffiliated Author of Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems within the Technical Papers-track in ISSTA 2019
Anders Møller Aarhus University Denmark Program Chair in Organizing Committee for ISSTA 2019 Author of Welcome within the Keynote-track in ISSTA 2019 Author of Distinguished Paper Awards within the Keynote-track in ISSTA 2019 Program Chair in Program Committee within the ISSTA Technical Papers-track
Peter Müller ETH Zurich Switzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
Mei Nagappan University of Waterloo Canada PC Member in Program Committee within the ISSTA Tool Demonstration-track
Roberto Nardone Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Rupesh Nasre IIT Madras, India Author of QADroid: Regression Event Selection for Android Applications within the Technical Papers-track in ISSTA 2019
Suman Nath Microsoft Corporation Author of Root Causing Flaky Tests in a Large-scale Industrial Setting within the Technical Papers-track in ISSTA 2019
Lisa Nguyen Quang Do Paderborn University Germany Author of Codebase-Adaptive Detection of Security-Relevant Methods within the Technical Papers-track in ISSTA 2019 PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Ivica Nikolic National University Of Singapore Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track in ISSTA 2019
Razieh Nokhbeh Zaeem The University of Texas at Austin PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Martina Olliaro Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Alessandro Orso Georgia Tech United States Author of Automated API-Usage Update for Android Apps within the Technical Papers-track in ISSTA 2019
Rohan Padhye University of California, Berkeley Author of JQF: Coverage-guided Property-based Testing in Java within the Tool Demonstration-track in ISSTA 2019 Author of Semantic Fuzzing with Zest within the Technical Papers-track in ISSTA 2019
Awanish Pandey IIT Kanpur, India India Author of Deferred Concretization in Symbolic Execution via Fuzzing within the Technical Papers-track in ISSTA 2019
Annibale Panichella Deflt University of Technology Netherlands Author of Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing within the Technical Papers-track in ISSTA 2019
Linjie Pan Institute of Software, Chinese Academy of Sciences Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track in ISSTA 2019
Mike Papadakis University of Luxembourg Luxembourg Author of Ukwikora: Continuous inspection for Keyword-Driven Testing within the Tool Demonstration-track in ISSTA 2019 Author of Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems within the Technical Papers-track in ISSTA 2019 Author of Semantic Fuzzing with Zest within the Technical Papers-track in ISSTA 2019
Corina S Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Author of ISSTA 2020 Preview within the Keynote-track in ISSTA 2019 Committee Member in Program Committee within the SPIN-track
Charles Pecheur Université catholique de Louvain Committee Member in Program Committee within the SPIN-track
Doron Peled Bar Ilan University Israel Committee Member in Program Committee within the SPIN-track
Hila Peleg Technion, Israel Israel Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Xin Peng Fudan University China Publicity Co-Chair in Organizing Committee for ISSTA 2019
Chao Peng University of Edinburgh, UK United Kingdom Author of On the Correctness of GPU Programs within the Doctoral Symposium -track in ISSTA 2019
Adriano Peron Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Mauro Pezze Università della Svizzera italiana (USI) (Switzerland) and Università degli Studi di Milano Bicocca (Italy) Switzerland Committee Member in Organizing Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Goran Piskachev Fraunhofer IEM Germany Author of Codebase-Adaptive Detection of Security-Relevant Methods within the Technical Papers-track in ISSTA 2019
Keshav Potdar Author of How to Mock and Verify the Billing in Mobile Carrier Payment world within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Michael Pradel TU Darmstadt and Facebook Germany Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2019 Author of Distinguished Artifact Awards within the Keynote-track in ISSTA 2019 Author of Interactive Metamorphic Testing of Debuggers within the Technical Papers-track in ISSTA 2019 Artifact Evaluation Chair in Evaluation Committee within the ISSTA Artifact Evaluation-track
Alexander Pretschner Author of Failure Clustering Without Coverage within the Technical Papers-track in ISSTA 2019
Ju Qian Nanjing University of Aeronautics and Astronautics Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track in ISSTA 2019
Xue Qin Author of TestMig: Migrating GUI Test Cases from iOS to Android within the Technical Papers-track in ISSTA 2019
G. Ramalingam Microsoft Research India Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track in ISSTA 2019
Mv P Rao Author of Model Checking Branching Time Properties of Incomplete Markov Chains within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Michael Reif TU Darmstadt, Germany Germany Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track in ISSTA 2019
Mark Reynolds The Univeristy of Western Australia Author of A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Guillermo Román-Díez Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track in ISSTA 2019
David Rosenblum National University of Singapore Singapore Author of A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Abhik Roychoudhury National University of Singapore Singapore Author of Crash-avoiding Program Repair within the Technical Papers-track in ISSTA 2019 Author of Automated Program Repair within the Summer School-track in ISSTA 2019 Author of Planning and choosing research projects during PhD studies within the Doctoral Symposium -track in ISSTA 2019
Subhajit Roy IIT Kanpur, India Author of Deferred Concretization in Symbolic Execution via Fuzzing within the Technical Papers-track in ISSTA 2019
Petr Ročkai Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Albert Rubio Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track in ISSTA 2019
Renaud Rwemalika Author of Ukwikora: Continuous inspection for Keyword-Driven Testing within the Tool Demonstration-track in ISSTA 2019
Sukyoung Ryu KAIST, South Korea Korea, South Author of Adlib: Analyzer for Mobile Ad Platform Libraries within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Technical Papers-track
Anirudh Santhiar Indian Institute of Science Author of Root Causing Flaky Tests in a Large-scale Industrial Setting within the Technical Papers-track in ISSTA 2019
Mayank Saraswat India Author of The Mobile Test Automation Pyramid within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Federica Sarro University College London, UK United Kingdom Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Prateek Saxena National University Of Singapore Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track in ISSTA 2019
Oliver Schwahn TU Darmstadt Author of Assessing the State and Improving the Art of Parallel Testing for C within the Technical Papers-track in ISSTA 2019
Cristina Seceleanu Mälardalen University Sweden Author of Statistical Model Checking of Complex Robotic Systems within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Simon See NVIDIA AI Tech Centre Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Koushik Sen University of California, Berkeley United States Author of JQF: Coverage-guided Property-based Testing in Java within the Tool Demonstration-track in ISSTA 2019 Author of Semantic Fuzzing with Zest within the Technical Papers-track in ISSTA 2019
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track in ISSTA 2019
Aman Sharma IIT Madras India Author of QADroid: Regression Event Selection for Android Applications within the Technical Papers-track in ISSTA 2019
Letian Sha Author of Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Nikolay Shilov Innopolis University Russia Author of Applying Model Checking Approach with Floating Point Arithmetic within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Takahiro Shimizu Author of Symbolic Execution-based Approach to Extracting a Micro State Transition Table within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
August Shi University of Illinois at Urbana-Champaign Author of Mitigating the Effects of Flaky Tests on Mutation Testing within the Technical Papers-track in ISSTA 2019
Shikhar Singh Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Marjan Sirjani Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Scott Smolka Stony Brook University United States Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Oleg Sokolsky University of Pennsylvania, USA Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Tyler Sorensen Imperial College London United Kingdom Committee Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiri Srba Committee Member in Program Committee within the SPIN-track
Luigi L. L. Starace Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Sergey Staroletov Polzunov Altai State Technical University Russia Author of Applying Model Checking Approach with Floating Point Arithmetic within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Peter J. Stuckey Monash University Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track in ISSTA 2019
Yulei Sui University of Technology Sydney, Australia Australia PC Member in Program Committee within the ISSTA Tool Demonstration-track
Lily Sun Author of Women in CS and Ada Workshops within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of An Introduction to Ada workshops within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Committee Member in Organizing Committee within the Diversity @ ISSTA - The Ada Workshop -track
Jiaguang Sun Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019
Jun Sun Singapore Management University, Singapore Singapore PC Member in Program Committee within the ISSTA Tool Demonstration-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Chengnian Sun University of California, Davis Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiaguang Sun Author of VFQL: Combinational Static Analysis as Query Language within the Tool Demonstration-track in ISSTA 2019
Shizhao Sun Author of Panel: Regarding Communication within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Neeraj Suri Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019 Author of Assessing the State and Improving the Art of Parallel Testing for C within the Technical Papers-track in ISSTA 2019
Hiroaki Takada Nagoya University Author of Symbolic Execution-based Approach to Extracting a Micro State Transition Table within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Shin Hwei Tan Southern University of Science and Technology China Panelist of Panel: Regarding Career & Life in Industry and Academia within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of Selecting a research topic: Reflection and Lessons from My Research Journey within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Panel: Regarding career & life in industry and academia within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop
Valerio Terragni Università della Svizzera Italiana Switzerland Author of Automated Software Testing within the Workshop – TAV-CPS/IoT-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Suresh Thummalapenta Author of Root Causing Flaky Tests in a Large-scale Industrial Setting within the Technical Papers-track in ISSTA 2019
Sandro Tolksdorf TU Darmstadt Author of Interactive Metamorphic Testing of Debuggers within the Technical Papers-track in ISSTA 2019
Roberto Tonelli University of Cagliari PC Member in Program Committee within the ISSTA Tool Demonstration-track
Nhat-Hoa Tran Author of Conformance Testing of Schedulers for DSL-based Model Checking within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Yves Le Traon University of Luxembourg Luxembourg Author of Ukwikora: Continuous inspection for Keyword-Driven Testing within the Tool Demonstration-track in ISSTA 2019 Author of Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems within the Technical Papers-track in ISSTA 2019 Author of Semantic Fuzzing with Zest within the Technical Papers-track in ISSTA 2019
Omer Tripp Google Inc. United States Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the ISSTA Doctoral Symposium -track
Hong-Linh Truong Aalto University Finland Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Muhammad Usman Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Antti Valmari University of Jyväskylä Committee Member in Program Committee within the SPIN-track
Valeria Vittorin Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Kaiyuan Wang Google Inc. United States Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Farn Wang National Taiwan University Taiwan Committee Member in Program Committee within the SPIN-track
Wenxi Wang The University of Texas at Austin, Texas, USA United States Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Ziyuan Wang Nanjing University of Posts and Telecommunications Committee Member in Organizing Committee within the Testing Competition-track
Xi Wang Yale University, USA Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Yuexing Wang Author of VFQL: Combinational Static Analysis as Query Language within the Tool Demonstration-track in ISSTA 2019 Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track in ISSTA 2019
Xiaoyin Wang University of Texas at San Antonio, USA United States Session Chair of Mobile App Testing (part of ISSTA Technical Papers) Author of TestMig: Migrating GUI Test Cases from iOS to Android within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Technical Papers-track
Yun Wang Shanghai Jiao Tong University Author of Panel: Regarding career & life in industry and academia within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop
Cong Wang Tsinghua University China Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019
Hironori Washizaki Waseda University Japan PC Member in Program Committee within the ISSTA Tool Demonstration-track
Georg Weissenbacher Technische Universität Wien Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Zhibin Wei Author of CoCoTest: Collaborative Crowdsourced Testing for Android Applications within the Tool Demonstration-track in ISSTA 2019
Tang Wensheng The Hong Kong University of Science and Technology China Author of Identifying Error Code Misuses in Complex System within the Doctoral Symposium -track in ISSTA 2019
Thomas D. White The University of Sheffield Author of Improving Random GUI Testing with Image-based Widget Detection within the Technical Papers-track in ISSTA 2019
Stefan Winter TU Darmstadt Germany Author of Assessing the State and Improving the Art of Parallel Testing for C within the Technical Papers-track in ISSTA 2019
Ji Wu Beihang University Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Jiecheng Wu Tsinghua University Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track in ISSTA 2019
Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology China PC Member in Program Committee within the ISSTA Tool Demonstration-track
Valentin Wüstholz ConsenSys Diligence Germany Author of Differentially Testing Soundness and Precision of Program Analyzers within the Technical Papers-track in ISSTA 2019
Lintao Xian Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Xin Xia Monash University Australia PC Member in Program Committee within the ISSTA Tool Demonstration-track
Xiaofei Xie Nanyang Technological University Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Zhenchang Xing Australia National University Australia Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019
Qi Xin Georgia Institute of Technology United States Author of Automated API-Usage Update for Android Apps within the Technical Papers-track in ISSTA 2019
Yingfei Xiong Peking University China Student Volunteer Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of Program Repair (part of ISSTA Technical Papers) Author of Program Synthesis within the Summer School-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Technical Papers-track
Jifeng Xuan Wuhan University China PC Member in Program Committee within the ISSTA Tool Demonstration-track
Jingling Xue UNSW Sydney Australia Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track in ISSTA 2019
Minhui Xue Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Yinxing Xue PC Member in Program Committee within the ISSTA Tool Demonstration-track PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Yong Xu Microsoft, China Author of Panel: Regarding Research within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Panel: Regarding Research within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Eran Yahav Technion Israel Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track in ISSTA 2019
Ryota Yamamoto Nagoya University Author of Symbolic Execution-based Approach to Extracting a Micro State Transition Table within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Zijiang Yang Western Michigan University Author of SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases within the Technical Papers-track in ISSTA 2019
Jun Yan Institute of Software, Chinese Academy of Sciences Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track in ISSTA 2019
Jiwei Yan Institute of Software, Chinese Academy of Sciences Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track in ISSTA 2019
Junqi Yan Nanjing University of Aeronautics and Astronautics Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track in ISSTA 2019
Cagdas Yelen Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Jianxiong Yin NVIDIA AI Tech Centre Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Jooyong Yi UNIST (Ulsan National Institute of Science and Technology) South Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Norihiro Yoshida Nagoya University Japan Author of Symbolic Execution-based Approach to Extracting a Micro State Transition Table within the Workshop – TAV-CPS/IoT-track in ISSTA 2019
Farnaz Yousefi Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Tingting Yu University of Kentucky United States Committee Member in Organizing Committee within the Diversity @ ISSTA - The Ada Workshop -track Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Andreas Zeller CISPA Helmholtz Center for Information Security Germany Session Chair of Potpourri (part of ISSTA Technical Papers) Author of Building an impactful research program within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Panelist of Panel: Regarding Research within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of Learning User Interface Element Interactions within the Technical Papers-track in ISSTA 2019 Author of Building Great Fuzzers Within Minutes within the Summer School-track in ISSTA 2019
Andreas Zeller Author of Panel: Regarding Research within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Building an impactful research program within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Mengshi Zhang University of Texas at Austin, USA Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Lingming Zhang Session Chair of Testing GUIs and Cars (part of ISSTA Technical Papers) Author of Practical Program Repair via Bytecode Mutation within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Tool Demonstration-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Tian Zhang Nanjing University China Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Jie Zhang UCL PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jian Zhang Beihang University Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track in ISSTA 2019
Hongyu Zhang The University of Newcastle Australia Tool demonstration Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of Testing and Machine Learning (part of ISSTA Technical Papers) Author of Best Tool Demonstration Award within the Keynote-track in ISSTA 2019 PC Chair in Program Committee within the ISSTA Tool Demonstration-track
Qirun Zhang Georgia Institute of Technology United States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuqun Zhang Southern University of Science and Technology Author of DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization within the Technical Papers-track in ISSTA 2019
Huafeng Zhang Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019
Man Zhang Kristiania University PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiexin Zhang University of Cambridge Author of LibID: Reliable Identification of Obfuscated Third-Party Android Libraries within the Technical Papers-track in ISSTA 2019
Jie Zhang Author of Networks and Job Search within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Lu Zhang Peking University China Author of History-driven Build Failure Fixing: How Far Are We? within the Technical Papers-track in ISSTA 2019
Ziyi Zhang Author of A Large-Scale Study of Application Incompatibilities in Android within the Technical Papers-track in ISSTA 2019
Xiaofang Zhang Author of CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports within the Tool Demonstration-track in ISSTA 2019
Charles Zhang The Hong Kong University of Science and Technology Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2019 Co-chair in Program Committee within the ISSTA Doctoral Symposium -track
Lingming Zhang Author of DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization within the Technical Papers-track in ISSTA 2019 Author of History-driven Build Failure Fixing: How Far Are We? within the Technical Papers-track in ISSTA 2019
Dongmei Zhang Microsoft Research, China China General Chair in Organizing Committee for ISSTA 2019 Author of Welcome within the Tentative Agenda-track in Diversity @ ISSTA - The Ada Workshop Author of Welcome within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop Author of Impact Paper Awards within the Keynote-track in ISSTA 2019 Author of Welcome within the Keynote-track in ISSTA 2019
Jianjun Zhao Kyushu University Japan Author of DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks within the Technical Papers-track in ISSTA 2019
Hao Zhong Shanghai Jiao Tong University China Author of TestMig: Migrating GUI Test Cases from iOS to Android within the Technical Papers-track in ISSTA 2019
Min Zhou Tsinghua University Author of VFQL: Combinational Static Analysis as Query Language within the Tool Demonstration-track in ISSTA 2019 Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track in ISSTA 2019
Shaomin Zhu Committee Member in Organizing Committee within the Testing Competition-track
Ilya Zorin Facebook Author of Some Challenges for Software Testing Research (Invited Talk Abstract) within the Technical Papers-track in ISSTA 2019 Author of Keynote by Mark Harman - Some Challenges for Software Testing Research" within the Keynote-track in ISSTA 2019
Yun Zou Author of Panel: Regarding Career & Life in Industry and Academia within the Ada Workshop-track in Diversity @ ISSTA - The Ada Workshop
Marcelo d'Amorim Federal University of Pernambuco Brazil Committee Member in Program Committee within the ISSTA Technical Papers-track
Maria Garcia de la Banda Monash University Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track in ISSTA 2019
Maurice ter Beek Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Committee Member in Program Committee within the SPIN-track
Arie van Deursen Delft University of Technology Netherlands Session Chair of Static Analysis and Debugging (part of ISSTA Technical Papers) Author of Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing within the Technical Papers-track in ISSTA 2019 Committee Member in Program Committee within the ISSTA Technical Papers-track
Jaco van de Pol Aarhus University Denmark Committee Member in Program Committee within the SPIN-track
Weiliang Ying Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track in ISSTA 2019

ISSTA 2019 Contributors

Results (349)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Competitions