ISSTA 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (349)

A Rui AbreuAbreu, Rui Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal PC Member in Program Committee within the ISSTA Tool Demonstration-track
Elvira AlbertAlbert, Elvira Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers SAFEVM: A Safety Verifier for Ethereum Smart Contracts
Karim AliAli, Karim University of Alberta Committee Member in Program Committee within the ISSTA Technical Papers-track
Shaukat AliAli, Shaukat Simula Research Lab Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Saba AlimadadiAlimadadi, Saba Northeastern University PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Nadia AlshahwanAlshahwan, Nadia FacebookUnited Kingdom Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Toshiaki AokiAoki, Toshiaki JAISTJapan Conformance Testing of Schedulers for DSL-based Model Checking Model Checking of Automotive
Shiraj AroraArora, Shiraj Model Checking Branching Time Properties of Incomplete Markov Chains
B Thomas BallBall, Thomas Microsoft ResearchUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Earl T. BarrBarr, Earl T. University College London Committee Member in Program Committee within the ISSTA Technical Papers-track
Ezio BartocciBartocci, Ezio Technische Universität Wien Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Omar BatainehBataineh, Omar NTU A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
Benoit BaudryBaudry, Benoit KTH Royal Institute of Technology, SwedenSweden Committee Member in Program Committee within the ISSTA Technical Papers-track
Farnaz BehrangBehrang, Farnaz Georgia Institute of Technology PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jonathan BellBell, Jonathan George Mason UniversityUnited States Mitigating the Effects of Flaky Tests on Mutation Testing
Massimo BenerecettiBenerecetti, Massimo From Dynamic State Machines to Promela
Saddek BensalemBensalem, Saddek Verimag Committee Member in Program Committee within the SPIN-track
Samuel BentonBenton, Samuel The University of Texas at DallasUnited States Practical Program Repair via Bytecode Mutation
Alastair R. BeresfordBeresford, Alastair R. University of Cambridge, UK LibID: Reliable Identification of Obfuscated Third-Party Android Libraries
Fabrizio BiondiBiondi, Fabrizio AvastCzech Republic Committee Member in Program Committee within the SPIN-track Committee Member in Organizing Committee within the SPIN-track
Christian BirdBird, Christian Microsoft ResearchUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Tegawendé F. BissyandéBissyandé, Tegawendé F. SnT, University of LuxembourgLuxembourg New Research Directions for Practical Automated Program Repair New Research Directions for Practical Automated Program Repair Panel: Regarding Research Panel: Regarding Research TBar: Revisiting Template-based Automated Program Repair Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Codebase-Adaptive Detection of Security-Relevant Methods
Nataniel Borges Jr.Borges Jr., Nataniel CISPA Helmholtz Center for Information SecurityGermany Learning User Interface Element Interactions
Dragan BosnackiBosnacki, Dragan Eindhoven University of Technology, The NetherlandsNetherlands Committee Member in Program Committee within the SPIN-track
Guy J. BrownBrown, Guy J. The University of Sheffield Improving Random GUI Testing with Image-based Widget Detection
Lei BuBu, Lei Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking
C Haipeng CaiCai, Haipeng Washington State University PullmanUnited States A Large-Scale Study of Application Incompatibilities in Android
Yan CaiCai, Yan Institute of Software, Chinese Academy of SciencesChina Scalable Detection of Concurrency Vulnerabilities Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Antonio CarzanigaCarzaniga, Antonio Università della Svizzera italianaSwitzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
Wing-Kwong ChanChan, Wing-Kwong City University of Hong Kong, Hong KongChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Satish ChandraChandra, Satish FacebookUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee within the ISSTA Technical Papers-track
Bei ChenChen, Bei Panel: Regarding Career & Life in Industry and Academia
Guang ChenChen, Guang VFQL: Combinational Static Analysis as Query Language VBSAC: A Value-Based Static Analyzer for C
Hongxu ChenChen, Hongxu Nanyang Technological University DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Junjie ChenChen, Junjie Peking UniversityChina History-driven Build Failure Fixing: How Far Are We? PC Member in Program Committee within the ISSTA Tool Demonstration-track PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Qi ChenChen, Qi Panel: Regarding Communication
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Detecting Memory Errors at Runtime with Source-Level Instrumentation
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina Sponsorship Co-Chair in Organizing Committee for ISSTA 2019 CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports CoCoTest: Collaborative Crowdsourced Testing for Android Applications Chair in Organizing Committee within the Testing Competition-track
Li ChiChi, Li Tsinghua University VBSAC: A Value-Based Static Analyzer for C
Shenghsun ChoCho, Shenghsun Swarm Model Checking on the GPU
Maria ChristakisChristakis, Maria MPI-SWSGermany Differentially Testing Soundness and Precision of Program Analyzers Committee Member in Program Committee within the ISSTA Technical Papers-track
Andrea CianconeCiancone, Andrea Facebook Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Jürgen CitoCito, Jürgen MITUnited States PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
James ClauseClause, James University of DelawareUnited States Doctoral Symposium Chair in Organizing Committee for ISSTA 2019 Chair in Program Committee within the ISSTA Doctoral Symposium -track
Nicolas CoppikCoppik, Nicolas TU Darmstadt Assessing the State and Improving the Art of Parallel Testing for C
Maxime CordyCordy, Maxime SnT, University of Luxembourg Efficient Evaluation of Embedded-System Design Alternatives Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems
Jesus CorreasCorreas, Jesus SAFEVM: A Safety Verifier for Ethereum Smart Contracts
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly String abstraction for model checking of C programs
Baoquan CuiCui, Baoquan Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
D Marcelo d'Amorimd'Amorim, Marcelo Federal University of PernambucoBrazil Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuan Bach D. LeD. Le, Xuan Bach Carnegie Mellon University PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Thao DangDang, Thao CNRS/VERIMAGFrance Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Maria Garcia de la Bandade la Banda, Maria Garcia Monash University Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers
Richard DefranciscoDefrancisco, Richard Swarm Model Checking on the GPU
Christian DegottDegott, Christian CISPA Helmholtz Center for Information Security Learning User Interface Element Interactions
Xavier DevroeyDevroey, Xavier Delft University of TechnologyNetherlands Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing
Massimiliano Di PentaDi Penta, Massimiliano University of SannioItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Justin DingDing, Justin Microsoft Research Asia Doing Research in industry Doing Research in Industry Panel: Regarding Career & Life in Industry and Academia Panel: Regarding career & life in industry and academia
Nima DiniDini, Nima University of Texas at AustinUnited States A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Julian DolbyDolby, Julian IBM ResearchUnited States Committee Member in Program Committee within the ISSTA Doctoral Symposium -track
Nurit DorDor, Nurit Keynote - From Typestate Verification to Interpretable Deep Models
E Michael EichbergEichberg, Michael TU Darmstadt, Germany Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
Michael D. ErnstErnst, Michael D. University of Washington, USA The Theory and Practice of String Solvers (Invited Talk Abstract) Keynote - The Theory and Practice of String Solvers
F Chunrong FangFang, Chunrong CoCoTest: Collaborative Crowdsourced Testing for Android Applications Committee Member in Organizing Committee within the Testing Competition-track
Mattia FazziniFazzini, Mattia Georgia Institute of TechnologyUnited States Automated API-Usage Update for Android Apps PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Yang FengFeng, Yang University of California, IrvineUnited States CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports
Michael Ferdman FerdmanFerdman, Michael Ferdman Swarm Model Checking on the GPU
Stephen J FinkFink, Stephen J IBMUnited States Keynote - From Typestate Verification to Interpretable Deep Models
Mohammed FoughaliFoughali, Mohammed Statistical Model Checking of Complex Robotic Systems
Gordon FraserFraser, Gordon University of PassauGermany Improving Random GUI Testing with Image-based Widget Detection Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoqin FuFu, Xiaoqin Washington State UniversityUnited States Towards Scalable Defense of Information Flow Security for Distributed Systems A Large-Scale Study of Application Incompatibilities in Android
G Alessio GambiGambi, Alessio University of PassauItaly Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation
Vijay GaneshGanesh, Vijay University of WaterlooCanada The Theory and Practice of String Solvers (Invited Talk Abstract) Keynote - The Theory and Practice of String Solvers
Jian GaoGao, Jian School of Software, Tsinghua University Go-Clone: Graph-Embedding Based Clone Detector for Golang
Jun GaoGao, Jun University of Luxembourg, SnTChina Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems
Xiang GaoGao, Xiang National University of SingaporeSingapore Crash-avoiding Program Repair
Gregory GayGay, Gregory Chalmers \| University of GothenburgSweden PC Member in Program Committee within the ISSTA Tool Demonstration-track
Emmanuel GeayGeay, Emmanuel Wayfair Keynote - From Typestate Verification to Interpretable Deep Models
Gilles GeeraertsGeeraerts, Gilles Université libre de Bruxelles Committee Member in Program Committee within the SPIN-track
Ugo GentileGentile, Ugo From Dynamic State Machines to Promela
Ali GhanbariGhanbari, Ali The University of Texas at DallasUnited States Practical Program Repair via Bytecode Mutation
Mohammed GharibGharib, Mohammed VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Thomas Given-WilsonGiven-Wilson, Thomas Université catholique de LouvainBelgium Committee Member in Program Committee within the SPIN-track
Milos GligoricGligoric, Milos University of Texas at AustinUnited 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 GodefroidGodefroid, Patrice Microsoft ResearchUnited States Root Causing Flaky Tests in a Large-scale Industrial Setting Committee Member in Program Committee within the SPIN-track
Gregor GoesslerGoessler, Gregor INRIA Committee Member in Program Committee within the SPIN-track
Mojdeh GolaghaGolagha, Mojdeh Failure Clustering Without Coverage
Pablo GordilloGordillo, Pablo SAFEVM: A Safety Verifier for Ethereum Smart Contracts
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Tool demonstration Co-Chair in Organizing Committee for ISSTA 2019 Panel: Regarding Communication Regarding Communication Pros and cons of being a woman in the software engineering research community Panel: Regarding Communication Best Tool Demonstration Award PC Chair in Program Committee within the ISSTA Tool Demonstration-track
Georgios GousiosGousios, Georgios TU DelftNetherlands Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing
Giovanni GranoGrano, Giovanni University of ZurichSwitzerland A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Workshops Co-Chair in Organizing Committee for ISSTA 2019
Ming GuGu, Ming Tsinghua University VBSAC: A Value-Based Static Analyzer for C Go-Clone: Graph-Embedding Based Clone Detector for Golang
Tianxiao GuGu, Tianxiao Alibaba GroupUnited States PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Zuxing GuGu, Zuxing School of Software, Tsinghua UniversityChina VBSAC: A Value-Based Static Analyzer for C
Jiaqi GuoGuo, Jiaqi Xi'an Jiaotong University SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases
Philip GuoGuo, Philip UCSD The Theory and Practice of String Solvers (Invited Talk Abstract) Keynote - The Theory and Practice of String Solvers
Zhongwen GuoGuo, Zhongwen STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
Miguel Gómez-ZamalloaGómez-Zamalloa, Miguel Complutense University of Madrid Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers
H William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Dan HaoHao, Dan Peking UniversityChina Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of Regression Testing (part of ISSTA Technical Papers) History-driven Build Failure Fixing: How Far Are We? Distinguished Artifact Awards Artifact Evaluation Chair in Evaluation Committee within the ISSTA Artifact Evaluation-track
Rui HaoHao, Rui Nanjing University, ChinaChina CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports
Mark HarmanHarman, Mark Facebook and University College LondonUnited Kingdom Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Fei HeHe, Fei Tsinghua UniversityChina Local arrangement & Finance Chair in Organizing Committee for ISSTA 2019
Dominik HelmHelm, Dominik TU Darmstadt, Germany Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
Aquinas HoborHobor, Aquinas Exploiting The Laws of Order in Smart Contracts
Pieter HooimeijerHooimeijer, Pieter Engineering Manager, Facebook Inc. The Theory and Practice of String Solvers (Invited Talk Abstract) Keynote - The Theory and Practice of String Solvers
Nicole Hoskins-BarlowHoskins-Barlow, Nicole How to Test Lead a Project and Get the Best out of your Testers
I Hermann IlmbergerIlmberger, Hermann BMW Failure Clustering Without Coverage
Félix IngrandIngrand, Félix Statistical Model Checking of Complex Robotic Systems
Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-Alpes Committee Member in Program Committee within the SPIN-track
Miguel IsabelIsabel, Miguel Complutense University of Madrid Conditional Dynamic Partial Order Reduction and Optimality Results Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers
J Yue JiaJia, Yue University College LondonUnited Kingdom Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Jiajun JiangJiang, Jiajun Peking UniversityChina Student Volunteer Co-Chair in Organizing Committee for ISSTA 2019
Yanyan JiangJiang, Yanyan Nanjing UniversityChina PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Yu JiangJiang, Yu Go-Clone: Graph-Embedding Based Clone Detector for Golang
Zhi JinJin, Zhi Peking University Keynote Speech Keynote Speech Panel: Regarding Research Panel: Regarding Research
James JonesJones, James University of California, IrvineUnited States CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports
Felix Juefei-XuJuefei-Xu, Felix Carnegie Mellon University DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
K Shuanglong KanKan, Shuanglong Nanjing University of Aeronautics and Astronautics Detecting Memory Errors at Runtime with Source-Level Instrumentation
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing
Ehsan KhamespanahKhamespanah, Ehsan VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States A Study of Learning Data Structure Invariants Using Off-the-shelf Tools Learning Guided Enumerative Synthesis for Superoptimization ISSTA 2020 Preview
Adam KiezunKiezun, Adam Principal Engineer, Amazon Inc. The Theory and Practice of String Solvers (Invited Talk Abstract) Keynote - The Theory and Practice of String Solvers
Dongsun KimKim, Dongsun Furiosa.aiSouth Korea TBar: Revisiting Template-based Automated Program Repair
Moonzoo KimKim, Moonzoo KAISTSouth Korea Workshops Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of APIs and Symbolic Execution (part of ISSTA Technical Papers)
Yunho KimKim, Yunho KAISTKorea, South Target-driven Compositional Concolic Testing PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
BaekGyu KimKim, BaekGyu Toyota Motor North America (TMNA) R&DUnited States Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Marinos KintisKintis, Marinos Ukwikora: Continuous inspection for Keyword-Driven Testing
Jacques KleinKlein, Jacques University of Luxembourg, SnTLuxembourg Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems
Christian KlingerKlinger, Christian University of Texas, Austin Differentially Testing Soundness and Precision of Program Analyzers
Stephan A. KollmannKollmann, Stephan A. University of Cambridge LibID: Reliable Identification of Obfuscated Third-Party Android Libraries
Aashish KolluriKolluri, Aashish Exploiting The Laws of Order in Smart Contracts
Pingfan KongKong, Pingfan Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems
Phani Raj Goutham KotcharlakotaKotcharlakota, Phani Raj Goutham Deferred Concretization in Symbolic Execution via Fuzzing
Anil KoyuncuKoyuncu, Anil University of Luxembourg, Luxembourg TBar: Revisiting Template-based Automated Program Repair
Patrick Kwaku KudjoKudjo, Patrick Kwaku Jiangsu University A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis
Florian KüblerKübler, Florian TU Darmstadt, Germany Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
L Christoph LaaberLaaber, Christoph University of ZurichSwitzerland Continuous Software Performance Assessment
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Root Causing Flaky Tests in a Large-scale Industrial Setting
Kim Guldstrand LarsenLarsen, Kim Guldstrand Model Verification Through Dependency Graphs
Henrich LaukoLauko, Henrich String abstraction for model checking of C programs
Yves Le TraonLe Traon, Yves University of LuxembourgLuxembourg Ukwikora: Continuous inspection for Keyword-Driven Testing Semantic Fuzzing with Zest Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems
Sungho LeeLee, Sungho KAIST, South KoreaSouth Korea JNI Program Analysis with Automatically Extracted C Semantic Summary Adlib: Analyzer for Mobile Ad Platform Libraries
Axel LegayLegay, Axel Committee Member in Program Committee within the SPIN-track
Axel LegayLegay, Axel Committee Member in Organizing Committee within the SPIN-track
Daniel LehmannLehmann, Daniel TU DarmstadtGermany Interactive Metamorphic Testing of Debuggers
Constantin LehnhoffLehnhoff, Constantin Technical University of Munich Failure Clustering Without Coverage
Caroline LemieuxLemieux, Caroline University of California, BerkeleyUnited States JQF: Coverage-guided Property-based Testing in Java Semantic Fuzzing with Zest
Stefan LeueLeue, Stefan Germany Committee Member in Program Committee within the SPIN-track
Bo LiLi, Bo UIUC DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Haoyu LiLi, Haoyu China CoCoTest: Collaborative Crowdsourced Testing for Android Applications
Li LiLi, Li Monash University, AustraliaAustralia A Large-Scale Study of Application Incompatibilities in Android Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems
Shuyue LiLi, Shuyue Xi'an Jiaotong University SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases
Wei LiLi, Wei Southern University of Science and Technology DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization
Xia LiLi, Xia University of Texas at Dallas, USA DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization
Yuying LiLi, Yuying State Key Laboratory for Novel Software Technology, Nanjing University CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports
Qingwei LinLin, Qingwei Microsoft Research, ChinaChina Towards Data-driven Cloud Service Intelligence
Jian LiuLiu, Jian Chinese Academy of Sciences Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Kui LiuLiu, Kui TBar: Revisiting Template-based Automated Program Repair
Ting LiuLiu, Ting MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases
Yang LiuLiu, Yang Nanyang Technological University, SingaporeSingapore DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks PC Member in Program Committee within the ISSTA Tool Demonstration-track
Yuan LiuLiu, Yuan STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
Alberto Lluch LafuenteLluch Lafuente, Alberto Technical University of DenmarkDenmark Committee Member in Program Committee within the SPIN-track
David LoLo, David Singapore Management UniversitySingapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Pierre LorrachLorrach, Pierre Ukwikora: Continuous inspection for Keyword-Driven Testing
Jian-Guang LouLou, Jian-Guang Microsoft Research SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases
Yiling LouLou, Yiling Peking University, China History-driven Build Failure Fixing: How Far Are We?
M Jie M. ZhangM. Zhang, Jie University College London, UKUnited Kingdom Networking and Job Search Panel: Regarding Communication Panel: Regarding Communication
Lei MaMa, Lei Kyushu UniversityJapan DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Xin MaMa, Xin Committee Member in Organizing Committee within the Diversity @ ISSTA - The Ada Workshop -track
Xutong MaMa, Xutong Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
Sonal MahajanMahajan, Sonal Fujitsu Laboratories of America, Inc.United States PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Ke MaoMao, Ke Facebook Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Alexandru MargineanMarginean, Alexandru University College London, UKUnited Kingdom Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Mitigating the Effects of Flaky Tests on Mutation Testing
Stefano MarroneMarrone, Stefano From Dynamic State Machines to Promela
Sergey MechtaevMechtaev, Sergey University College London Crash-avoiding Program Repair
Kuldeep S. MeelMeel, Kuldeep S. National University of SingaporeSingapore Constrained Counting and Sampling: From Theory to Practice and Back
Michaël MeraMera, Michaël CISPA, Germany Mining Constraints for Grammar Fuzzing
Ali MesbahMesbah, Ali University of British ColumbiaCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Patrick MetzlerMetzler, Patrick Extracting Safe Thread Schedules from Incomplete Model Checking Results
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
Alice MillerMiller, Alice University of GlasgowUnited Kingdom Committee Member in Program Committee within the SPIN-track
Alexander MolsMols, Alexander Facebook Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Mohammad MousaviMousavi, Mohammad University of Leicester, UKUnited Kingdom Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Ali MovagharMovaghar, Ali VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Marc MuellerMueller, Marc BeamNG GmbH Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation
Steve MullerMuller, Steve unaffiliated Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems
Anders MøllerMøller, Anders Aarhus UniversityDenmark Program Chair in Organizing Committee for ISSTA 2019 Distinguished Paper Awards Welcome Program Chair in Program Committee within the ISSTA Technical Papers-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
N Mei NagappanNagappan, Mei University of WaterlooCanada PC Member in Program Committee within the ISSTA Tool Demonstration-track
Roberto NardoneNardone, Roberto From Dynamic State Machines to Promela
Rupesh NasreNasre, Rupesh IIT Madras, India QADroid: Regression Event Selection for Android Applications
Suman NathNath, Suman Microsoft Corporation Root Causing Flaky Tests in a Large-scale Industrial Setting
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Paderborn UniversityGermany Codebase-Adaptive Detection of Security-Relevant Methods PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Ivica NikolicNikolic, Ivica National University Of Singapore Exploiting The Laws of Order in Smart Contracts
Razieh Nokhbeh ZaeemNokhbeh Zaeem, Razieh The University of Texas at Austin PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
O Martina OlliaroOlliaro, Martina String abstraction for model checking of C programs
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Automated API-Usage Update for Android Apps
P Rohan PadhyePadhye, Rohan University of California, Berkeley JQF: Coverage-guided Property-based Testing in Java Semantic Fuzzing with Zest
Linjie PanPan, Linjie Institute of Software, Chinese Academy of Sciences Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
Awanish PandeyPandey, Awanish IIT Kanpur, IndiaIndia Deferred Concretization in Symbolic Execution via Fuzzing
Annibale PanichellaPanichella, Annibale Deflt University of TechnologyNetherlands Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing
Mike PapadakisPapadakis, Mike University of LuxembourgLuxembourg Ukwikora: Continuous inspection for Keyword-Driven Testing Semantic Fuzzing with Zest Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems
Charles PecheurPecheur, Charles Université catholique de Louvain Committee Member in Program Committee within the SPIN-track
Doron PeledPeled, Doron Bar Ilan UniversityIsrael Committee Member in Program Committee within the SPIN-track
Hila PelegPeleg, Hila Technion, IsraelIsrael Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Chao PengPeng, Chao University of Edinburgh, UKUnited Kingdom On the Correctness of GPU Programs
Xin PengPeng, Xin Fudan UniversityChina Publicity Co-Chair in Organizing Committee for ISSTA 2019
Adriano PeronPeron, Adriano From Dynamic State Machines to Promela
Mauro PezzePezze, Mauro 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 PiskachevPiskachev, Goran Fraunhofer IEMGermany Codebase-Adaptive Detection of Security-Relevant Methods
Keshav PotdarPotdar, Keshav How to Mock and Verify the Billing in Mobile Carrier Payment world
Michael PradelPradel, Michael TU Darmstadt and FacebookGermany Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2019 Distinguished Artifact Awards Interactive Metamorphic Testing of Debuggers Artifact Evaluation Chair in Evaluation Committee within the ISSTA Artifact Evaluation-track
Alexander PretschnerPretschner, Alexander Failure Clustering Without Coverage
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center ISSTA 2020 Preview Committee Member in Program Committee within the SPIN-track
Q Ju QianQian, Ju Nanjing University of Aeronautics and Astronautics Detecting Memory Errors at Runtime with Source-Level Instrumentation
Xue QinQin, Xue TestMig: Migrating GUI Test Cases from iOS to Android
R G. RamalingamRamalingam, G. Microsoft ResearchIndia Keynote - From Typestate Verification to Interpretable Deep Models
Mv P RaoRao, Mv P Model Checking Branching Time Properties of Incomplete Markov Chains
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
Mark ReynoldsReynolds, Mark The Univeristy of Western Australia A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
Guillermo Román-DíezRomán-Díez, Guillermo SAFEVM: A Safety Verifier for Ethereum Smart Contracts
David RosenblumRosenblum, David National University of SingaporeSingapore A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
Subhajit RoyRoy, Subhajit IIT Kanpur, India Deferred Concretization in Symbolic Execution via Fuzzing
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Planning and choosing research projects during PhD studies Automated Program Repair Crash-avoiding Program Repair
Petr RočkaiRočkai, Petr String abstraction for model checking of C programs
Albert RubioRubio, Albert SAFEVM: A Safety Verifier for Ethereum Smart Contracts
Renaud RwemalikaRwemalika, Renaud Ukwikora: Continuous inspection for Keyword-Driven Testing
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Adlib: Analyzer for Mobile Ad Platform Libraries Committee Member in Program Committee within the ISSTA Technical Papers-track
S Anirudh SanthiarSanthiar, Anirudh Indian Institute of Science Root Causing Flaky Tests in a Large-scale Industrial Setting
Mayank SaraswatSaraswat, Mayank India The Mobile Test Automation Pyramid
Federica SarroSarro, Federica University College London, UKUnited Kingdom Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Prateek SaxenaSaxena, Prateek National University Of Singapore Exploiting The Laws of Order in Smart Contracts
Oliver SchwahnSchwahn, Oliver TU Darmstadt Assessing the State and Improving the Art of Parallel Testing for C
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Statistical Model Checking of Complex Robotic Systems
Simon SeeSee, Simon NVIDIA AI Tech Centre DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Koushik SenSen, Koushik University of California, BerkeleyUnited States JQF: Coverage-guided Property-based Testing in Java Semantic Fuzzing with Zest
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Exploiting The Laws of Order in Smart Contracts
Letian ShaSha, Letian Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices
Aman SharmaSharma, Aman IIT MadrasIndia QADroid: Regression Event Selection for Android Applications
August ShiShi, August University of Illinois at Urbana-Champaign Mitigating the Effects of Flaky Tests on Mutation Testing
Nikolay ShilovShilov, Nikolay Innopolis UniversityRussia Applying Model Checking Approach with Floating Point Arithmetic
Takahiro ShimizuShimizu, Takahiro Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Shikhar SinghSingh, Shikhar Learning Guided Enumerative Synthesis for Superoptimization
Marjan SirjaniSirjani, Marjan VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Scott SmolkaSmolka, Scott Stony Brook UniversityUnited States Swarm Model Checking on the GPU
Mary Lou SoffaSoffa, Mary Lou University of Virginia Committee Member in Program Committee within the ISSTA Doctoral Symposium -track
Oleg SokolskySokolsky, Oleg University of Pennsylvania, USA Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Tyler SorensenSorensen, Tyler Imperial College LondonUnited Kingdom Committee Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiri SrbaSrba, Jiri Committee Member in Program Committee within the SPIN-track
Luigi L. L. StaraceStarace, Luigi L. L. From Dynamic State Machines to Promela
Sergey StaroletovStaroletov, Sergey Polzunov Altai State Technical UniversityRussia Applying Model Checking Approach with Floating Point Arithmetic
Peter J. StuckeyStuckey, Peter J. Monash University Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers
Yulei SuiSui, Yulei University of Technology Sydney, AustraliaAustralia PC Member in Program Committee within the ISSTA Tool Demonstration-track
Chengnian SunSun, Chengnian University of California, Davis Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiaguang SunSun, Jiaguang VFQL: Combinational Static Analysis as Query Language
Jiaguang SunSun, Jiaguang Go-Clone: Graph-Embedding Based Clone Detector for Golang
Jun SunSun, Jun Singapore Management University, SingaporeSingapore PC Member in Program Committee within the ISSTA Tool Demonstration-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Lily SunSun, Lily Women in CS and Ada Workshops An Introduction to Ada workshops Committee Member in Organizing Committee within the Diversity @ ISSTA - The Ada Workshop -track
Shizhao SunSun, Shizhao Panel: Regarding Communication
Neeraj SuriSuri, Neeraj Extracting Safe Thread Schedules from Incomplete Model Checking Results Assessing the State and Improving the Art of Parallel Testing for C
T Hiroaki TakadaTakada, Hiroaki Nagoya University Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Shin Hwei TanTan, Shin Hwei Southern University of Science and TechnologyChina Panel: Regarding Career & Life in Industry and Academia Selecting a research topic: Reflection and Lessons from My Research Journey Panel: Regarding career & life in industry and academia
Maurice ter Beekter Beek, Maurice Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Committee Member in Program Committee within the SPIN-track
Valerio TerragniTerragni, Valerio Università della Svizzera ItalianaSwitzerland Automated Software Testing Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Suresh ThummalapentaThummalapenta, Suresh Root Causing Flaky Tests in a Large-scale Industrial Setting
Sandro TolksdorfTolksdorf, Sandro TU Darmstadt Interactive Metamorphic Testing of Debuggers
Roberto TonelliTonelli, Roberto University of Cagliari PC Member in Program Committee within the ISSTA Tool Demonstration-track
Nhat-Hoa TranTran, Nhat-Hoa Conformance Testing of Schedulers for DSL-based Model Checking
Omer TrippTripp, Omer 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 TruongTruong, Hong-Linh Aalto UniversityFinland Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
U Muhammad UsmanUsman, Muhammad A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
V Antti ValmariValmari, Antti University of Jyväskylä Committee Member in Program Committee within the SPIN-track
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Committee Member in Program Committee within the SPIN-track
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands Session Chair of Static Analysis and Debugging (part of ISSTA Technical Papers) Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing Committee Member in Program Committee within the ISSTA Technical Papers-track
Valeria VittorinVittorin, Valeria From Dynamic State Machines to Promela
W Cong WangWang, Cong Tsinghua UniversityChina Go-Clone: Graph-Embedding Based Clone Detector for Golang
Farn WangWang, Farn National Taiwan UniversityTaiwan Committee Member in Program Committee within the SPIN-track
Kaiyuan WangWang, Kaiyuan Google Inc.United States A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Wenxi WangWang, Wenxi The University of Texas at Austin, Texas, USAUnited States A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Xi WangWang, Xi Yale University, USA STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio, USAUnited States Session Chair of Mobile App Testing (part of ISSTA Technical Papers) TestMig: Migrating GUI Test Cases from iOS to Android Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuexing WangWang, Yuexing VFQL: Combinational Static Analysis as Query Language VBSAC: A Value-Based Static Analyzer for C
Yun WangWang, Yun Shanghai Jiao Tong University Panel: Regarding career & life in industry and academia
Ziyuan WangWang, Ziyuan Nanjing University of Posts and Telecommunications Committee Member in Organizing Committee within the Testing Competition-track
Hironori WashizakiWashizaki, Hironori Waseda UniversityJapan PC Member in Program Committee within the ISSTA Tool Demonstration-track
Zhibin WeiWei, Zhibin CoCoTest: Collaborative Crowdsourced Testing for Android Applications
Weiliang Ying Weiliang Ying Go-Clone: Graph-Embedding Based Clone Detector for Golang
Georg WeissenbacherWeissenbacher, Georg Technische Universität Wien Extracting Safe Thread Schedules from Incomplete Model Checking Results
Tang WenshengWensheng, Tang The Hong Kong University of Science and TechnologyChina Identifying Error Code Misuses in Complex System
Thomas D. WhiteWhite, Thomas D. The University of Sheffield Improving Random GUI Testing with Image-based Widget Detection
Stefan WinterWinter, Stefan TU DarmstadtGermany Assessing the State and Improving the Art of Parallel Testing for C
Ji WuWu, Ji Beihang University Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Jiecheng WuWu, Jiecheng Tsinghua University VBSAC: A Value-Based Static Analyzer for C
Rongxin WuWu, Rongxin Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyChina PC Member in Program Committee within the ISSTA Tool Demonstration-track
Valentin WüstholzWüstholz, Valentin ConsenSys DiligenceGermany Differentially Testing Soundness and Precision of Program Analyzers
X Xin XiaXia, Xin Monash UniversityAustralia PC Member in Program Committee within the ISSTA Tool Demonstration-track
Lintao XianXian, Lintao STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
Xiaofei XieXie, Xiaofei Nanyang Technological University DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Qi XinXin, Qi Georgia Institute of TechnologyUnited States Automated API-Usage Update for Android Apps
Zhenchang XingXing, Zhenchang Australia National UniversityAustralia Go-Clone: Graph-Embedding Based Clone Detector for Golang
Yingfei XiongXiong, Yingfei Peking UniversityChina Student Volunteer Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of Program Repair (part of ISSTA Technical Papers) Program Synthesis Committee Member in Program Committee within the ISSTA Technical Papers-track
Yong XuXu, Yong Microsoft, China Panel: Regarding Research Panel: Regarding Research
Jifeng XuanXuan, Jifeng Wuhan UniversityChina PC Member in Program Committee within the ISSTA Tool Demonstration-track
Jingling XueXue, Jingling UNSW SydneyAustralia Detecting Memory Errors at Runtime with Source-Level Instrumentation
Minhui XueXue, Minhui DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Yinxing XueXue, Yinxing PC Member in Program Committee within the ISSTA Tool Demonstration-track PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Y Eran YahavYahav, Eran TechnionIsrael Keynote - From Typestate Verification to Interpretable Deep Models
Ryota YamamotoYamamoto, Ryota Nagoya University Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Jiwei YanYan, Jiwei Institute of Software, Chinese Academy of Sciences Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
Jun YanYan, Jun Institute of Software, Chinese Academy of Sciences Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
Junqi YanYan, Junqi Nanjing University of Aeronautics and Astronautics Detecting Memory Errors at Runtime with Source-Level Instrumentation
Zijiang YangYang, Zijiang Western Michigan University SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases
Cagdas YelenYelen, Cagdas A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Jooyong YiYi, Jooyong UNIST (Ulsan National Institute of Science and Technology)South Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Jianxiong YinYin, Jianxiong NVIDIA AI Tech Centre DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Norihiro YoshidaYoshida, Norihiro Nagoya UniversityJapan Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Farnaz YousefiYousefi, Farnaz VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Tingting YuYu, Tingting University of KentuckyUnited 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
Z Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Session Chair of Potpourri (part of ISSTA Technical Papers) Building an impactful research program Panel: Regarding Research Panel: Regarding Research Building an impactful research program Learning User Interface Element Interactions Building Great Fuzzers Within Minutes
Charles ZhangZhang, Charles 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
Dongmei ZhangZhang, Dongmei Microsoft Research, ChinaChina General Chair in Organizing Committee for ISSTA 2019 Welcome Welcome Impact Paper Awards Welcome
Hongyu ZhangZhang, Hongyu The University of NewcastleAustralia Tool demonstration Co-Chair in Organizing Committee for ISSTA 2019 Session Chair of Testing and Machine Learning (part of ISSTA Technical Papers) Best Tool Demonstration Award PC Chair in Program Committee within the ISSTA Tool Demonstration-track
Huafeng ZhangZhang, Huafeng Go-Clone: Graph-Embedding Based Clone Detector for Golang
Jian ZhangZhang, Jian Beihang University Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
Jie ZhangZhang, Jie Networks and Job Search
Jie ZhangZhang, Jie UCL PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiexin ZhangZhang, Jiexin University of Cambridge LibID: Reliable Identification of Obfuscated Third-Party Android Libraries
Lingming ZhangZhang, Lingming Session Chair of Testing GUIs and Cars (part of ISSTA Technical Papers)
Lingming ZhangZhang, Lingming DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization History-driven Build Failure Fixing: How Far Are We?
Lingming ZhangZhang, Lingming Practical Program Repair via Bytecode Mutation Committee Member in Program Committee within the ISSTA Tool Demonstration-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Lu ZhangZhang, Lu Peking UniversityChina History-driven Build Failure Fixing: How Far Are We?
Man ZhangZhang, Man Kristiania University PC Member in Evaluation Committee within the ISSTA Artifact Evaluation-track
Mengshi ZhangZhang, Mengshi University of Texas at Austin, USA Learning Guided Enumerative Synthesis for Superoptimization
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Tian ZhangZhang, Tian Nanjing UniversityChina Committee Member in Program Committee within the ISSTA Workshop – TAV-CPS/IoT-track
Xiaofang ZhangZhang, Xiaofang CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports
Yuqun ZhangZhang, Yuqun Southern University of Science and Technology DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization
Ziyi ZhangZhang, Ziyi A Large-Scale Study of Application Incompatibilities in Android
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Hao ZhongZhong, Hao Shanghai Jiao Tong UniversityChina TestMig: Migrating GUI Test Cases from iOS to Android
Min ZhouZhou, Min Tsinghua University VFQL: Combinational Static Analysis as Query Language VBSAC: A Value-Based Static Analyzer for C
Shaomin ZhuZhu, Shaomin Committee Member in Organizing Committee within the Testing Competition-track
Ilya ZorinZorin, Ilya Facebook Keynote by Mark Harman - Some Challenges for Software Testing Research" Some Challenges for Software Testing Research (Invited Talk Abstract)
Yun ZouZou, Yun Panel: Regarding Career & Life in Industry and Academia

ISSTA 2019 Contributors

Results (349)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Competitions