ISSTA 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (554)

A Eman Abdullah AlOmarAbdullah AlOmar, Eman Rochester Institute of Technology, USAUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Dave AbrahamsAbrahams, Dave Google Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Yasemin AcarAcar, Yasemin Max Planck Institute for Security and Privacy Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the FTfJP-track Session Chair of Afternoon session 1 (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Abigail AlmanzaAlmanza, Abigail University of California at DavisUnited States Fixing Dependency Errors for Python Build Reproducibility Fixing Dependency Errors for Python Build Reproducibility
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Morning session (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Edward AndertAndert, Edward Arizona State University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Luthfan Anshar LubisAnshar Lubis, Luthfan [Student Talk] Object-Oriented Programming with Versions
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly RM for Users’ Safety and Security in the Built Environment Towards Aggregate Monitoring of Spatio-temporal Properties
B Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Committee Member in Program Committee within the COP-track
Guangdong BaiBai, Guangdong University of QueenslandAustralia MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance PC Member in Program Committee for ISSTA 2021 Session Chair of Session 10 (time band 3) Symbolic Execution 1 (part of ISSTA Technical Papers)
Earl T. BarrBarr, Earl T. University College London, UK PC Member in Program Committee for ISSTA 2021
Fabian Bauer-MarquartBauer-Marquart, Fabian Universität Konstanz Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation)
Tom BeckmannBeckmann, Tom Hasso Plattner Institute [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
Jonathan BellBell, Jonathan Northeastern University PC Member in Program Committee for ISSTA 2021 Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Session Chair of Session 12 (time band 1) Configuration and Dependency (part of ISSTA Technical Papers)
Alexandre BergelBergel, Alexandre University of ChileChile Session Chair of Session 2 (part of REBASE)
Yanxiang BiBi, Yanxiang Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Log-Based Slicing for System-Level Test Cases
Arianna BlasiBlasi, Arianna Università della Svizzera italiana (USI)Switzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Eric BoddenBodden, Eric University of Paderborn; Fraunhofer IEMGermany Doctoral Symposium Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Student Presentations Session 1 (part of ECOOP and ISSTA Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP and ISSTA Doctoral Symposium-track FanSASTic! The magic behind Static Application Security Testing
Eric BoddenBodden, Eric Automated Cell Header Generator for Jupyter Notebooks
CF Bolz-TereickBolz-Tereick, CF Germany Threaded Code Generation with a Meta-tracing JIT Compiler Committee Member in Program Committee within the ICOOOLPS-track
Utpal BoraBora, Utpal IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Carolin BrandtBrandt, Carolin Delft University of TechnologyNetherlands Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
David BremnerBremner, David University of New Brunswick An Eclipse OMR-based Garbage Collector for Python
Lionel BriandBriand, Lionel University of Luxembourg; University of OttawaLuxembourg ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1) Log-Based Slicing for System-Level Test Cases Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
Lei BuBu, Lei Nanjing UniversityChina Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Didier BuchsBuchs, Didier University of Geneva, Switzerland Fuel: A Compiler Framework for Safe Memory Management
Tevfik BultanBultan, Tevfik University of California, Santa BarbaraUnited States PC Member in Program Committee for ISSTA 2021 ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1)
Clément BéraBéra, Clément Google, AarhusDenmark Committee Member in Program Committee within the ICOOOLPS-track
Marcel BöhmeBöhme, Marcel Monash UniversityAustralia Workshops Co-Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track Foundations of Software Testing Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts) Fuzzing
Julian BüningBüning, Julian RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom General Chair in Organizing Comittee for ISSTA 2021 Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Session Chair of ISSTA Impact Paper Award Talk (part of ISSTA Keynotes) Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track Opening Session
Yan CaiCai, Yan Institute of Software at Chinese Academy of SciencesChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Christian A. Candela-UribeCandela-Uribe, Christian A. University of Quindío Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Rafael C. CardosoCardoso, Rafael C. RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia [Invited Talk] Generating Adaptations in Context-Oriented Programming using Reinforcement Learning Options Committee Member in Program Committee within the COP-track
Elias CastegrenCastegren, Elias KTHSweden Committee Member in Organizing Committee within the IWACO-track
Dong ChaiChai, Dong HuaweiChina Predoo: Precision Testing of Deep Learning Operators
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Techniques for Evaluating Pragmatic Call Graph Builders
Manuel ChakravartyChakravarty, Manuel Tweag & IOHKNetherlands Session Chair of Session 4 (part of REBASE)
Satish ChandraChandra, Satish FacebookUnited States Machine Learning for Developer Productivity Session Chair of Testing/Analysis and ML/DL 1 (part of ECOOP and ISSTA Discussions with Experts) Testing/Analysis and ML/DL 1
Julio C. Chavarro-PorrasChavarro-Porras, Julio C. Technological University of Pereira Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Guangke ChenChen, Guangke ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Haibo ChenChen, Haibo Jiangsu University Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
Junjie ChenChen, Junjie Tianjin UniversityChina PC Member in Program Committee for ISSTA 2021 Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Session Chair of Session 26 (time band 3) Testing Deep Learning Systems 5 (part of ISSTA Technical Papers)
Kaixiang ChenChen, Kaixiang Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Ting ChenChen, Ting University of Electronic Science and Technology of ChinaChina SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Xueyuan ChenChen, Xueyuan Iowa State UniversityUnited States Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments
Zehua ChenChen, Zehua National University of Defense TechnologyChina Synthesize Solving Strategy for Symbolic Execution
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Zhenbang ChenChen, Zhenbang National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina PC Member in Program Committee for ISSTA 2021 DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Predoo: Precision Testing of Deep Learning Operators DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Runxiang ChengCheng, Runxiang University of Illinois at Urbana-ChampaignUnited States Test-Case Prioritization for Configuration Testing Test-Case Prioritization for Configuration Testing
Shaoyin ChengCheng, Shaoyin University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Yuanhui ChengCheng, Yuanhui University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Shing-Chi CheungCheung, Shing-Chi University of WaterlooCanada PC Member in Program Committee for ISSTA 2021
Camelia Chisalita-CretuChisalita-Cretu, Camelia Babes-Bolyai University Cluj-NapocaRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Amine ChouchaneChouchane, Amine Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
Maria ChristakisChristakis, Maria MPI-SWSGermany Workshops Co-Chair in Organizing Comittee for ISSTA 2021 Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
Cliff ClickClick, Cliff meUnited States AA - Yet Another New Language
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Fuel: A Compiler Framework for Safe Memory Management
Myra CohenCohen, Myra Iowa State UniversityUnited States ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1)
David CokCok, David Safer Software Consulting, LLC JML and OpenJML for Java 16 Organizing Chair in Program Committee Chair within the FTfJP-track
Christian ColomboColombo, Christian Runtime Verification for Trustworthy Secure Shell Deployment Committee Member in Program Committee within the VORTEX-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Threaded Code Generation with a Meta-tracing JIT Compiler
Emilio CoppaCoppa, Emilio Sapienza University of Rome Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Committee Member in Program Committee within the AISTA-track
Axel CurmiCurmi, Axel Runtime Verification for Trustworthy Secure Shell Deployment
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly RM for Users’ Safety and Security in the Built Environment Committee Member in Program Committee within the VORTEX-track
Eva DarulovaDarulova, Eva MPI-SWSGermany Interval Constraint-Based Mutation Testing of Numerical Specifications
Gaël de Chalendarde Chalendar, Gaël Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Yuetang DengDeng, Yuetang TencentChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Xavier DevroeyDevroey, Xavier Delft University of TechnologyNetherlands Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Giuseppe Di GiudaDi Giuda, Giuseppe RM for Users’ Safety and Security in the Built Environment
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Werner DietlDietl, Werner University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time Steering Committee Member in Steering Committee within the FTfJP-track
Yifeng DingDing, Yifeng Tsinghua UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Laura DiosanDiosan, Laura Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Cynthia DisenfeldDisenfeld, Cynthia Foretellix and Open University of IsraelIsrael Committee Member in Program Committee within the COP-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom C4: the C Compiler Concurrency Checker
Haoyu DongDong, Haoyu Microsoft ResearchChina Semantic Table Structure Identification in Spreadsheets
Jin Song DongDong, Jin Song National University of SingaporeSingapore Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Zhen DongDong, Zhen National University of SingaporeSingapore Understanding and Finding System Setting-Related Defects in Android Apps Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Understanding and Finding System Setting-Related Defects in Android Apps
Wensheng DouDou, Wensheng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Session Chair of Session 23 (time band 2) Testing 4 (part of ISSTA Technical Papers) Semantic Table Structure Identification in Spreadsheets
Xiaoning DuDu, Xiaoning Monash University, Australia Committee Member in Program Committee within the AISTA-track
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Automated Patch Backporting in Linux Automated Patch Backporting in Linux (Experience Paper)
Isaac DunnDunn, Isaac University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation KLEEMA: A DSE based Mutation Analyser Toward Optimal MC/DC Test Case Generation
Saikat DuttaDutta, Saikat University of Illinois at Urbana-ChampaignUnited States Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
E Sebastian EbertEbert, Sebastian Technische Universität DresdenGermany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of Session 4 (time band 1) Testing Deep Learning Systems 2 (part of ISSTA Technical Papers) Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts) Advances in Testing
Joshua EllulEllul, Joshua University of Malta Optional Monitoring for Long-Lived Transactions
Daniel ElsnerElsner, Daniel TU MunichGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Achiya ElyasafElyasaf, Achiya Ben-Gurion University of the NegevIsrael [Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
Sebastian ErdwegErdweg, Sebastian JGU Mainz Posters Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Specification and Implementation of Type Systems (part of ECOOP and ISSTA Discussions with Experts) Specification and Implementation of Type Systems Posters Committee Co-Chair in Posters Committee within the ECOOP and ISSTA Posters-track
Karine Even-MendozaEven-Mendoza, Karine Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Committee Member in Program Committee within the VORTEX-track
Chunrong FangFang, Chunrong Nanjing UniversityChina TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Predoo: Precision Testing of Deep Learning Operators
Marie FarrellFarrell, Marie University of Liverpool Using Dafny to Solve the VerifyThis 2021 Challenges
Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the FTfJP-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the ICOOOLPS-track
Yang FengFeng, Yang Nanjing UniversityChina DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Dileepa FernandoFernando, Dileepa Sri Lanka Technological CampusSri Lanka Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly RVPLAN: A General Purpose Framework for Replanning using Runtime Verification Committee Member in Program Committee within the VORTEX-track
Michael FisherFisher, Michael University of Manchester, UKUnited Kingdom Increasing Confidence in Autonomous Systems
Olivier FlückigerFlückiger, Olivier Northeastern University The Strange and Wondrous Life of Functions in Ř Co-chair in Organizing Committee within the ICOOOLPS-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PL/SE for Concurrent / Distributed Systems
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Chair of Afternoon session 2 (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Ying FuFu, Ying Ant GroupChina SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
G Alessio GambiGambi, Alessio University of PassauGermany DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Han GaoGao, Han University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Xiang GaoGao, Xiang National University of SingaporeSingapore Automated Patch Backporting in Linux Automated Patch Backporting in Linux (Experience Paper)
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of Wellington Naïve Transient Cast Insertion Isn’t (That) Bad
Carlos Gavidia-CalderonGavidia-Calderon, Carlos ThoughtWorks (UK) Ltd.United Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Pritam GharatGharat, Pritam Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Pierre-Yves GibelloGibello, Pierre-Yves Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation KLEEMA: A DSE based Mutation Analyser Toward Optimal MC/DC Test Case Generation
Aviral GoelGoel, Aviral Northeastern University Organizer in REBASE within the REBASE-track Non-Intrusive Migration from Lazy to Eager Evaluation
Iaroslav GolovanovGolovanov, Iaroslav Aalborg University Behavioural Separation with Parallel Usages
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the IWACO-track
Rahul GopinathGopinath, Rahul CISPA, GermanyGermany Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Michael GreenbergGreenberg, Michael Stevens Institute of Technology Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) Advances in Type Systems
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Victoria University of WellingtonNew Zealand Naïve Transient Cast Insertion Isn’t (That) Bad
Gustavo GriecoGrieco, Gustavo Trail of Bits echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
Reese GrimsleyGrimsley, Reese CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Alex GroceGroce, Alex Northern Arizona UniversityUnited States echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Daniel GrumbergGrumberg, Daniel Imperial College LondonUnited Kingdom Web Chair in Organizing Comittee for ISSTA 2021
Maximilian GrübelGrübel, Maximilian Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
Binfa GuiGui, Binfa Nanjing University of Science and TechnologyChina UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Hendra GunadiGunadi, Hendra Australian National UniversityAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Jianmin GuoGuo, Jianmin Tsinghua UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Tudor GîrbaGîrba, Tudor feenk.com Molding Knowledge
Daniel Gómez BetancurGómez Betancur, Daniel Technological University of Pereira Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
H Andrew HabibHabib, Andrew SnT, University of LuxembourgLuxembourg Finding Data Compatibility Bugs with JSON Subschema Checking Finding Data Compatibility Bugs with JSON Subschema Checking
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Session Chair of Session 5 (time band 2) Android Application Analysis and Testing (part of ISSTA Technical Papers) SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Philipp HallerHaller, Philipp KTHSweden Committee Member in Program Committee within the IWACO-track
Shi HanHan, Shi Microsoft ResearchChina Semantic Table Structure Identification in Spreadsheets
Dan HaoHao, Dan Peking UniversityChina PC Member in Program Committee for ISSTA 2021
Wasif HaqueHaque, Wasif University of Texas at DallasUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Mark HarmanHarman, Mark University College LondonUnited Kingdom PC Member in Program Committee for ISSTA 2021
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Techniques for Evaluating Pragmatic Call Graph Builders
Florian HauerHauer, Florian TU MunichGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Jiawei HeHe, Jiawei Nanjing University TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Pinjia HeHe, Pinjia ETH Zurich Committee Member in Program Committee within the AISTA-track
Paula HerberHerber, Paula University of Munster, GermanyGermany Committee Member in Program Committee within the FTfJP-track
Ben HermannHermann, Ben Technical University DortmundGermany Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Adrian HerreraHerrera, Adrian Australian National University; DSTAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Finding Data Compatibility Bugs with JSON Subschema Checking Finding Data Compatibility Bugs with JSON Subschema Checking
Kenji HisazumiHisazumi, Kenji Kyushu University [Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System Committee Member in Program Committee within the COP-track
Michael HomerHomer, Michael Victoria University of Wellington Naïve Transient Cast Insertion Isn’t (That) Bad
Tony HoskingHosking, Tony Australian National University; CSIRO’s Data61Australia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Yunhan HouHou, Yunhan Nanjing University TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Eve HuHu, Eve CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Heqing HuangHuang, Heqing Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Song HuangHuang, Song Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Marieke HuismanHuisman, Marieke University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Nargiz HumbatovaHumbatova, Nargiz USI LuganoSwitzerland DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Behavioural Separation with Parallel Usages
I Bob IannucciIannucci, Bob CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Threaded Code Generation with a Meta-tracing JIT Compiler
J Foad JafarinejadJafarinejad, Foad Technical University of DarmstadtGermany NerdBug: Automated Bug Detection in Neural Networks
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation
Gunel JahangirovaJahangirova, Gunel USI LuganoSwitzerland DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
Aryaman JainJain, Aryaman University of Illinois at Urbana-ChampaignUnited States Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Mathias Steen JakobsenJakobsen, Mathias Steen Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
Clothilde JeangoudouxJeangoudoux, Clothilde MPI-SWSGermany Interval Constraint-Based Mutation Testing of Numerical Specifications
Jan JečmenJečmen, Jan The Strange and Wondrous Life of Functions in Ř
Zhouyang JiaJia, Zhouyang National University of Defense TechnologyChina Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Zhouxian JianJian, Zhouxian Beijing Jiaotong University Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation)
Muhui JiangJiang, Muhui Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Xinrui JiangJiang, Xinrui Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Yu JiangJiang, Yu Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? AdvDoor: Adversarial Backdoor Attack of Deep Learning System SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts AdvDoor: Adversarial Backdoor Attack of Deep Learning System Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Hai JinJin, Hai Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Carlee Joe-WongJoe-Wong, Carlee CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Richard JonesJones, Richard University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Committee Member in Program Committee within the VORTEX-track
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Organizing Committee within the IWACO-track
K Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
Ashwin Kallingal JoshyKallingal Joshy, Ashwin Iowa State UniversityUnited States Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments
Ritu KapurKapur, Ritu Indian Institute of Technology, Ropar, India.India Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Stephen KellKell, Stephen King's College LondonUnited Kingdom The Two Cultures of Language Implementation
Colette KerrKerr, Colette ČVUTCzechia Userfault Objects: Transparent Programmable Memory
Mikkel Klinke KettunenKettunen, Mikkel Klinke Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Florida Gulf Coast UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Mohammad KhayatianKhayatian, Mohammad Arizona State University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Gregor KiczalesKiczales, Gregor Session Chair of Session 3 (part of REBASE)
Tim KlugeKluge, Tim TU Dresden, Germany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Committee Member in Program Committee within the FTfJP-track
Anil KoyuncuKoyuncu, Anil SNT, University of Luxembourg Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) Practical Static Analysis and Bug Finding
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Daniel KroeningKroening, Daniel AmazonUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Sebastián KrynskiKrynski, Sebastián Czech Technical University in Prague The Strange and Wondrous Life of Functions in Ř
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PL/SE for Concurrent / Distributed Systems
Shreyansh KulshreshthaKulshreshtha, Shreyansh Indian Institute of Technology MandiIndia Can we run in parallel? Automating Loop Parallelization for TornadoVM
Filip KřikavaKřikava, Filip Czech Technical University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Organizer in REBASE within the REBASE-track
L Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Andrei LascuLascu, Andrei Imperial College London Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation)
Chris LattnerLattner, Chris SiFive Session Chair of Session 5 (part of REBASE)
Christoph LauterLauter, Christoph University of Alaska at AnchorageUnited States Interval Constraint-Based Mutation Testing of Numerical Specifications
Julia LawallLawall, Julia InriaFrance Automated Patch Backporting in Linux Automated Patch Backporting in Linux (Experience Paper)
Claire Le GouesLe Goues, Claire Carnegie Mellon University Let me fix that for you: An Overview of Automated Program Repair
Wei LeLe, Wei Iowa State UniversityUnited States Doctoral Symposium Co-Chair in Organizing Comittee for ISSTA 2021 Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments Session Chair of Student presentations Session 2 (part of ECOOP and ISSTA Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP and ISSTA Doctoral Symposium-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Steering Committee within the FTfJP-track
Yeseop LeeLee, Yeseop Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Karoliina LehtinenLehtinen, Karoliina University of LiverpoolUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Caroline LemieuxLemieux, Caroline Microsoft ResearchUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Lucie LerchLerch, Lucie Czech Technical University in PragueCzechia Finance Chair in Organizing Comittee for ISSTA 2021
Ding LiLi, Ding NEC LabsChina Committee Member in Program Committee within the AISTA-track
Feng LiLi, Feng Peking UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Guiyin LiLi, Guiyin Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Huizhong LiLi, Huizhong WeBankChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Junxin LiLi, Junxin East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Shanshan LiLi, Shanshan National University of Defense TechnologyChina Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wang LiLi, Wang National University of Defense TechnologyChina Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Xiang LiLi, Xiang Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Xuandong LiLi, Xuandong Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Yishuai LiLi, Yishuai University of PennsylvaniaUnited States Model-Based Testing of Networked Applications Model-Based Testing of Networked Applications
Yuanchun LiLi, Yuanchun Microsoft ResearchChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Yun LiLi, Yun Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Zheming LiLi, Zheming Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Kyle LiangLiang, Kyle Carnegie Mellon University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Tan LiangLiang, Tan Philipps-Universität Marburg Using refactoring features to solve the problem of nested refactoring (Junior Presentation)
Zhenkai LiangLiang, Zhenkai National University of SingaporeSingapore Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Bruno LimaLima, Bruno Faculty of Engineering, University of Porto and INESC TECPortugal Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yun LinLin, Yun National University of SingaporeSingapore Towards Automated Debugging: A Trace Travelling Oriented and AI-based Approach Committee Member in Program Committee within the AISTA-track
Bingyan LiuLiu, Bingyan Peking UniversityChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Jia LiuLiu, Jia Nanjing UniversityChina Predoo: Precision Testing of Deep Learning Operators
Jiawei LiuLiu, Jiawei Nanjing UniversityChina TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Predoo: Precision Testing of Deep Learning Operators
Yang LiuLiu, Yang Nanyang Technological University PC Member in Program Committee for ISSTA 2021 Session Chair of Testing/Analysis and ML/DL 1 (part of ECOOP and ISSTA Discussions with Experts) Testing/Analysis and ML/DL 1
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Yunxin LiuLiu, Yunxin Tsinghua UniversityChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Zixi LiuLiu, Zixi Nanjing UniversityChina DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina PC Member in Program Committee for ISSTA 2021
Stephan LukasczykLukasczyk, Stephan University of PassauGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Sicheng LuoLuo, Sicheng Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Yunlai LuoLuo, Yunlai National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Grammar-Agnostic Symbolic Execution by Token Symbolization
Xiao LvLv, Xiao Microsoft ResearchChina Semantic Table Structure Identification in Spreadsheets
Yingjun LyuLyu, Yingjun AmazonUnited States SAND: A Static Analysis Approach for Detecting SQL Antipatterns
M Fuchen MaMa, Fuchen Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Lei MaMa, Lei University of AlbertaCanada Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Meng MaMa, Meng Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Shiqing MaMa, Shiqing Rutgers University PC Member in Program Committee for ISSTA 2021 Session Chair of Session 13 (time band 2) Testing Deep Learning Systems 4 (part of ISSTA Technical Papers)
Magnus MadsenMadsen, Magnus Aarhus University Committee Member in Program Committee within the ICOOOLPS-track
Rasool MagharehMaghareh, Rasool HuaweiCanada Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation
Shane MagrathMagrath, Shane DSTAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Kulani Tharaka MahadewaMahadewa, Kulani Tharaka National University of SingaporeSingapore Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Namrata MalkaniMalkani, Namrata Indian Institute of Technology MandiIndia Refactoring Scala Programs to Promote Functional Design Patterns
Michaël MarcozziMarcozzi, Michaël Université Paris-Saclay, CEA, ListFrance Session Chair of Session 28 (time band 3) Fuzzing and Runtime Analysis (part of ISSTA Technical Papers)
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Paul MarinescuMarinescu, Paul FacebookUnited Kingdom PC Member in Program Committee for ISSTA 2021
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Test-Case Prioritization for Configuration Testing Session Chair of Session 7 (time band 2) Data Processing Application Analysis (part of ISSTA Technical Papers) Test-Case Prioritization for Configuration Testing
Stefan MarrMarr, Stefan University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting Naïve Transient Cast Insertion Isn’t (That) Bad
Alberto Martin-LopezMartin-Lopez, Alberto Universidad de SevillaSpain Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track RESTest: Automated Black-Box Testing of RESTful Web APIs
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track Threaded Code Generation with a Meta-tracing JIT Compiler
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom PC Member in Program Committee for ISSTA 2021 Session Chair of Session 15 (time band 3) Testing 1 (part of ISSTA Technical Papers)
Erik MeijerMeijer, Erik Variational Calculus for Dummies
Tom MelhamMelham, Tom University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Silvia MeschiniMeschini, Silvia RM for Users’ Safety and Security in the Built Environment
Salma MessaoudiMessaoudi, Salma University of LuxembourgLuxembourg Log-Based Slicing for System-Level Test Cases
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PL/SE for Concurrent / Distributed Systems NerdBug: Automated Bug Detection in Neural Networks Impact of Programming Languages on Machine Learning Bugs ECOOP 2022 Preview
Aleksandar MicicMicic, Aleksandar IBM, Canada An Eclipse OMR-based Garbage Collector for Python
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Mohamed Wiem MkaouerMkaouer, Mohamed Wiem Rochester Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ali MohebbiMohebbi, Ali USI LuganoSwitzerland Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Using Dafny to Solve the VerifyThis 2021 Challenges Steering Committee Chair in Steering Committee within the FTfJP-track
Shouvick MondalMondal, Shouvick IIT MadrasIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Golla Monika RaniMonika Rani, Golla National Institute of Technology, Warangal KLEEMA: A DSE based Mutation Analyser
Steven MonteiroMonteiro, Steven University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Austin MordahlMordahl, Austin University of Texas at DallasUnited States The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Suchita MukherjeeMukherjee, Suchita University of California at DavisUnited States Fixing Dependency Errors for Python Build Reproducibility Fixing Dependency Errors for Python Build Reproducibility
Alan MycroftMycroft, Alan University of Cambridge, UK Refactoring traces to identify concurrency improvements Source code patches from dynamic analysis
Anders MøllerMøller, Anders Aarhus UniversityDenmark Modular Call Graph Construction for Security Scanning of Node.js Applications Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track Opening Session
N Sarah NadiNadi, Sarah University of AlbertaCanada Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Tsuneo NakanishiNakanishi, Tsuneo [Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada An Eclipse OMR-based Garbage Collector for Python
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track NerdBug: Automated Bug Detection in Neural Networks Impact of Programming Languages on Machine Learning Bugs
Carlos Diego Nascimento DamascenoNascimento Damasceno, Carlos Diego Radboud University Nijmegen, NetherlandsNetherlands Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Laura NenziNenzi, Laura University of TriesteItaly Committee Member in Program Committee within the VORTEX-track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa GoogleSwitzerland Publicity Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Benjamin Barslev NielsenNielsen, Benjamin Barslev Aarhus UniversityDenmark Modular Call Graph Construction for Security Scanning of Node.js Applications
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Session Chair of Session 2 (part of REBASE)
Andrew NisbetNisbet, Andrew University of Manchester, UK Committee Member in Program Committee within the ICOOOLPS-track
James NobleNoble, James Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the FTfJP-track Naïve Transient Cast Insertion Isn’t (That) Bad
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology [Invited Talk] Aspect-Oriented Modeling Mechanism for Ultra-Flexible Software Architecture Committee Member in Program Committee within the COP-track
Yannic NollerNoller, Yannic National University of SingaporeSingapore QFuzz: Quantitative Fuzzing for Side Channels Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track QFuzz: Quantitative Fuzzing for Side Channels
Michael NorrishNorrish, Michael CSIRO’s Data61; Australian National UniversityAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom Artifact Evaluation Co-Chair in Organizing Comittee for ISSTA 2021 Co-chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Session Chair of Session 14 (time band 2) Symbolic Execution 2 (part of ISSTA Technical Papers)
Muhammad Numair MansurNumair Mansur, Muhammad MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
O Robert O'CallahanO'Callahan, Robert PernoscoNew Zealand Ubiquitous Omniscient Debugging
Takeshi OhkawaOhkawa, Takeshi Tokai UniversityJapan [Invited Talk] A Method for Context-Oriented Management of ROS2-FPGA Module Reconfiguration
Willian OizumiOizumi, Willian PUC-Rio, BrazilBrazil Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Renzo OlivaresOlivares, Renzo University of California, RiversideUnited States Techniques for Evaluating Pragmatic Call Graph Builders
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) Advances in Type Systems
Alessandro OrsoOrso, Alessandro Georgia TechUnited States PC Member in Program Committee for ISSTA 2021 Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)
Alex OrsoOrso, Alex Georgia Institute of Technology United States Session Chair of Session 3 (time band 1) Android Application Testing (part of ISSTA Technical Papers)
Indigo OrtonOrton, Indigo University of Cambridge, UK Refactoring traces to identify concurrency improvements Source code patches from dynamic analysis
P Gordon PacePace, Gordon University of MaltaMalta Optional Monitoring for Long-Lived Transactions
Rohan PadhyePadhye, Rohan Carnegie Mellon University PC Member in Program Committee for ISSTA 2021 Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Session Chair of Session 19 (time band 1) Testing 2 (part of ISSTA Technical Papers) Session Chair of Session 21 (time band 2) Testing 3 (part of ISSTA Technical Papers)
Cong PanPan, Cong Beihang UniversityChina Continuous Test Suite Failure Prediction
Minxue PanPan, Minxue Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Weiyu PanPan, Weiyu National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution
Yicheng PanPan, Yicheng Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Annibale PanichellaPanichella, Annibale Delft University of Technology; University of LuxembourgNetherlands PC Member in Program Committee for ISSTA 2021 Log-Based Slicing for System-Level Test Cases Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts) Advances in Testing
Mike PapadakisPapadakis, Mike University of Luxembourg, LuxembourgLuxembourg Tool demonstrations co-chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Co-chair in Program Committee within the ISSTA Tool Demonstrations-track Session Chair of Session 27 (time band 3) Bugs and Analysis 2 (part of ISSTA Technical Papers)
Jihyeok ParkPark, Jihyeok KAISTSouth Korea JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
Chris ParninParnin, Chris North Carolina State University Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center PC Member in Program Committee for ISSTA 2021 ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1)
Felix PauckPauck, Felix Paderborn University, GermanyGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Mathias PayerPayer, Mathias EPFLSwitzerland Gramatron: Effective Grammar-aware Fuzzing Seed Selection for Successful Fuzzing Gramatron: Effective Grammar-Aware Fuzzing Seed Selection for Successful Fuzzing Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts) Fuzzing
Yu PeiPei, Yu Hong Kong Polytechnic UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Laura PellegriniPellegrini, Laura RM for Users’ Safety and Security in the Built Environment
Chao PengPeng, Chao University of Edinburgh, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Justyna PetkePetke, Justyna University College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Fabio PetrilloPetrillo, Fabio Université du Québec à Chicoutimi, CanadaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Mauro PezzePezze, Mauro USI Lugano; Schaffhausen Institute of TechnologySwitzerland PC Member in Program Committee for ISSTA 2021 Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Session Chair of Session 9 (time band 3) Testing Deep Learning Systems 3 (part of ISSTA Technical Papers) Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Session Chair of Testing/Analysis and ML/DL 2 (part of ECOOP and ISSTA Discussions with Experts) Testing/Analysis and ML/DL 2
Wolfram PfeiferPfeifer, Wolfram Karlsruhe Institute of Technology (KIT)Germany Reconstructing Z3 Proofs in KeY: There and Back Again
Thuan PhamPham, Thuan The University of Melbourne ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Session Chair of Session 17 (time band 3) Testing Miscellaneous Systems (part of ISSTA Technical Papers)
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Model-Based Testing of Networked Applications Model-Based Testing of Networked Applications
Luís PinaPina, Luís University of Illinois at ChicagoUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of Session 8 (time band 2) Dynamic Analysis (part of ISSTA Technical Papers)
Denys PoshyvanykPoshyvanyk, Denys William and MaryUnited States PC Member in Program Committee for ISSTA 2021
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the IWACO-track
Hadrien PougetPouget, Hadrien University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Michael PradelPradel, Michael University of StuttgartGermany Tool demonstrations co-chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Finding Data Compatibility Bugs with JSON Subschema Checking Session Chair of ISSTA Tool Demos (Live Discussion) 1 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (Live Discussion) 3 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (One-Minute Teasers) 1 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (One-Minute Teasers) 3 (part of ISSTA Tool Demonstrations) Co-chair in Program Committee within the ISSTA Tool Demonstrations-track Session Chair of Session 16 (time band 3) Binary Analysis (part of ISSTA Technical Papers) Session Chair of Session 25 (time band 3) Testing and Analysis (part of ISSTA Technical Papers) Finding Data Compatibility Bugs with JSON Subschema Checking Continuous Test Suite Failure Prediction Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) Practical Static Analysis and Bug Finding
Ashwin Prasad Shivarpatna VenkateshPrasad Shivarpatna Venkatesh, Ashwin Paderborn UniversityGermany Automated Cell Header Generator for Jupyter Notebooks
Mukul PrasadPrasad, Mukul Fujitsu Laboratories of AmericaUnited States PC Member in Program Committee for ISSTA 2021
Alexander PretschnerPretschner, Alexander TU MunichGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Session Chair of Session 6 (part of REBASE)
Geguang PuPu, Geguang East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Armand PuccettiPuccetti, Armand Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Violet Ka I PunPun, Violet Ka I Committee Member in Program Committee within the FTfJP-track
Q Shaz QadeerQadeer, Shaz FacebookUnited States The Move language for the Diem Blockchain
Shisong QinQin, Shisong Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
R Dimi RacordonRacordon, Dimi University of Geneva, SwitzerlandSwitzerland Native Implementation of Mutable Value Semantics Fuel: A Compiler Framework for Safe Memory Management Native Implementation of Mutable Value Semantics
Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom Posters Co-Chair in Organizing Comittee for ISSTA 2021 Posters Committee Co-Chair in Posters Committee within the ECOOP and ISSTA Posters-track
Abdul RaufRauf, Abdul Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Giles RegerReger, Giles University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Silke ReimerReimer, Silke IVU Traffic TechnologiesGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition Committee Member in Program Committee within the COP-track
Meng RenRen, Meng Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Conor ReynoldsReynolds, Conor Maynooth UniversityIreland Using Dafny to Solve the VerifyThis 2021 Challenges
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Vincenzo RiccioRiccio, Vincenzo USI LuganoSwitzerland DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Cedric RichterRichter, Cedric Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Artifact Evaluation Co-Chair in Organizing Comittee for ISSTA 2021 Co-chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Richard RobertsRoberts, Richard Victoria University of WellingtonNew Zealand Naïve Transient Cast Insertion Isn’t (That) Bad
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Who is Afraid of the Turnstile? Session Chair of Session 4 (part of REBASE)
Ori RothRoth, Ori TechnionIsrael Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore PC Member in Program Committee for ISSTA 2021 Automated Patch Backporting in Linux ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Automated Patch Backporting in Linux (Experience Paper)
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Fixing Dependency Errors for Python Build Reproducibility Fixing Dependency Errors for Python Build Reproducibility
Antonio Ruiz-CortésRuiz-Cortés, Antonio University of SevilleSpain RESTest: Automated Black-Box Testing of RESTful Web APIs
Neha RungtaRungta, Neha Amazon Web ServicesUnited States PC Member in Program Committee for ISSTA 2021
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea PC Member in Program Committee for ISSTA 2021 ISSTA 2022 Preview
S Brennan SaetaSaeta, Brennan Google Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
John A. Sanabria-OrdoñezSanabria-Ordoñez, John A. University of Valle Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Hassan SartajSartaj, Hassan National University of Computer and Emerging Sciences, Islamabad, PakistanPakistan Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Committee Member in Program Committee within the VORTEX-track
Jonas SchifflSchiffl, Jonas Reconstructing Z3 Proofs in KeY: There and Back Again
Ulrich SchöppSchöpp, Ulrich fortiss GmbHGermany A Generic Type System for Featherweight Java
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Co-chair in Organizing Committee within the ICOOOLPS-track
Md Syadus SefatSefat, Md Syadus Virginia TechUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Elena SeghezziSeghezzi, Elena RM for Users’ Safety and Security in the Built Environment
Sergio SeguraSegura, Sergio Universidad de SevillaSpain RESTest: Automated Black-Box Testing of RESTful Web APIs
Jeeva SelvamSelvam, Jeeva University of Illinois at Urbana-ChampaignUnited States Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Koushik SenSen, Koushik University of California, Berkeley PC Member in Program Committee for ISSTA 2021
Luis E. Sepúlveda-RodríguezSepúlveda-Rodríguez, Luis E. University of Quindío Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Camelia SerbanSerban, Camelia Department of Computer Science, Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Denys ShabalinShabalin, Denys EPFL, Switzerland Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Fei ShaoShao, Fei Case Western Reserve UniversityUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Automated Patch Backporting in Linux Automated Patch Backporting in Linux (Experience Paper)
Rishi SharmaSharma, Rishi Indian Institute of Technology MandiIndia Can we run in parallel? Automating Loop Parallelization for TornadoVM
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Committee Member in Program Committee within the AISTA-track
Elena ShermanSherman, Elena Boise State UniversityUnited States PC Member in Program Committee for ISSTA 2021
August ShiShi, August University of Texas at AustinUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of ISSTA Tool Demos (One-Minute Teasers) 2 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (Live Discussion) 2 (part of ISSTA Tool Demonstrations) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Session Chair of Session 11 (time band 1) Machine Learning and Testing (part of ISSTA Technical Papers)
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Donghwan ShinShin, Donghwan University of LuxembourgLuxembourg Log-Based Slicing for System-Level Test Cases Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Finding Data Compatibility Bugs with JSON Subschema Checking Finding Data Compatibility Bugs with JSON Subschema Checking
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
David ShriverShriver, David University of VirginiaUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ziqi ShuaiShuai, Ziqi National University of Defense TechnologyChina Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution Synthesize Solving Strategy for Symbolic Execution
Konrad SiekSiek, Konrad Czech Technical University in PraguePoland Userfault Objects: Transparent Programmable Memory
Julien SignolesSignoles, Julien CEA LISTFrance The E-ACSL Perspective on Runtime Assertion Checking
John L. SingletonSingleton, John L. GitHub, Inc.United States Committee Member in Program Committee within the FTfJP-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens PC Member in Program Committee for ISSTA 2021 ISSTA 2022 Preview
Mary Lou SoffaSoffa, Mary Lou University of Virginia Keynote
Erikas SokolovasSokolovas, Erikas University of Twente, The NetherlandsNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Daniel SokolowskiSokolowski, Daniel TU DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
Fu SongSong, Fu ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Wei SongSong, Wei Nanjing University of Science and TechnologyChina UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Manu SridharanSridharan, Manu University of California at RiversideUnited States Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track Techniques for Evaluating Pragmatic Call Graph Builders Opening Session
Prashast SrivastavaSrivastava, Prashast Purdue UniversityUnited States Gramatron: Effective Grammar-aware Fuzzing Gramatron: Effective Grammar-Aware Fuzzing
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Federico II University of Naples Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation)
Benjamin SteenhoekSteenhoek, Benjamin Iowa State UniversityUnited States Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments
Thomas StifterStifter, Thomas IEELuxembourg Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Arnon SturmSturm, Arnon Ben-Gurion University of the NegevIsrael [Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
Ting SuSu, Ting East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Zhendong SuSu, Zhendong ETH ZurichSwitzerland PC Member in Program Committee for ISSTA 2021 Understanding and Finding System Setting-Related Defects in Android Apps ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Understanding and Finding System Setting-Related Defects in Android Apps
Yulei SuiSui, Yulei University of Technology SydneyAustralia Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Alexander J. SummersSummers, Alexander J. University of British Columbia (UBC)Canada Steering Committee Member in Steering Committee within the FTfJP-track
Chengnian SunSun, Chengnian University of WaterlooCanada PC Member in Program Committee for ISSTA 2021 Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Jingling SunSun, Jingling East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Jun SunSun, Jun Singapore Management UniversitySingapore Type and Interval aware Array Constraint Solving for Symbolic Execution Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Attack as Defense: Characterizing Adversarial Examples using Robustness Type and Interval Aware Array Constraint Solving for Symbolic Execution Session Chair of Symbolic Execution (part of ECOOP and ISSTA Discussions with Experts) Symbolic Execution
Ning SunSun, Ning Nanjing UniversityChina Predoo: Precision Testing of Deep Learning Operators
Sebastian SztwiertniaSztwiertnia, Sebastian Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
César SánchezSánchez, César IMDEA Software InstituteSpain Synchronous and Asynchronous Stream Runtime Verification
T Lavinia Chiara TagliabueTagliabue, Lavinia Chiara RM for Users’ Safety and Security in the Built Environment
Lin TanTan, Lin Purdue UniversityUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of Session 2 (time band 1) Testing Deep Learning Systems 1 (part of ISSTA Technical Papers)
Shin Hwei TanTan, Shin Hwei Southern University of Science and TechnologyChina Automated Patch Backporting in Linux Session Chair of Session 18 (time band 3) Android Application Testing 2 (part of ISSTA Technical Papers) Automated Patch Backporting in Linux (Experience Paper)
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan [Student Talk] A Language to Safely Exploit Multi-Version Modules at the Expression-level
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Lorenzo TestaTesta, Lorenzo RM for Users’ Safety and Security in the Built Environment
Manas ThakurThakur, Manas Indian Institute of Technology Mandi Can we run in parallel? Automating Loop Parallelization for TornadoVM Refactoring Scala Programs to Promote Functional Design Patterns
Yongqiang TianTian, Yongqiang Tianjin UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Yuan TianTian, Yuan Queens University, Kingston, CanadaCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Frank TipTip, Frank Northeastern UniversityUnited States Summer School Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Summer School Co-Chair in Summer School Committee within the ECOOP and ISSTA Summer School-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States QFuzz: Quantitative Fuzzing for Side Channels Session Chair of Session 22 (time band 2) Bugs and Analysis 1 (part of ISSTA Technical Papers) QFuzz: Quantitative Fuzzing for Side Channels
Paolo TonellaTonella, Paolo USI LuganoSwitzerland PC Member in Program Committee for ISSTA 2021 DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Martin Toldam TorpTorp, Martin Toldam Aarhus UniversityDenmark Modular Call Graph Construction for Security Scanning of Node.js Applications
Gianluca TortaTorta, Gianluca RM for Users’ Safety and Security in the Built Environment Towards Aggregate Monitoring of Spatio-temporal Properties
Omer TrippTripp, Omer AmazonUnited States Sponsorship Co-Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021
Omer TrippTripp, Omer IBM Thomas J. Watson Research CenterIsrael Session Chair of Session 24 (time band 2) Android and Web Application Testing (part of ISSTA Technical Papers)
Omer TrippTripp, Omer AmazonUnited States SAND: A Static Analysis Approach for Detecting SQL Antipatterns
U Fitash Ul HaqUl Haq, Fitash University of LuxembourgLuxembourg Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Reconstructing Z3 Proofs in KeY: There and Back Again Committee Member in Program Committee within the FTfJP-track
Ganesha UpadhyayaUpadhyaya, Ganesha Harmony.oneUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
V Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the FTfJP-track
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Mark VellaVella, Mark Runtime Verification for Trustworthy Secure Shell Deployment
Alessandro VerriVerri, Alessandro Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Andreea VescanVescan, Andreea Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Eelco VisserVisser, Eelco Delft University of Technology Session Chair of Specification and Implementation of Type Systems (part of ECOOP and ISSTA Discussions with Experts) Specification and Implementation of Type Systems
Willem VisserVisser, Willem Stellenbosch University, South AfricaSouth Africa Session Chair of Symbolic Execution (part of ECOOP and ISSTA Discussions with Experts) Symbolic Execution
Jan VitekVitek, Jan Northeastern University / Czech Technical UniversityCzechia Organizer in REBASE within the REBASE-track ECOOP 2022 Preview Non-Intrusive Migration from Lazy to Eager Evaluation The Strange and Wondrous Life of Functions in Ř
Sasha VolokhVolokh, Sasha University of Southern CaliforniaUnited States SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Kostyantyn VorobyovVorobyov, Kostyantyn Oracle Labs, Australia MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
W Ben WangWang, Ben Hohai University AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation)
Chong WangWang, Chong Nanjing University of Aeronautics and AstronauticsChina Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Daiwei WangWang, Daiwei Nanjing University TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Ji WangWang, Ji National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Type and Interval aware Array Constraint Solving for Symbolic Execution Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Type and Interval Aware Array Constraint Solving for Symbolic Execution Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution
Jiang WangWang, Jiang HuaweiChina Predoo: Precision Testing of Deep Learning Operators
Jingbo WangWang, Jingbo University of Southern California Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jingyi WangWang, Jingyi Zhejiang UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Jun WangWang, Jun Post LuxembourgLuxembourg Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Ping WangWang, Ping Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Shuai WangWang, Shuai Hong Kong University of Science and Technology Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Teng WangWang, Teng National University of Defense TechnologyChina Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Wenyu WangWang, Wenyu University of Illinois at Urbana-ChampaignUnited States An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Xin WangWang, Xin Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Guannan WeiWei, Guannan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Hanlin WeiWei, Hanlin The University of Queensland MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Jun WeiWei, Jun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Semantic Table Structure Identification in Spreadsheets
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android Session Chair of Session 20 (time band 1) Analysis (part of ISSTA Technical Papers) The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Aaron WeissWeiss, Aaron Northeastern UniversityUnited States Committee Member in Program Committee within the IWACO-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom C4: the C Compiler Concurrency Checker
Matt WindsorWindsor, Matt University of York C4: the C Compiler Concurrency Checker
Dominik WintererWinterer, Dominik ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ellen WittingenWittingen, Ellen University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
John WrennWrenn, John Brown UniversityUnited States Students can't test. Or can they?
Dinghao WuWu, Dinghao Pennsylvania State UniversityUnited States Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Rongxin WuWu, Rongxin Xiamen UniversityChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Yueming WuWu, Yueming Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
X Liao XiangkeXiangke, Liao National University of Defense TechnologyChina Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States PC Member in Program Committee for ISSTA 2021 WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change Session Chair of Session 1 (time band 1) Web Applications (part of ISSTA Technical Papers) WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Tao XieXie, Tao Peking UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools Session Chair of Testing/Analysis and ML/DL 2 (part of ECOOP and ISSTA Discussions with Experts) Testing/Analysis and ML/DL 2
Xiaofei XieXie, Xiaofei Kyushu UniversityJapan Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Weitian XingXing, Weitian University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Chuangjie XuXu, Chuangjie fortiss GmbHGermany A Generic Type System for Featherweight Java
Erci XuXu, Erci National University of Defense TechnologyChina Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Hui XuXu, Hui Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Jingwei XuXu, Jingwei Peking UniversityChina WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Rui XuXu, Rui Case Western Reserve UniversityUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Tianyin XuXu, Tianyin University of Illinois at Urbana-ChampaignUnited States Test-Case Prioritization for Configuration Testing Test-Case Prioritization for Configuration Testing
Tongtong XuXu, Tongtong Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Zhenyang XuXu, Zhenyang University of WaterlooCanada Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Jingling XueXue, Jingling UNSWAustralia Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Lei XueXue, Lei Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Yinxing XueXue, Yinxing University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Y Junqi YanYan, Junqi Nanjing University of Aeronautics and AstronauticsChina Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Luyi YanYan, Luyi Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Yuxiao YanYan, Yuxiao Xi'an Jiaotong University; Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Sen YangYang, Sen Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Wei YangYang, Wei University of Texas at DallasUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Yiwei YangYang, Yiwei ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Ziyue YangYang, Ziyue Microsoft ResearchChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Peisen YaoYao, Peisen Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Tuba YavuzYavuz, Tuba University of FloridaUnited States PC Member in Program Committee for ISSTA 2021
Dan YeYe, Dan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Semantic Table Structure Identification in Spreadsheets
Yanfang YeYe, Yanfang Case Western Reserve UniversityUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Zijing YinYin, Zijing Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Wei YouYou, Wei Renmin University of ChinaChina PC Member in Program Committee for ISSTA 2021
Tingting YuYu, Tingting University of KentuckyUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Tingting YuYu, Tingting Institute of software, Chinese academy of sciencesChina Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Min YuanYuan, Min WeBankChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Ming YuanYuan, Ming Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Model-Based Testing of Networked Applications Model-Based Testing of Networked Applications
Andreas ZellerZeller, Andreas CISPAGermany Summer School Co-Chair in Organizing Comittee for ISSTA 2021 ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Summer School Co-Chair in Summer School Committee within the ECOOP and ISSTA Summer School-track Session Chair of Session 1 (part of REBASE)
Olivier ZendraZendra, Olivier Committee Member in Program Committee within the ICOOOLPS-track
Xia ZengZeng, Xia TencentChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Zhengran ZengZeng, Zhengran Southern University of Science and TechnologyChina Deep Just-in-Time Defect Prediction: How Far Are We? Deep Just-in-Time Defect Prediction: How Far Are We?
Chao ZhangZhang, Chao Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Dongmei ZhangZhang, Dongmei Microsoft ResearchChina ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Semantic Table Structure Identification in Spreadsheets
Guofeng ZhangZhang, Guofeng Hunan UniversityChina Grammar-Agnostic Symbolic Execution by Token Symbolization Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution
Haotian ZhangZhang, Haotian KwaiChina Deep Just-in-Time Defect Prediction: How Far Are We? Deep Just-in-Time Defect Prediction: How Far Are We?
Lingfeng ZhangZhang, Lingfeng East China Normal UniversityChina Efficient White-box Fairness Testing through Gradient Search Efficient White-Box Fairness Testing through Gradient Search
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States PC Member in Program Committee for ISSTA 2021 Test-Case Prioritization for Configuration Testing Deep Just-in-Time Defect Prediction: How Far Are We?
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Session Chair of Session 6 (time band 2) Fuzzing (part of ISSTA Technical Papers)
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Test-Case Prioritization for Configuration Testing Deep Just-in-Time Defect Prediction: How Far Are We?
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Min ZhangZhang, Min East China Normal UniversityChina Efficient White-box Fairness Testing through Gradient Search Efficient White-Box Fairness Testing through Gradient Search
Quan ZhangZhang, Quan Tsinghua UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Tian ZhangZhang, Tian Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Weiming ZhangZhang, Weiming University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States PC Chair in Organizing Comittee for ISSTA 2021 PC Chair in Program Committee for ISSTA 2021 Session Chair of ISSTA Impact Paper Award Talk (part of ISSTA Keynotes) Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track Opening Session
Xufan ZhangZhang, Xufan Nanjing UniversityChina Predoo: Precision Testing of Deep Learning Operators
Yakun ZhangZhang, Yakun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Semantic Table Structure Identification in Spreadsheets
Yanjun ZhangZhang, Yanjun University of QueenslandAustralia Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Ying ZhangZhang, Ying Peking UniversityChina WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Yuanliang ZhangZhang, Yuanliang National University of Defense TechnologyChina Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing
Yueling ZhangZhang, Yueling Singapore Management UniversitySingapore Efficient White-box Fairness Testing through Gradient Search Efficient White-Box Fairness Testing through Gradient Search
Yufeng ZhangZhang, Yufeng Hunan UniversityChina Grammar-Agnostic Symbolic Execution by Token Symbolization Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina Deep Just-in-Time Defect Prediction: How Far Are We? Deep Just-in-Time Defect Prediction: How Far Are We?
Ziqi ZhangZhang, Ziqi Peking UniversityChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Bodong ZhaoZhao, Bodong Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Zhe ZhaoZhao, Zhe ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Changyou ZhengZheng, Changyou Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Dan ZhengZheng, Dan Purdue University, Google Brain Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Yajin ZhouZhou, Yajin Zhejiang UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Yangfan ZhouZhou, Yangfan Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper)
Tahereh ZohdinasabZohdinasab, Tahereh USI LuganoSwitzerland DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Deqing ZouZou, Deqing Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Elena ZuccaZucca, Elena University of Genova Committee Member in Program Committee within the FTfJP-track
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms

ISSTA 2021 Contributors

Results (554)

Tracks

ECOOP and ISSTA 2021

Co-hosted Conferences

Workshops