ISSTA 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (966)

A Eman Abdullah AlOmarAbdullah AlOmar, Eman Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Rui AbreuAbreu, Rui Faculty of Engineering, University of PortoUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Joshua AckermanAckerman, Joshua Dartmouth College, USA Large Language Models for Fuzzing Parsers
Rifqi Adlan ApriyadiAdlan Apriyadi, Rifqi Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion
Pedro AdãoAdão, Pedro IST-ULisboa and Instituto de TelecomunicaçõesPortugal Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICET, Argentina PC Member in Technical Papers within the ISSTA Technical Papers-track EvoSpex: A Search-based Tool for Postcondition Inference
Noubar AkopianAkopian, Noubar Ruhr University BochumGermany RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Michel AlbonicoAlbonico, Michel Federal University of Technology - Paraná (UTFPR)Brazil Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Quantitative Robustness Analysis of Neural Networks Planning your dissertation topic Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Fairness Testing For Recommender Systems
Kevin AllixAllix, Kevin CentraleSupélecFrance Guided Retraining to Enhance the Detection of Difficult Android Malware
Juan C. AlonsoAlonso, Juan C. University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs
Ziyad AlsaeedAlsaeed, Ziyad Qassim UniversitySaudi Arabia Finding Short Slow Inputs Faster with Grammar-Based Search TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
Idan AmitAmit, Idan The Hebrew University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Runtime verification of hash code in mutable classes Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan Polymorphism for Programming With Versions
Tomoyuki AotaniAotani, Tomoyuki Sanyo-Onoda City UniversityJapan Committee Member in Program Committee within the COP-track
Iván Arcuschin MorenoArcuschin Moreno, Iván University of Buenos Aires, ArgentinaArgentina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Maite ArratibelArratibel, Maite OronaSpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Aitor ArrietaArrieta, Aitor Mondragon UniversitySpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Jamshed AshurovAshurov, Jamshed UC San Diego Characterizing WebAssembly Performance in the Era of Serverless Computing
Syeda Mahnur AsifAsif, Syeda Mahnur CISPA Helmholtz Center for Information Security CrabSandwich: Fuzzing Rust with Rust
Isabella AttisanoAttisano, Isabella Villanova UniversityUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Student Research Competition Co-Chair in Organizing Committee for ISSTA 2023 Student Research Competition Co-Chair in Program Committee within the ECOOP and ISSTA Student Research Competition-track Combining Static and Runtime Verification with AC and Coq Runtime Monitoring of Human Behaviour with Aggregate Computing on Android Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian
B Jinsheng BaBa, Jinsheng National University of SingaporeSingapore Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Petr BabkinBabkin, Petr J.P. Morgan AI ResearchUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Casper BachBach, Casper Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Guangdong BaiBai, Guangdong University of QueenslandAustralia Security Checking of Trigger-Action-Programming Smart Home Integrations Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Davide BalzarottiBalzarotti, Davide EURECOM CrabSandwich: Fuzzing Rust with Rust
Sebastian BanescuBanescu, Sebastian TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Abdul Ali BangashBangash, Abdul Ali University of Alberta, CanadaCanada Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ISSTA 2023
Shenglin BaoBao, Shenglin Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
talank baralbaral, talank Optimizing Continuous Development and Predicting Test Information in Software Development
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance PC Member in Technical Papers within the ISSTA Technical Papers-track
Earl T. BarrBarr, Earl T. University College London; Google DeepMindUnited Kingdom CodeGrid: A Grid Representation of Code June: A Type Testability Transformation for Improved ATG Performance PC Member in Technical Papers within the ISSTA Technical Papers-track
Nils BarsBars, Nils CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Tool demonstrations co-chair in Organizing Committee for ISSTA 2023 Session Chair of ISSTA 2: Fuzzing 1 (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track Session Chair of Tool Demo Presentations (part of ISSTA Tool Demonstrations) Session Chair of Tool Demonstrations (part of ISSTA Tool Demonstrations) Tool demonstrations co-chair in Tool Demonstrations within the ISSTA Tool Demonstrations-track Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Bachir BendrissouBendrissou, Bachir Imperial College LondonUnited Kingdom Grammar Mutation for Testing Input Parsers
Alexandre BergelBergel, Alexandre University of ChileChile PC Member in Technical Papers within the ISSTA Technical Papers-track
Bernhard BergerBerger, Bernhard Hamburg University of TechnologyGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Emery BergerBerger, Emery Reasoning About MLIR Semantics Through Algebraic Effects and Handlers How to conduct impactful research Quantitative Symbolic Similarity Analysis
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States SlipCover: Near Zero-Overhead Code Coverage for Python Type Automata
Thorsten BergerBerger, Thorsten Ruhr University Bochum RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Lukas BernhardBernhard, Lukas CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Monitoring for resource-awareness
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg PC Member in Technical Papers within the ISSTA Technical Papers-track
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Program Committee within the COP-track
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of LuxembourgLuxembourg CodeGrid: A Grid Representation of Code Guided Retraining to Enhance the Detection of Difficult Android Malware PC Member in Technical Papers within the ISSTA Technical Papers-track
Andrew P. BlackBlack, Andrew P. AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Aymeric BlotBlot, Aymeric Université du Littoral Côte d'OpaleFrance Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Viviana BonoBono, Viviana University of TorinoItaly Gradual Guarantee for FJ with lambda-expressions
Valentin BourcierBourcier, Valentin INRIAFrance Debugging Video Games: A Systematic Mapping
David BremnerBremner, David University of New Brunswick Towards Reliable Memory Management for Python Native Extensions
Tegan BrennanBrennan, Tegan Stevens Institute of TechnologyUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee within the VORTEX-track
Dan BruceBruce, Dan University College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Lei BuBu, Lei Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Yegor BugayenkoBugayenko, Yegor HuaweiRussia An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dataflow Language
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing Quantitative Policy Repair for Access Control on the Cloud Optimizing Continuous Development and Predicting Test Information in Software Development Sparse Symbolic Execution Understanding and Improving the Adoption of Large Language Models Automatic Testing and Benchmarking for Configurable Static Analysis Tools
Luca BurattiBuratti, Luca IBM ResearchUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Frank BusseBusse, Frank Imperial College LondonUnited Kingdom KDAlloc: The KLEE Deterministic Allocator Sparse Symbolic Execution
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Marcel BöhmeBöhme, Marcel MPI-SP; Monash UniversityGermany Session Chair of ISSTA 8: Fuzzing 2 (part of ISSTA Technical Papers) Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
Julian BüningBüning, Julian RWTH Aachen UniversityGermany KDAlloc: The KLEE Deterministic Allocator
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of ISSTA 9: Testing 2 (part of ISSTA Technical Papers) GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track KDAlloc: The KLEE Deterministic Allocator Grammar Mutation for Testing Input Parsers Three Colours of Fuzzing: Reflections and Open Challenges
Xiangrui CaiCai, Xiangrui Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Yan CaiCai, Yan Institute of Software at Chinese Academy of SciencesChina Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Dylan CallaghanCallaghan, Dylan Stellenbosch UniversitySouth Africa Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
José CamposCampos, José University of Porto, PortugalPortugal Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Huayang CaoCao, Huayang National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
Sergio CardenasCardenas, Sergio Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the ICOOOLPS-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Towards Virtual Machine Support for Contextual Role-Oriented Programming Languages
Tatiana Castro VélezCastro Vélez, Tatiana City University of New York (CUNY) Graduate Center Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Mariano CeccatoCeccato, Mariano University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Sang Kil ChaCha, Sang Kil KAIST, South KoreaSouth Korea Committee Member in Program Committee within the FUZZING-track
Saikat ChakrabortyChakraborty, Saikat Microsoft ResearchUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Satish ChandraChandra, Satish Meta PlatformsUnited States Machine Learning for Software Engineering Machine Learning for Software Engineering
Oliver ChangChang, Oliver Google Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Huina ChaoChao, Huina Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Avik ChaudhuriChaudhuri, Avik Facebook, USA PC Member in Program Committee within the FTfJP-track
An Ran ChenChen, An Ran Concordia UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Bihuan ChenChen, Bihuan Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Chang ChenChen, Chang Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Chu ChenChen, Chu Qufu Normal UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Chunyang ChenChen, Chunyang Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Guoqiang ChenChen, Guoqiang Donghwan Shin Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Huaming ChenChen, Huaming The University of SydneyAustralia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jiachi ChenChen, Jiachi Sun Yat-sen UniversityChina Definition and Detection of Defects in NFT Smart Contracts Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Jianjun ChenChen, Jianjun Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Junjie ChenChen, Junjie Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis Vectorizing Program Ingredients for Better JVM Testing Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper) Fuzzing Deep Learning Compilers with HirGen PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Kai ChenChen, Kai Institute of Information Engineering at Chinese Academy of SciencesChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Kaixiang ChenChen, Kaixiang Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Lin ChenChen, Lin Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Mengjie ChenChen, Mengjie Mask NetworkChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Rui ChenChen, Rui Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Sen ChenChen, Sen Tianjin UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Simin ChenChen, Simin University of Texas at DallasUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Xiangqun ChenChen, Xiangqun Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Xiao ChenChen, Xiao Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Yang ChenChen, Yang University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites into Croissants
Yixiang ChenChen, Yixiang East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Yufan ChenChen, Yufan Xidian UniversityChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Yufei ChenChen, Yufei Xi’an Jiaotong University; City University of Hong KongChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Yufeng ChenChen, Yufeng Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yuting ChenChen, Yuting Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Zhenpeng ChenChen, Zhenpeng University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Zhuo ChenChen, Zhuo Zhejiang University; Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Kai ChengCheng, Kai Shenzhen Institute of Advanced Technology at Chinese Academy of Sciences; Sangfor TechnologiesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Mingfei ChengCheng, Mingfei Singapore Management UniversitySingapore BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Siyuan ChengCheng, Siyuan Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Xiao ChengCheng, Xiao University of Technology Sydney Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Michael ChesserChesser, Michael University of AdelaideAustralia Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
Shing-Chi CheungCheung, Shing-Chi Hong Kong University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps ωTest: WebView-Oriented Testing for Android Applications Fuzzing Deep Learning Compilers with HirGen PC Member in Technical Papers within the ISSTA Technical Papers-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the ICOOOLPS-track
Mingun ChoCho, Mingun University of California at DavisUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Wonkeun ChoiChoi, Wonkeun KAISTSouth Korea A Bayesian Framework for Automated Debugging
Chun Yong ChongChong, Chun Yong Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Yiu Wai ChowChow, Yiu Wai University of StuttgartGermany Beware of the Unexpected: Bimodal Taint Analysis
Maria ChristakisChristakis, Maria TU WienAustria Green Fuzzer Benchmarking Dependency-Aware Metamorphic Testing of Datalog Engines
Benjamin ChungChung, Benjamin Northeastern University A Retrospective on Julia
David ClarkClark, David University College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Myra CohenCohen, Myra Iowa State UniversityUnited States Session Chair of ISSTA Online 1: SE and Deep Learning (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion
Emilio CoppaCoppa, Emilio Sapienza University of Rome Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Davide CorradiniCorradini, Davide University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Lázaro CostaCosta, Lázaro Faculty of Engineering of the University of PortoPortugal Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Eduard Costel PinconschiCostel Pinconschi, Eduard Instituto Superior Técnico, University of Lisboa & INESC-IDPortugal Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Steven CostiouCostiou, Steven INRIA LilleFrance Debugging Video Games: A Systematic Mapping Committee Member in Program Committee within the DEBT-track
Addison CrumpCrump, Addison CISPA Helmholtz Center for Information Security CrabSandwich: Fuzzing Rust with Rust
Jiancong CuiCui, Jiancong University of Chinese Academy of Sciences; Institute of Information Engineering at Chinese Academy of SciencesChina API2Vec: Learning Representations of API Sequences for Malware Detection
Lei CuiCui, Lei Zhongguancun LaboratoryChina API2Vec: Learning Representations of API Sequences for Malware Detection
Siwei CuiCui, Siwei Texas A & M UniversityUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
George CybenkoCybenko, George Dartmouth College, USA Large Language Models for Fuzzing Parsers
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Marcelo d'Amorimd'Amorim, Marcelo North Carolina State UniversityUnited States Session Chair of ISSTA 11: Testing 3 (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Jinglin DaiDai, Jinglin Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly On Stream Runtime Verification and Aggregate Programming
Nadia DaoudiDaoudi, Nadia University of LuxembourgLuxembourg Guided Retraining to Enhance the Detection of Difficult Android Malware
Alan DarmasaputraDarmasaputra, Alan Actyx AG Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Istvan DavidDavid, Istvan McMaster UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jordan DavisDavis, Jordan Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Haotian DengDeng, Haotian Purdue University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Shuiguang DengDeng, Shuiguang Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier TechnologiesChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Yinlin DengDeng, Yinlin University of Illinois at Urbana-ChampaignUnited States Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Gradual Guarantee for FJ with lambda-expressions
Elisabetta Di NittoDi Nitto, Elisabetta Politecnico di MilanoItaly PC Member in Technical Papers within the ISSTA Technical Papers-track
Peng DiDi, Peng Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Understanding Breaking Changes in the Wild
Laura DillonDillon, Laura Michigan State University Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Yangruibo DingDing, Yangruibo Columbia UniversityUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Yifeng DingDing, Yifeng University of Illinois at Urbana-ChampaignUnited States CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Zhenquan DingDing, Zhenquan Institute of Information Engineering at Chinese Academy of SciencesChina API2Vec: Learning Representations of API Sequences for Malware Detection
Hyunsook DoDo, Hyunsook University of North TexasUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mike DoddsDodds, Mike Galois, Inc. PC Member in Program Committee within the FTfJP-track
Swaroopa DolaDola, Swaroopa University of Virginia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Julian DolbyDolby, Julian IBM ResearchUnited States Session Chair of ISSTA Online 2: Static Analysis (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track RustSmith: Random Differential Compiler Testing for Rust Grammar Mutation for Testing Input Parsers Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Xuewen DongDong, Xuewen Xidian UniversityChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Yihong DongDong, Yihong Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Mara DowningDowning, Mara University of California, Santa Barbara Quantitative Robustness Analysis of Neural Networks
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London United Kingdom Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities
Hang DuDu, Hang University of California at IrvineUnited States To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Lun DuDu, Lun Microsoft ResearchChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Zhenhua DuanDuan, Zhenhua Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Committee Member in Program Committee within the ICOOOLPS-track
E Daniel EbertEbert, Daniel Robert BoschGermany Fuzzing Embedded Systems using Debug Interfaces
William EiersEiers, William University of California at Santa BarbaraUnited States Quantitative Policy Repair for Access Control on the Cloud
Max EiseleEisele, Max Robert Bosch; Saarland UniversityGermany Fuzzing Embedded Systems using Debug Interfaces
Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States PhysCov: Physical Test Coverage for Autonomous Vehicles
Dhia Elhaq RzigElhaq Rzig, Dhia University of Michigan - DearbornUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Daniel ElsnerElsner, Daniel TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Workshops Co-Chair in Organizing Committee for ISSTA 2023 Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Sponsors Co-Chair in Organizing Committee for ISSTA 2023 Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsorships-track
Anne EtienEtien, Anne Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStALFrance Committee Member in Program Committee within the DEBT-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Session Chair of ISSTA 6: Testing 1 (part of ISSTA Technical Papers) GrayC: Greybox Fuzzing of Compilers and Analysers for C Committee Member in Program Committee within the FUZZING-track
Naser Ezzati JivanEzzati Jivan, Naser Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Saad EzziniEzzini, Saad Lancaster UniversityUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
F Lingling FanFan, Lingling Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Xingyu FanFan, Xingyu Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Zhiyu FanFan, Zhiyu National University of SingaporeSingapore Concept-Based Automated Grading of CS-1 Programming Assignments
Chunrong FangFang, Chunrong Nanjing UniversityChina Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Pengcheng FangFang, Pengcheng Case Western Reserve UniversityUnited States iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Ruili FangFang, Ruili University of Georgia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yilin FangFang, Yilin Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Yongsheng FangFang, Yongsheng Beijing University of Posts and TelecommunicationsChina CydiOS: A Model-Based Testing Framework for iOS Apps
Yuzhou FangFang, Yuzhou Hong Kong University of Science and TechnologyChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the FTfJP-track PC Member in Program Committee within the VORTEX-track
Mattia FazziniFazzini, Mattia University of MinnesotaUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Aleksandr FedchinFedchin, Aleksandr Tufts UniversityUnited States Object Synthesis for Automated Test Generation
Ruitao FengFeng, Ruitao UNSWAustralia A Comprehensive Study on Quality Assurance Tools for Java
Shiwei FengFeng, Shiwei Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Yang FengFeng, Yang Nanjing UniversityChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly Runtime verification of hash code in mutable classes
Angelo FerrandoFerrando, Angelo RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly PC Member in Program Committee within the VORTEX-track
Fabiano FerrariFerrari, Fabiano Federal University of São CarlosBrazil PC Member in Technical Papers within the ISSTA Technical Papers-track
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
Andrea FioraldiFioraldi, Andrea EURECOM CrabSandwich: Fuzzing Rust with Rust
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction PC Member in Technical Papers within the ISSTA Technical Papers-track
Mário FloridoFlorido, Mário Universidade do PortoPortugal Gradual Guarantee for FJ with lambda-expressions
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Michael FosterFoster, Michael University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations PC Member in Program Committee within the VORTEX-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta PC Member in Program Committee within the VORTEX-track
Gordon FraserFraser, Gordon University of Passau Program Chair in Organizing Committee for ISSTA 2023 PC Chair in Technical Papers within the ISSTA Technical Papers-track
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos Aires EvoSpex: A Search-based Tool for Postcondition Inference
Ruifeng FuFu, Ruifeng Tianjin UniversityChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Davide FucciFucci, Davide Blekinge Institute of TechnologySweden Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Hiroaki FukudaFukuda, Hiroaki Shibaura Institute of TechnologyJapan Points-to Analysis for Context-Oriented JavaScript Programs
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States SymRustC: A Hybrid Fuzzer for Rust
Juan Pablo GaleottiGaleotti, Juan Pablo University of Buenos AiresArgentina PC Member in Technical Papers within the ISSTA Technical Papers-track
Alessio GambiGambi, Alessio IMC University of Applied Sciences KremsAustria Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Cuiyun GaoGao, Cuiyun Harbin Institute of TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Tianchang GaoGao, Tianchang Tianjin UniversityChina Vectorizing Program Ingredients for Better JVM Testing
Wentao GaoGao, Wentao Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Xiang GaoGao, Xiang Beihang UniversityChina ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Xuanqi GaoGao, Xuanqi Xi’an Jiaotong UniversityChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Ya GaoGao, Ya Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Yaoqing GaoGao, Yaoqing Huawei Toronto Research CenterCanada Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian
Andrea GattiGatti, Andrea University of Genoa, Italy RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Carlos Gavidia-CalderonGavidia-Calderon, Carlos The Alan Turing InstituteUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Gregory GayGay, Gregory Chalmers \| University of GothenburgSweden Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Ali GhanbariGhanbari, Ali Iowa State UniversityUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Golnaz GharachorluGharachorlu, Golnaz Simon Fraser UniversityCanada Type Batched Program Reduction
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Pattern-Based Peephole Optimizations with Java JIT Tests Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Yaroslav GolubevGolubev, Yaroslav JetBrains ResearchSerbia Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Welcome Discussion Demo: Debugging Constraint Devices with EDWARD Co-chair in Organizing Committee within the DEBT-track
Rahul GopinathGopinath, Rahul University of SydneyAustralia Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Léo GourdinGourdin, Léo Lazy Code Transformations in a Formally Verified Compiler
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Organizing Committee within the FTfJP-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Session Chair of ISSTA Online 6: Smart Contracts and Automotive (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
John GrundyGrundy, John Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Torsten GrustGrust, Torsten University of TübingenGermany Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Jiazhen GuGu, Jiazhen Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Taotao GuGu, Taotao Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Hao GuanGuan, Hao The University of Queensland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Le GuanGuan, Le University of GeorgiaUnited States Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Yujiang GuiGui, Yujiang UNSWAustralia Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Anna GuoGuo, Anna University of Texas at AustinUnited States Extracting Inline Tests from Unit Tests
Huizhong GuoGuo, Huizhong Zhejiang UniversityChina FairRec: Fairness Testing for Deep Recommender Systems
Shengjian (Daniel) GuoGuo, Shengjian (Daniel) Baidu SecurityUnited States Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Xiaochen GuoGuo, Xiaochen Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Yao GuoGuo, Yao Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Yuejun GUoGUo, Yuejun Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Robbert Gurdeep SinghGurdeep Singh, Robbert IMECBelgium Committee Member in Program Committee within the DEBT-track
Bhanukiran GurijalaGurijala, Bhanukiran The University of Texas at El PasoUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany Committee Member in Program Committee within the COP-track
H William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2023 Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning PC Member in Technical Papers within the ISSTA Technical Papers-track Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Introduction and welcome to the Doctoral Symposium Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
Sylvain HalléHallé, Sylvain Université du Québec à ChicoutimiCanada PC Member in Technical Papers within the ISSTA Technical Papers-track
Mohammad HamdaqaHamdaqa, Mohammad Polytechnique MontréalCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Christian HammerHammer, Christian University of PassauGermany Session Chair of ISSTA 4: Static Analysis (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Rui HanHan, Rui Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Seungheon HanHan, Seungheon Ulsan National Institute of Science and TechnologySouth Korea Automated Program Repair from Fuzzing Perspective
Shi HanHan, Shi Microsoft ResearchChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Yudong HanHan, Yudong Peking UniversityChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Sicheng HaoHao, Sicheng Sun Yat-sen UniversityChina SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Zhiyu HaoHao, Zhiyu Zhongguancun LaboratoryChina API2Vec: Learning Representations of API Sequences for Malware Detection
Mark HarmanHarman, Mark University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Foyzul HassanHassan, Foyzul University of Michigan at DearbornUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Daniel HauresHaures, Daniel University of Turin, Italy Combining Static and Runtime Verification with AC and Coq
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the VORTEX-track
Dongjie HeHe, Dongjie UNSWAustralia Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Jifeng HeHe, Jifeng East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Ningyu HeHe, Ningyu Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Pinjia HeHe, Pinjia Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion ROME: Testing Image Captioning Systems via Recursive Object Melting
Shilin HeHe, Shilin Microsoft Researchn.n. ROME: Testing Image Captioning Systems via Recursive Object Melting
Yichen HeHe, Yichen Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Yiling HeHe, Yiling Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Yubo HeHe, Yubo Information Engineering UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Paula HerberHerber, Paula University of Munster, GermanyGermany PC Member in Program Committee within the FTfJP-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Program Committee within the FUZZING-track
Tobias HeßHeß, Tobias University of UlmGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Carl HildebrandtHildebrandt, Carl University of VirginiaUnited States PhysCov: Physical Test Coverage for Autonomous Vehicles
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the DEBT-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Renáta HodovánHodován, Renáta University of Szeged, HungaryHungary Committee Member in Program Committee within the FUZZING-track
Thorsten HolzHolz, Thorsten CISPA Helmholtz Center for Information SecurityGermany Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage CrabSandwich: Fuzzing Rust with Rust
Chunming HuHu, Chunming Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Jiajun HuHu, Jiajun Hong Kong University of Science and TechnologyChina ωTest: WebView-Oriented Testing for Android Applications
Qiang HuHu, Qiang University of Luxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Tiancheng HuHu, Tiancheng Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Wenbo HuHu, Wenbo Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Yang HuHu, Yang University of Texas at AustinUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yubin HuHu, Yubin Beijing University of Posts and TelecommunicationsChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Yubo HuHu, Yubo Xidian UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Yutao HuHu, Yutao Huazhong University of Science and TechnologyChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Yuxi HuHu, Yuxi Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Yuxin HuHu, Yuxin Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Zehong HuHu, Zehong Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Ziyue HuaHua, Ziyue Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Gang HuangHuang, Gang Peking University; National Key Laboratory of Data Space Technology and SystemChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Huaxun HuangHuang, Huaxun Hong Kong University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Jingyuan HuangHuang, Jingyuan Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Minhuan HuangHuang, Minhuan National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
Pei HuangHuang, Pei Stanford UniversityUnited States Improving Bit-Blasting for Nonlinear Integer Constraints
Sunzhou HuangHuang, Sunzhou University of Texas at San Antonio PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
Xiang HuangHuang, Xiang Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Xiaotong HuangHuang, Xiaotong Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Zunchen HuangHuang, Zunchen University of Southern California Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Nargiz HumbatovaHumbatova, Nargiz USI LuganoSwitzerland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei HuoHuo, Wei Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Christopher HuthHuth, Christopher Robert BoschGermany Fuzzing Embedded Systems using Debug Interfaces
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Maximilian Ignacio Willembrinck SantanderIgnacio Willembrinck Santander, Maximilian Committee Member in Program Committee within the DEBT-track
Nafees IqbalIqbal, Nafees University of Michigan at DearbornUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites into Croissants PC Member in Technical Papers within the ISSTA Technical Papers-track
Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Verifying C++ dynamic binding
Alex JafariJafari, Alex United States Sponsors Co-Chair in Organizing Committee for ISSTA 2023 Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsorships-track
Gunel JahangirovaJahangirova, Gunel King's College LondonUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the FTfJP-track
Dhanushka JayasuriyaJayasuriya, Dhanushka University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Rongrong JiJi, Rongrong Xiamen UniversityChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Yuede JiJi, Yuede University of North TexasUnited States API2Vec: Learning Representations of API Sequences for Malware Detection
Zhenlan JiJi, Zhenlan The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Fuqi JiaJia, Fuqi Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Haoxiang JiaJia, Haoxiang Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Jiajun JiangJiang, Jiajun Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Ling JiangJiang, Ling Southern University of Science and TechnologyChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Lingxiao JiangJiang, Lingxiao Singapore Management UniversitySingapore Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Nan JiangJiang, Nan Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Yu JiangJiang, Yu Tsinghua UniversityChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Yunsong JiangJiang, Yunsong Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Zigui JiangJiang, Zigui Sun Yat-sen UniversityChina DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Wenpin JiaoJiao, Wenpin Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Hai JinJin, Hai Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Xin JinJin, Xin The Ohio State UniversityUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhi JinJin, Zhi Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Brittany JohnsonJohnson, Brittany George Mason UniversityUnited States Workshops Co-Chair in Organizing Committee for ISSTA 2023 Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
James JonesJones, James University of California at IrvineUnited States To Kill a Mutant: An Empirical Study of Mutation Testing Kills PC Member in Technical Papers within the ISSTA Technical Papers-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
Rajeev JoshiJoshi, Rajeev NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the FTfJP-track
Eric JulJul, Eric University of OsloNorway Co-chair in Organizing Committee within the ICOOOLPS-track Keynote How to get your Ph.D. DONE!
René JustJust, René University of WashingtonUnited States General Chair in Organizing Committee for ISSTA 2023
K Abdoul Kader KaboréKaboré, Abdoul Kader University of LuxembourgLuxembourg CodeGrid: A Grid Representation of Code
Severin KaciankaKacianka, Severin TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Gail KaiserKaiser, Gail Columbia UniversityUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Temporal Layers: Reactive Activation Scope of First-class Layer Instances Committee Member in Program Committee within the COP-track
Matteo KammKamm, Matteo ETH ZurichSwitzerland Testing Graph Database Engines via Query Partitioning
Sungmin KangKang, Sungmin KAISTSouth Korea A Bayesian Framework for Automated Debugging
Gregory KapfhammerKapfhammer, Gregory Allegheny CollegeUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Nat KarmiosKarmios, Nat Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Piyus KediaKedia, Piyus IIIT DelhiIndia CGuard: Scalable and Precise Object Bounds Protection for C
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Student Volunteer Co-Chair in Organizing Committee for ISSTA 2023 Session Chair of ISSTA 12: Web and Smart Contracts (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track Student Volunteer Co-Chair in Program Committee within the ECOOP and ISSTA Student Volunteers-track
David KellyKelly, David King’s College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Askar Yeltayuly KhamitKhamit, Askar Yeltayuly Ulsan National Institute of Science and TechnologySouth Korea Automated Program Repair from Fuzzing Perspective
M. Mahdi KhosraviKhosravi, M. Mahdi Middle East Technical UniversityTurkey Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests
Moonzoo KimKim, Moonzoo KAIST / VPlusLab Inc. South Korea PC Member in Technical Papers within the ISSTA Technical Papers-track
Myeongsoo KimKim, Myeongsoo Georgia Institute of TechnologyUnited States Enhancing REST API Testing with NLP Techniques
YoungJae KimKim, YoungJae Ulsan National Institute of Science and TechnologySouth Korea Automated Program Repair from Fuzzing Perspective
Jacques KleinKlein, Jacques University of LuxembourgLuxembourg CodeGrid: A Grid Representation of Code Guided Retraining to Enhance the Detection of Difficult Android Malware PC Member in Technical Papers within the ISSTA Technical Papers-track
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, LinzAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Amy KoKo, Amy University of WashingtonUnited States Searching for Justice in Programming Language Design
Steve KoKo, Steve Simon Fraser University SymRustC: A Hybrid Fuzzer for Rust
Kelvin Kai Wen KongKong, Kelvin Kai Wen Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Queping KongKong, Queping Sun Yat-sen UniversityChina DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
wei kongkong, wei Context-adaptive Automated Testing for Deep Learning Model
Xiaohui KuangKuang, Xiaohui Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Roland KuhnKuhn, Roland Actyx AGGermany Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Udit Kumar AgarwalKumar Agarwal, Udit University of British ColumbiaCanada CGuard: Scalable and Precise Object Bounds Protection for C
Thomas KühnKühn, Thomas Martin-Luther-University Halle-WittenbergGermany Committee Member in Program Committee within the COP-track
L Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Session Chair of ISSTA 10: Test Optimizations (part of ISSTA Technical Papers)
Wing LamLam, Wing George Mason UniversityUnited States Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests PC Member in Technical Papers within the ISSTA Technical Papers-track Quantitative Robustness Analysis of Neural Networks
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Wing LamLam, Wing George Mason UniversityUnited States Fairness Testing For Recommender Systems
Julia Kaiwen LauLau, Julia Kaiwen Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium Out-of-place Multiverse Debugging for Constraint Devices LATCH: Enabling Large-scale Tests on Constraint Systems Demo: Debugging Constraint Devices with EDWARD
Isabella LaybournLaybourn, Isabella Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Organizing Committee within the FTfJP-track
Byoungyoung LeeLee, Byoungyoung Seoul National University, South Korea Committee Member in Program Committee within the FUZZING-track
Edward LeeLee, Edward University of WaterlooCanada Dependency-free Capture Tracking
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Paul LegerLeger, Paul Universidad Católica del Norte, ChileChile Points-to Analysis for Context-Oriented JavaScript Programs
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes PC Member in Technical Papers within the ISSTA Technical Papers-track
Owolabi LegunsenLegunsen, Owolabi Cornell University Optimizing Continuous Development and Predicting Test Information in Software Development
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Sparse Symbolic Execution
Owolabi LegunsenLegunsen, Owolabi Cornell University Understanding and Improving the Adoption of Large Language Models
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Automatic Testing and Benchmarking for Configurable Static Analysis Tools
Daniel LehmannLehmann, Daniel University of StuttgartGermany That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States State of state in Dafny
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada PC Member in Technical Papers within the ISSTA Technical Papers-track
Reese LevineLevine, Reese University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Dependency-free Capture Tracking
Albert LiLi, Albert University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing
Ao LiLi, Ao Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing
Changwen LiLi, Changwen Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Simulation-Based Validation for Autonomous Driving Systems
Chao LiLi, Chao Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Chengpeng LiLi, Chengpeng University of Texas at AustinUnited States Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests
Ding LiLi, Ding Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Feng LiLi, Feng Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Ge LiLi, Ge Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Haonan LiLi, Haonan Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Hong LiLi, Hong Institute of Information Engineering at Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Hui LiLi, Hui Xiamen UniversityChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Huizhong LiLi, Huizhong WeBankChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Jianfeng LiLi, Jianfeng Xi’an Jiaotong UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Jiaqi LiLi, Jiaqi Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Jinfeng LiLi, Jinfeng Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Jinku LiLi, Jinku Xidian UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Kaixuan LiLi, Kaixuan East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Levi Taiji LiLi, Levi Taiji University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Li LiLi, Li Beihang UniversityChina ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Linlin LiLi, Linlin Southern University of Science and TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Linyu LiLi, Linyu Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Lun LiLi, Lun Institute of Information Engineering at Chinese Academy of SciencesChina API2Vec: Learning Representations of API Sequences for Malware Detection
Ningke LiLi, Ningke Huazhong University of Science and TechnologyChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Shanshan LiLi, Shanshan National University of Defense TechnologyChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Siyuan LiLi, Siyuan LibAE: An Area Exploration Technology for Detecting Third-party Libraries in Binaries
Suwan LiLi, Suwan Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Wenke LiLi, Wenke Huazhong University of Science and TechnologyChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Xiang LiLi, Xiang Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Xuandong LiLi, Xuandong Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Yanhui LiLi, Yanhui Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Yannan LiLi, Yannan University of Southern CaliforniaUnited States Systematic Testing of the Data-Poisoning Robustness of KNN
Yeting LiLi, Yeting Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yue LiLi, Yue Nanjing UniversityChina Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Yuekang LiLi, Yuekang University of New South WalesAustralia ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Zhenhao LiLi, Zhenhao Concordia UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhoujun LiLi, Zhoujun Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Zongyang LiLi, Zongyang Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Guangtai LiangLiang, Guangtai Huawei Cloud Computing TechnologiesChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Lizhi LiaoLiao, Lizhi Concordia University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Xianhao LiaoLiao, Xianhao Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Zeqin LiaoLiao, Zeqin Sun Yat-sen UniversityChina SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Sherlock A. LicorishLicorish, Sherlock A. University of OtagoNew Zealand PC Member in Technical Papers within the ISSTA Technical Papers-track
Mei Kuan LimLim, Mei Kuan Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Bo LinLin, Bo National University of Defense TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei LinLin, Wei Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Mario Linares-VásquezLinares-Vásquez, Mario Universidad de los AndesColombia PC Member in Technical Papers within the ISSTA Technical Papers-track
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the COP-track
Stephan LippLipp, Stephan TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Aishan LiuLiu, Aishan Beihang University; Institute of DataspaceChina Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Alex X. LiuLiu, Alex X. Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Chengwei LiuLiu, Chengwei Nanyang Technological UniversitySingapore A Comprehensive Study on Quality Assurance Tools for Java
Cong LiuLiu, Cong University of California at RiversideUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Dongge LiuLiu, Dongge Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Han LiuLiu, Han East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Hao LiuLiu, Hao Xiamen UniversityChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Jiangchao LiuLiu, Jiangchao Ant Group; ByteDanceChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Jie LiuLiu, Jie Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Jierui LiuLiu, Jierui Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Kaibo LiuLiu, Kaibo Peking UniversityChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Kui LiuLiu, Kui HuaweiChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Minghao LiuLiu, Minghao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Peng LiuLiu, Peng Pennsylvania State UniversityUnited States Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Si LiuLiu, Si ETH ZurichSwitzerland A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Tao LiuLiu, Tao Pennsylvania State UniversityUnited States Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Tianyi LiuLiu, Tianyi Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Xianglong LiuLiu, Xianglong Beihang University; Institute of Dataspace; Zhongguancun LaboratoryChina Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Xiangyu LiuLiu, Xiangyu Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Xudong LiuLiu, Xudong Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Yan LiuLiu, Yan Runtime Verification Inc. Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts A Comprehensive Study on Quality Assurance Tools for Java Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications ωTest: WebView-Oriented Testing for Android Applications Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Yu LiuLiu, Yu University of Texas at AustinUnited States Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Zheli LiuLiu, Zheli Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Zheng LiuLiu, Zheng Alibaba Group; Zhejiang UniversityChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Zhibo LiuLiu, Zhibo Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhongxin LiuLiu, Zhongxin Zhejiang UniversityChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Zhuotao LiuLiu, Zhuotao Tsinghua UniversityChina iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
David LoLo, David Singapore Management UniversitySingapore Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing PC Member in Technical Papers within the ISSTA Technical Papers-track
Calvin LoncaricLoncaric, Calvin OracleUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Frederic LoulergueLoulergue, Frederic Université d'OrléansFrance Towards Verified Scalable Parallel Computing with Coq and Spark
Nikolaos LouloudakisLouloudakis, Nikolaos University of Edinburgh DeltaNN: Differential Testing to Evaluate Robustness of Image Recognition Models
Joshua Chern Wey LowLow, Joshua Chern Wey Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Gongzheng LuLu, Gongzheng Suzhou City UniversityChina NodeRT: Detecting Races in Node.js Applications Practically
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
Shuaibing LuLu, Shuaibing Academy of Military SciencesChina InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis Multi-phase Parallel Fuzzer
Xu LuLu, Xu Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Stephan LukasczykLukasczyk, Stephan University of PassauGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Linghui LuoLuo, Linghui Amazon Web ServicesGermany PC Member in Technical Papers within the ISSTA Technical Papers-track
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper) CydiOS: A Model-Based Testing Framework for iOS Apps
Thibaud LutellierLutellier, Thibaud University of AlbertaCanada How Effective Are Neural Networks for Fixing Security Vulnerabilities
Michael LyuLyu, Michael Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
M Jie M. ZhangM. Zhang, Jie King’s College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests PC Member in Technical Papers within the ISSTA Technical Papers-track
Feifei MaMa, Feifei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Haoyang MaMa, Haoyang Hong Kong University of Science and TechnologyChina Fuzzing Deep Learning Compilers with HirGen
Shiqing MaMa, Shiqing UMass AmherstUnited States CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Tao MaMa, Tao Alibaba Group KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Yun MaMa, Yun Peking UniversityChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Zheyu MaMa, Zheyu Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus UniversityDenmark Using Object-Sequence Diagrams for Debugging
Adnan MahmoodMahmood, Adnan Macquarie UniversityAustralia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dominik MaierMaier, Dominik TU Berlin CrabSandwich: Fuzzing Rust with Rust
Dominik MaierMaier, Dominik Google Committee Member in Program Committee within the FUZZING-track
Muhammad MalikMalik, Muhammad North Dakota State University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Bing MaoMao, Bing Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly PC Member in Technical Papers within the ISSTA Technical Papers-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites into Croissants
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the ICOOOLPS-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the DEBT-track
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, ItalyItaly Runtime verification of hash code in mutable classes RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Omar MasmaliMasmali, Omar Dammam College of TechnologySaudi Arabia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center PC Member in Technical Papers within the ISSTA Technical Papers-track
Devon McKeeMcKee, Devon University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Hector MenendezMenendez, Hector King’s College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei MengMeng, Wei Chinese University of Hong KongChina Exploring Missed Optimizations in WebAssembly Optimizers
Kim MensMens, Kim Université catholique de Louvain, ICTEAM institute, BelgiumBelgium Committee Member in Program Committee within the COP-track
Ali MesbahMesbah, Ali University of British Columbia (UBC) PC Member in Technical Papers within the ISSTA Technical Papers-track
Mira MeziniMezini, Mira TU DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Miao MiaoMiao, Miao The University of Texas at DallasUnited States ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Xinyuan MiaoMiao, Xinyuan Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Aleksandar MicicMicic, Aleksandar IBM, Canada Towards Reliable Memory Management for Python Native Extensions
Luka MiljakMiljak, Luka Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond!
Sanjay MisraMisra, Sanjay Institute For Energy Technology (IFE)Norway Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yifan MoMo, Yifan Sun Yat-sen UniversityChina Toward Automated Detecting Unanticipated Price Feed in Smart Contract
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain EvoSpex: A Search-based Tool for Postcondition Inference Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Niels MommenMommen, Niels KU LeuvenBelgium Verifying C++ dynamic binding
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Organizing Committee within the FTfJP-track
Verya MonjeziMonjezi, Verya University of Texas at El PasoUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Alessandro MorariMorari, Alessandro IBM ResearchUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Austin MordahlMordahl, Austin University of Texas at DallasUnited States ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track An Exploration of Static Variability Bug Detection Through Desugaring Automatic Testing and Benchmarking for Configurable Static Analysis Tools
António MorgadoMorgado, António INESC-ID MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Toby MurrayMurray, Toby University of MelbourneAustralia Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Hsu Myat WinMyat Win, Hsu University of Technology Sydney (UTS)Australia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
N Nicole NairNair, Nicole Swarthmore CollegeUnited States Guiding Greybox Fuzzing with Mutation Testing
Yuhong NanNan, Yuhong Sun Yat-sen UniversityChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Student Research Competition Co-Chair in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada Towards Reliable Memory Management for Python Native Extensions Towards Reliable Memory Management for Python Native Extensions
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Laura NenziNenzi, Laura University of TriesteItaly PC Member in Program Committee within the VORTEX-track
Surya NepalNepal, Surya CSIRO’s Data61Australia Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Liming NieNie, Liming Nanyang Technological UniversitySingapore A Comprehensive Study on Quality Assurance Tools for Java
Pengbo NieNie, Pengbo Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Pengyu NieNie, Pengyu University of Texas at AustinUnited States Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Sen NieNie, Sen Tencent Security Keen LabChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Yuanping NieNie, Yuanping Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Committee Member in Program Committee within the DEBT-track
Zhenyu NingNing, Zhenyu Hunan University; Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
James NobleNoble, James Research & ProgrammingNew Zealand PC Member in Program Committee within the FTfJP-track
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
Yannic NollerNoller, Yannic National University of SingaporeSingapore PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom KDAlloc: The KLEE Deterministic Allocator Committee Member in Program Committee within the FUZZING-track
Muhammad Numair MansurNumair Mansur, Muhammad Amazon Web ServicesGermany Dependency-Aware Metamorphic Testing of Datalog Engines
O Kelton OBrienOBrien, Kelton University of MinnesotaUnited States Guiding Greybox Fuzzing with Mutation Testing
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea PC Member in Technical Papers within the ISSTA Technical Papers-track
Willian OizumiOizumi, Willian GoToBrazil Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Milos OjdanicOjdanic, Milos University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Mohammad Omidvar TehraniOmidvar Tehrani, Mohammad Simon Fraser University SymRustC: A Hybrid Fuzzer for Rust
John-Paul OreOre, John-Paul North Carolina State UniversityUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Alessandro OrsoOrso, Alessandro Georgia Institute of TechnologyUnited States Enhancing REST API Testing with NLP Techniques
Alex OrsoOrso, Alex Georgia Institute of Technology United States PC Member in Technical Papers within the ISSTA Technical Papers-track
Samuel OuOu, Samuel University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Jiradet OunjaiOunjai, Jiradet MPI-SWSGermany Green Fuzzer Benchmarking
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track Committee Member in Program Committee within the FUZZING-track
Vijay Krishna PalepuPalepu, Vijay Krishna MicrosoftUnited States To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Yu PanPan, Yu University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Chengbin PangPang, Chengbin Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Michele PasquaPasqua, Michele University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Fabrizio PastorePastore, Fabrizio University of LuxembourgLuxembourg Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mathias PayerPayer, Mathias EPFLSwitzerland Committee Member in Program Committee within the FUZZING-track
Sven PeldszusPeldszus, Sven Ruhr University BochumGermany RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Hila PelegPeleg, Hila TechnionIsrael PC Member in Technical Papers within the ISSTA Technical Papers-track
Haoran PengPeng, Haoran University of Science and Technology of ChinaChina Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Junru PengPeng, Junru Wuhan UniversityChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Xin PengPeng, Xin Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Fabio PetrilloPetrillo, Fabio École de technologie supérieure (ÉTS), Montréal -- Université du QuébecCanada Debugging Video Games: A Systematic Mapping Committee Member in Program Committee within the DEBT-track
Mauro PezzePezze, Mauro USI Lugano; Schaffhausen Institute of TechnologySwitzerland PC Member in Technical Papers within the ISSTA Technical Papers-track
Hung Viet PhamPham, Hung Viet University of WaterlooCanada How Effective Are Neural Networks for Fixing Security Vulnerabilities
Thuan PhamPham, Thuan The University of Melbourne Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Van-Thuan PhamPham, Van-Thuan Monash UniversityAustralia Committee Member in Program Committee within the FUZZING-track
Jolan PhilippePhilippe, Jolan IMT AtlantiqueFrance Towards Verified Scalable Parallel Computing with Coq and Spark
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Tool demonstrations co-chair in Organizing Committee for ISSTA 2023 Session Chair of Tool Demo Presentations (part of ISSTA Tool Demonstrations) Session Chair of Tool Demonstrations (part of ISSTA Tool Demonstrations) Tool demonstrations co-chair in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar PC Member in Program Committee within the VORTEX-track
Juan Altmayer PizzornoPizzorno, Juan Altmayer University of Massachusetts AmherstUnited States SlipCover: Near Zero-Overhead Code Coverage for Python
Andy PodgurskiPodgurski, Andy Case Western University PC Member in Technical Papers within the ISSTA Technical Papers-track
Pablo PonzioPonzio, Pablo Dept. of Computer Science FCEFQyN, University of Rio Cuarto EvoSpex: A Search-based Tool for Postcondition Inference
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Hannah PotterPotter, Hannah University of WashingtonUnited States ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations
Michael PradelPradel, Michael University of StuttgartGermany Session Chair of ISSTA 5: Improving Deep Learning Systems (part of ISSTA Technical Papers) That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly Beware of the Unexpected: Bimodal Taint Analysis PC Member in Technical Papers within the ISSTA Technical Papers-track
Jyoti PrakashPrakash, Jyoti University of PassauIndia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Alexander PretschnerPretschner, Alexander TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Geguang PuPu, Geguang East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Saurabh PujarPujar, Saurabh IBMUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Rahul PurandarePurandare, Rahul University of Nebraska-LincolnUnited States CGuard: Scalable and Precise Object Bounds Protection for C
Q Chenxiong QianQian, Chenxiong University of Hong KongChina CydiOS: A Model-Based Testing Framework for iOS Apps
Ruixiang QianQian, Ruixiang State Key Laboratory for Novel Software Technology, Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Xue QinQin, Xue Villanova UniversityUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Zhan QinQin, Zhan Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Han QiuQiu, Han Tsinghua UniversityChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Andrew QuinnQuinn, Andrew University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
R Felipe R. MonteiroR. Monteiro, Felipe AmazonUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Rafiqul RabinRabin, Rafiqul University of HoustonUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Session Chair of Session 1 (part of ICOOOLPS) Welcome and Introduction Round table Co-chair in Organizing Committee within the ICOOOLPS-track
Suzzana RafiRafi, Suzzana Understanding and Improving the Adoption of Large Language Models
Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Rudolf RamlerRamler, Rudolf Software Competence Center HagenbergAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Frederico RamosRamos, Frederico Instituto Superior Técnico MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations Specification-Driven Synthesis of Summaries for Symbolic Execution
Aurora RamírezRamírez, Aurora University of CórdobaSpain Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Damith C. RanasingheRanasinghe, Damith C. University of AdelaideAustralia Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code PC Member in Technical Papers within the ISSTA Technical Papers-track Towards Code-Aware Code Models Committee Member in Organizing Committee within the FUZZING-track Towards Code-Aware Code Models
Baber RehmanRehman, Baber University of Hong Kong Correctness-by-Construction meets Refinement Types Determinism with Intersection and Union Types
Diogo Costa ReisReis, Diogo Costa Instituto Superior Técnico MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Kunlun RenRen, Kunlun Huazhong University of Science and TechnologyChina An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Luyao RenRen, Luyao Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Pinghong RenRen, Pinghong Qufu Normal UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Jose Ignacio RequenoRequeno, Jose Ignacio Complutense University of Madrid PC Member in Program Committee within the VORTEX-track
Vincenzo RiccioRiccio, Vincenzo University of UdineItaly Session Chair of ISSTA 7: Testing and Analysis of Machine-Learning Systems (part of ISSTA Technical Papers) DeepAtash: Focused Test Generation for Deep Learning Systems
David RichterRichter, David Technical University of DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Testing Graph Database Engines via Query Partitioning
RishabhRishabh GGSIPUIndia CGuard: Scalable and Precise Object Bounds Protection for C
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit BrusselBelgium Demo: Debugging Constraint Devices with EDWARD
José Miguel RojasRojas, José Miguel The University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Ori RothRoth, Ori TechnionIsrael Type Automata
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the DEBT-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Concept-Based Automated Grading of CS-1 Programming Assignments PC Member in Technical Papers within the ISSTA Technical Papers-track
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee within the VORTEX-track
Benjamin I.P. RubinsteinRubinstein, Benjamin I.P. University of Melbourne Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2023 Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
Antonio Ruiz-CortésRuiz-Cortés, Antonio University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs
Ruben Ruiz-TorrubianoRuiz-Torrubiano, Ruben IMC University of Applied Sciences KremsAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jukka RuohonenRuohonen, Jukka University of TurkuFinland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Seemanta SahaSaha, Seemanta University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland PC Member in Technical Papers within the ISSTA Technical Papers-track
Jordan SamhiSamhi, Jordan University of LuxembourgLuxembourg Publicity Co-Chair in Organizing Committee for ISSTA 2023 Web Co-Chair in Organizing Committee for ISSTA 2023 Session Chair of ISSTA Online 3: Empirical Studies (part of ISSTA Technical Papers) Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Ganesh SankaranSankaran, Ganesh University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing Quantitative Policy Repair for Access Control on the Cloud
Rafaello SannaSanna, Rafaello University of RochesterUnited States Guiding Greybox Fuzzing with Mutation Testing
Laboni SarkerSarker, Laboni University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing Quantitative Symbolic Similarity Analysis
Federica SarroSarro, Federica University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Kavin SatheeskumarSatheeskumar, Kavin University of WaterlooCanada Dependency-free Capture Tracking
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Max SchaeferSchaefer, Max GitHubUnited Kingdom Beware of the Unexpected: Bimodal Taint Analysis
Daniel SchemmelSchemmel, Daniel Imperial College London KDAlloc: The KLEE Deterministic Allocator
Nico SchillerSchiller, Nico CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Moritz SchloegelSchloegel, Moritz CISPA, Germany Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage Committee Member in Program Committee within the FUZZING-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, BelgiumBelgium Welcome Discussion Demo: Debugging Constraint Devices with EDWARD Co-chair in Organizing Committee within the DEBT-track
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Richard SchumiSchumi, Richard Singapore Management UniversitySingapore Semantic-Based Neural Network Repair
Thomas SchweizerSchweizer, Thomas University of Washington, SeattleUnited States An empirical evaluation of commit-untangling tools
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Session Chair of Session 1 (part of COP) Towards Virtual Machine Support for Contextual Role-Oriented Programming Languages Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Sergio SeguraSegura, Sergio University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs PC Member in Technical Papers within the ISSTA Technical Papers-track
Koushik SenSen, Koushik University of California at BerkeleyUnited States ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Koushik SenSen, Koushik University of California at BerkeleyUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Kostya SerebryanySerebryany, Kostya Google Rich coverage signal and the consequences for scaling
Chaofeng ShaSha, Chaofeng Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Md ShafiuzzamanShafiuzzaman, Md University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing
Sameena ShahShah, Sameena J.P. Morgan AI ResearchUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Program Committee within the FUZZING-track
Arindam SharmaSharma, Arindam Imperial College LondonUnited Kingdom GrayC: Greybox Fuzzing of Compilers and Analysers for C
Arnab SharmaSharma, Arnab University of PaderbornGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Mayank SharmaSharma, Mayank Imperial College London RustSmith: Random Differential Compiler Testing for Rust
Chao ShenShen, Chao Xi’an Jiaotong UniversityChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Guangyu ShenShen, Guangyu Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Qingchao ShenShen, Qingchao Tianjin UniversityChina Fuzzing Deep Learning Compilers with HirGen
Yulong ShenShen, Yulong Xidian UniversityChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Elena ShermanSherman, Elena Boise State UniversityUnited States Session Chair of ISSTA Online 4: Testing and Analysis of DL Systems (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
August ShiShi, August University of Texas at AustinUnited States Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Ensheng ShiShi, Ensheng Xi’an Jiaotong UniversityChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Heyuan ShiShi, Heyuan Central South UniversityChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Jingyi ShiShi, Jingyi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Wenxuan ShiShi, Wenxuan Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Xiaohai ShiShi, Xiaohai Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Fedor ShmarovShmarov, Fedor The University of Manchester Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Chaofan ShouShou, Chaofan University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Sohil Lal ShresthaShrestha, Sohil Lal The University of Texas at ArlingtonUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Joseph SifakisSifakis, Joseph University Grenoble Alpes; CNRS; Grenoble INP; VERIMAGFrance Simulation-Based Validation for Autonomous Driving Systems
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Enhancing REST API Testing with NLP Techniques PC Member in Technical Papers within the ISSTA Technical Papers-track
Jeongju SohnSohn, Jeongju University of LuxembourgLuxembourg Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Dakota SolesSoles, Dakota The University of Texas at Dallas ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools
Houbing SongSong, Houbing University of Maryland, Baltimore County KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Wei SongSong, Wei Nanjing University of Science and TechnologyChina DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
Ezekiel SoremekunSoremekun, Ezekiel Royal Holloway, University of LondonUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper) Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Badr SouaniSouani, Badr University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Leonardo SousaSousa, Leonardo CMU - Silicon ValleyUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Helge SpiekerSpieker, Helge Simula Research Laboratory, NorwayNorway Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Università degli Studi di Napoli Federico IIItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Runtime Monitoring of Human Behaviour with Aggregate Computing on Android PC Member in Program Committee within the VORTEX-track
He SuSu, He Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Hui SuSu, Hui Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Moon Ting SuSu, Moon Ting Universiti MalayaMalaysia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Ting SuSu, Ting East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Testing Graph Database Engines via Query Partitioning An Empirical Study of Functional Bugs in Android Apps
Zian SuSu, Zian Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Nick SumnerSumner, Nick Simon Fraser UniversityCanada Type Batched Program Reduction
Chengnian SunSun, Chengnian University of WaterlooCanada CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Hailong SunSun, Hailong Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Hongbin SunSun, Hongbin Xi’an Jiaotong UniversityChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Jiaguang SunSun, Jiaguang Tsinghua UniversityChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Jingling SunSun, Jingling East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Jun SunSun, Jun Singapore Management UniversitySingapore Silent Compiler Bug De-duplication via Three-Dimensional Analysis Semantic-Based Neural Network Repair Testing Automated Driving Systems by Breaking Many Laws Efficiently PC Member in Technical Papers within the ISSTA Technical Papers-track
Limin SunSun, Limin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Qing SunSun, Qing Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Yang SunSun, Yang Singapore Management UniversitySingapore Testing Automated Driving Systems by Breaking Many Laws Efficiently
Yujie SunSun, Yujie Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Zewen SunSun, Zewen Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Amanda SwearnginSwearngin, Amanda Apple, USAUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Laszlo SzekeresSzekeres, Laszlo Google Committee Member in Organizing Committee within the FUZZING-track
T Muhammad Taimoor KhanTaimoor Khan, Muhammad University of GreenwichUnited Kingdom PC Member in Program Committee within the FTfJP-track
Lin TanTan, Lin Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Per Hoong TanTan, Per Hoong Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Shangyin TanTan, Shangyin University of California at BerkeleyUnited States ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Shin Hwei TanTan, Shin Hwei Concordia University, CanadaCanada Concept-Based Automated Grading of CS-1 Programming Assignments PC Member in Technical Papers within the ISSTA Technical Papers-track
Tian TanTan, Tian Nanjing UniversityChina Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Yudai TanabeTanabe, Yudai Kyoto UniversityJapan Session Chair of Session 1 (part of COP) Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Qiyi TangTang, Qiyi Tencent Security Keen LabChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Guanhong TaoTao, Guanhong Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
April TeaTea, April University of Washington, SeattleUnited States Local Arrangements Chair in Organizing Committee for ISSTA 2023 Student Volunteer Co-Chair in Organizing Committee for ISSTA 2023 Student Volunteer Co-Chair in Program Committee within the ECOOP and ISSTA Student Volunteers-track
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil PC Member in Program Committee within the FTfJP-track
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Understanding Breaking Changes in the Wild PC Member in Technical Papers within the ISSTA Technical Papers-track
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Aditya ThimmaiahThimmaiah, Aditya University of Texas at AustinUnited States Pattern-Based Peephole Optimizations with Java JIT Tests
Cong TianTian, Cong Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Haoye TianTian, Haoye University of Luxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yongqiang TianTian, Yongqiang University of WaterlooCanada CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems Fuzzing Deep Learning Compilers with HirGen Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yuan TianTian, Yuan Queens University, Kingston, CanadaCanada Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Li TianlinTianlin, Li Nanyang Technological UniversitySingapore Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Frank TipTip, Frank Northeastern UniversityUnited States That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States PC Member in Program Committee within the FTfJP-track
Aaron TombTomb, Aaron Amazon Web ServicesUnited States PC Chair in Program Committee within the FTfJP-track
Paolo TonellaTonella, Paolo USI LuganoSwitzerland DeepAtash: Focused Test Generation for Deep Learning Systems
Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track On Stream Runtime Verification and Aggregate Programming PC Member in Program Committee within the VORTEX-track
Miguel TrigoTrigo, Miguel Instituto Superior Técnico MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Michele TufanoTufano, Michele MicrosoftUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Frédéric TuongTuong, Frédéric Simon Fraser UniversityCanada SymRustC: A Hybrid Fuzzer for Rust
Thanasis TypaldosTypaldos, Thanasis National Technical University of AthensGreece EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Rachel Tzoref-BrillTzoref-Brill, Rachel IBM ResearchIsrael Enhancing REST API Testing with NLP Techniques PC Member in Technical Papers within the ISSTA Technical Papers-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Committee Member in Program Committee within the ICOOOLPS-track
Fitash Ul HaqUl Haq, Fitash University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
V Pablo ValleValle, Pablo Mondragon UniversitySpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands PC Member in Technical Papers within the ISSTA Technical Papers-track
Flip van Spaendonckvan Spaendonck, Flip TU EindhovenNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Adrien VanègueVanègue, Adrien InriaFrance Debugging Video Games: A Systematic Mapping
Luca VersariVersari, Luca Google, ZurichSwitzerland Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Vasudev VikramVikram, Vasudev Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa PC Member in Technical Papers within the ISSTA Technical Papers-track
Meriel von Steinvon Stein, Meriel University of VirginiaUnited States PhysCov: Physical Test Coverage for Autonomous Vehicles
Kostyantyn VorobyovVorobyov, Kostyantyn Oracle Labs, Australia Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
W Neil WalkinshawWalkinshaw, Neil University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Chengcheng WanWan, Chengcheng East China Normal UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Boxiang WangWang, Boxiang Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Chao WangWang, Chao University of Southern CaliforniaUnited States Systematic Testing of the Data-Poisoning Robustness of KNN
Dongxia WangWang, Dongxia Zhejiang UniversityChina FairRec: Fairness Testing for Deep Recommender Systems
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper) Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries CydiOS: A Model-Based Testing Framework for iOS Apps
Ji WangWang, Ji National University of Defense TechnologyChina Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Jikai WangWang, Jikai Huazhong University of Science and TechnologyChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Systematic Testing of the Data-Poisoning Robustness of KNN
Jingyi WangWang, Jingyi Zhejiang UniversityChina FairRec: Fairness Testing for Deep Recommender Systems
Jue WangWang, Jue Nanjing UniversityChina An Empirical Study of Functional Bugs in Android Apps
Juhong WangWang, Juhong TencentChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Jun WangWang, Jun Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Kailong WangWang, Kailong Huazhong University of Science and TechnologyChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Kaiyi WangWang, Kaiyi Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Ke WangWang, Ke Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Linzhang WangWang, Linzhang Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Liran WangWang, Liran Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Qiang WangWang, Qiang Academy of Military SciencesChina Simulation-Based Validation for Autonomous Driving Systems
Qinglong WangWang, Qinglong Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Ruifeng WangWang, Ruifeng Northeastern UniversityChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Runzhe WangWang, Runzhe Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Shangguang WangWang, Shangguang Beijing University of Posts and TelecommunicationsChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Shangwen WangWang, Shangwen National University of Defense TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Shiwei WangWang, Shiwei Xi’an Jiaotong UniversityChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts PC Member in Technical Papers within the ISSTA Technical Papers-track
Sinan WangWang, Sinan Southern University of Science and TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Suyuan WangWang, Suyuan Huazhong University of Science and TechnologyChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Tianxiao WangWang, Tianxiao Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier TechnologiesChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Ting WangWang, Ting National University of Defense TechnologyChina Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Tong WangWang, Tong National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wenxuan WangWang, Wenxuan Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
Xu WangWang, Xu Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina Toward Automated Detecting Unanticipated Price Feed in Smart Contract RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Ying WangWang, Ying Northeastern UniversityChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Zan WangWang, Zan Tianjin UniversityChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Zhixuan WangWang, Zhixuan Xidian UniversityChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Zihan WangWang, Zihan Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track
Lili WeiWei, Lili McGill UniversityCanada ωTest: WebView-Oriented Testing for Android Applications
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States Session Chair of ISSTA 3: Deep-Learning for Software Analysis (part of ISSTA Technical Papers) DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization PC Member in Technical Papers within the ISSTA Technical Papers-track ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Zhao WeiWei, Zhao TencentChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring Testing Automated Driving Systems by Breaking Many Laws Efficiently
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ISSTA 2023
Qiang WeizhongWeizhong, Qiang Huazhong University of Science and TechnologyChina An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
He WenWen, He East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Ming WenWen, Ming Huazhong University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Zhongzhen WenWen, Zhongzhen Nanjing UniversityChina Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information
Matt WindsorWindsor, Matt University of York Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Robert WinnWinn, Robert University of Southern CaliforniaUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning
Stefan WinterWinter, Stefan LMU MunichGermany PC Member in Technical Papers within the ISSTA Technical Papers-track
Daoyuan WuWu, Daoyuan Chinese University of Hong KongChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Diyu WuWu, Diyu Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Dongpeng WuWu, Dongpeng Sun Yat-sen UniversityChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Jing WuWu, Jing Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Jinjie WuWu, Jinjie Alibaba GroupChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Lei WuWu, Lei Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Shi WuWu, Shi Tencent Security Keen LabChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Shuohan WuWu, Shuohan Hong Kong Polytechnic UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Weibin WuWu, Weibin Sun Yat-sen UniversityChina Validating Multimedia Content Moderation Software via Semantic Fusion
Yi WuWu, Yi Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Yiting WuWu, Yiting East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Yueming WuWu, Yueming Nanyang Technological UniversitySingapore Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Valentin WüstholzWüstholz, Valentin ConsenSysAustria Green Fuzzer Benchmarking Dependency-Aware Metamorphic Testing of Datalog Engines
X Chunqiu Steven XiaXia, Chunqiu Steven University of Illinois at Urbana-ChampaignUnited States Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Xin XiaXia, Xin HuaweiChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Botang XiaoXiao, Botang University of GeorgiaUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dongwei XiaoXiao, Dongwei Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers
Huizhong XiaoXiao, Huizhong Fairness Testing For Recommender Systems
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Quantitative Robustness Analysis of Neural Networks Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Quantitative Symbolic Similarity Analysis
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Type Automata
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States General advice for your PhD career
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Fairness Testing For Recommender Systems
Yang XiaoXiao, Yang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yisong XiaoXiao, Yisong Beihang UniversityChina Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Tao XieXie, Tao Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Xiaofei XieXie, Xiaofei Singapore Management UniversitySingapore BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Yong XieXie, Yong Qinghai UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Zifan XieXie, Zifan Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Yiheng XiongXiong, Yiheng East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Chi XuXu, Chi The Hong Kong University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Haoran XuXu, Haoran Stanford University Deegen: a meta-compiler approach for high performance VMs at low engineering cost
Jun XuXu, Jun The University of Utah Committee Member in Program Committee within the FUZZING-track
Lei XuXu, Lei Nanjing UniversityChina NodeRT: Detecting Races in Node.js Applications Practically
Lili XuXu, Lili Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Mengqian XuXu, Mengqian East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Sihan XuXu, Sihan Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Xinyi XuXu, Xinyi CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Xuelan XuXu, Xuelan Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Yong XuXu, Yong TencentChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Zhengzi XuXu, Zhengzi Nanyang Technological UniversitySingapore A Comprehensive Study on Quality Assurance Tools for Java
Zhichao XuXu, Zhichao University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Zijing XuXu, Zijing Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Hui XueXue, Hui Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Jingling XueXue, Jingling UNSWAustralia Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Zhiyi XueXue, Zhiyi East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
XuNie XuNie Huazhong University of Science and Technology; Beijing University of Posts and TelecommunicationsChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Y Ming YanYan, Ming Tianjin University, ChinaChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Qian YanYan, Qian National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
Rongjie YanYan, Rongjie Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Simulation-Based Validation for Autonomous Driving Systems
Chen YangYang, Chen Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Chenyuan YangYang, Chenyuan University of Illinois at Urbana-ChampaignUnited States Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Lin YangYang, Lin College of Intelligence and Computing, Tianjin UniversityChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Mengfei YangYang, Mengfei China Academy of Space TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Shuo YangYang, Shuo Sun Yat-sen UniversityChina Definition and Detection of Defects in NFT Smart Contracts
Songtao YangYang, Songtao Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Wei YangYang, Wei University of Texas at DallasUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Xiaohu YangYang, Xiaohu Zhejiang UniversityChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Yixing YangYang, Yixing Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Yunhe YangYang, Yunhe University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Zhou YangYang, Zhou Singapore Management UniversitySingapore Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Zijiang YangYang, Zijiang GuardStrikeChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Haojie YeYe, Haojie HuaweiChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Kejiang YeYe, Kejiang Shenzhen Institute of Advanced Technology at Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Mingxi YeYe, Mingxi Sun Yat-sen UniversityChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Yapeng YeYe, Yapeng Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Jooyong YiYi, Jooyong UNIST (Ulsan National Institute of Science and Technology)South Korea Automated Program Repair from Fuzzing Perspective
Xiao YiYi, Xiao Chinese University of Hong KongChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Alperen YildizYildiz, Alperen Sabanci UniversityTurkey Transforming Test Suites into Croissants
Jianwei YinYin, Jianwei Zhejiang UniversityChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Julian Hao YongYong, Julian Hao Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Zi Qian YongYong, Zi Qian Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Shin YooYoo, Shin KAISTSouth Korea A Bayesian Framework for Automated Debugging PC Member in Technical Papers within the ISSTA Technical Papers-track
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom PC Member in Program Committee within the VORTEX-track
Michal YoungYoung, Michal University of OregonUnited States Session Chair of ISSTA Online 5: Domain-Specific Testing (part of ISSTA Technical Papers) Finding Short Slow Inputs Faster with Grammar-Based Search PC Member in Technical Papers within the ISSTA Technical Papers-track TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
Daniel Yu Hian LowYu Hian Low, Daniel Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
Bin YuYu, Bin Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
BoXi YuYu, BoXi Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Chendong YuYu, Chendong Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
DongSong YuYu, DongSong Zhongguancun LaboratoryChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Pingshi YuYu, Pingshi Imperial College London RustSmith: Random Differential Compiler Testing for Rust Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
Shiwen YuYu, Shiwen National University of Defense TechnologyChina Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Tingting YuYu, Tingting University of CincinnatiUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning
Tingting YuYu, Tingting Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Tingting YuYu, Tingting University of CincinnatiUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Bin YuanYuan, Bin Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Hengchen YuanYuan, Hengchen Southern University of Science and TechnologyChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Z Zhiqiang ZangZang, Zhiqiang University of Texas at AustinUnited States Pattern-Based Peephole Optimizations with Java JIT Tests
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Session Chair of ISSTA 1: Program Repair and Debugging (part of ISSTA Technical Papers) Fuzzing Embedded Systems using Debug Interfaces PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track Language-Based Debugging Reasoning About MLIR Semantics Through Algebraic Effects and Handlers Quantitative Symbolic Similarity Analysis Type Automata
Juan ZhaiZhai, Juan University of Massachusetts AmherstUnited States CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Xian ZhanZhan, Xian Southern University of Science and TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Chao ZhangZhang, Chao Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing PC Member in Technical Papers within the ISSTA Technical Papers-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland Testing Graph Database Engines via Query Partitioning Committee Member in Program Committee within the FUZZING-track
Chenxi ZhangZhang, Chenxi Fudan UniversityChina Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Dongjia ZhangZhang, Dongjia EURECOM CrabSandwich: Fuzzing Rust with Rust
Dongmei ZhangZhang, Dongmei Microsoft ResearchChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Fengwei ZhangZhang, Fengwei Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Hang ZhangZhang, Hang Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Hongyu ZhangZhang, Hongyu Chongqing UniversityChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Simulation-Based Validation for Autonomous Driving Systems Improving Bit-Blasting for Nonlinear Integer Constraints
Jian ZhangZhang, Jian Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Jianping ZhangZhang, Jianping Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Jiyang ZhangZhang, Jiyang University of Texas at AustinUnited States More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Vectorizing Program Ingredients for Better JVM Testing Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models PC Member in Technical Papers within the ISSTA Technical Papers-track
Lu ZhangZhang, Lu Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines PC Member in Technical Papers within the ISSTA Technical Papers-track
Min ZhangZhang, Min East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Mu ZhangZhang, Mu University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Qian ZhangZhang, Qian University of California, RiversideUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Program Committee within the FUZZING-track
Qiuping ZhangZhang, Qiuping Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Quan ZhangZhang, Quan Tsinghua UniversityChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Quanjun ZhangZhang, Quanjun Nanjing University DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Rong ZhangZhang, Rong Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Tiantai ZhangZhang, Tiantai Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Weifeng ZhangZhang, Weifeng Nanjing University of Posts and TelecommunicationsChina NodeRT: Detecting Races in Node.js Applications Practically
Wen ZhangZhang, Wen University of Georgia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wuqi ZhangZhang, Wuqi The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States NodeRT: Detecting Races in Node.js Applications Practically Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Xiaodong ZhangZhang, Xiaodong Xidian UniversityChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Xiaofang ZhangZhang, Xiaofang Soochow UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Xudong ZhangZhang, Xudong Institute of Software at Chinese Academy of SciencesChina Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Yiming ZhangZhang, Yiming Southern University of Science and Technology; Hong Kong Polytechnic UniversityChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Yiyu ZhangZhang, Yiyu Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Yupeng ZhangZhang, Yupeng Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We? Vectorizing Program Ingredients for Better JVM Testing
Zenong ZhangZhang, Zenong The University of Texas at Dallas ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Zhaodi ZhangZhang, Zhaodi East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Zhaowei ZhangZhang, Zhaowei National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Zhaoxu ZhangZhang, Zhaoxu University of Southern CaliforniaUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Gang ZhaoZhao, Gang National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Kaifa ZHAOZHAO, Kaifa Hong Kong Polytechnic UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Wenyun ZhaoZhao, Wenyun Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Yingquan ZhaoZhao, Yingquan Tianjin UniversityChina Vectorizing Program Ingredients for Better JVM Testing Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper) Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yu ZhaoZhao, Yu University of Central MissouriUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning
Zhehao ZhaoZhao, Zhehao Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Hengjie ZhengZheng, Hengjie Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Yaowen ZhengZheng, Yaowen Nanyang Technological UniversitySingapore Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Zibin ZhengZheng, Zibin Sun Yat-sen UniversityChina Definition and Detection of Defects in NFT Smart Contracts Toward Automated Detecting Unanticipated Price Feed in Smart Contract Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Chen ZhiZhi, Chen Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier TechnologiesChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Zhiqing ZhongZhong, Zhiqing Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Hao ZhouZhou, Hao Hong Kong Polytechnic UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Jingyao ZhouZhou, Jingyao Nanjing UniversityChina NodeRT: Detecting Races in Node.js Applications Practically
Mingyi ZhouZhou, Mingyi Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Xiaoqun ZhouZhou, Xiaoqun Alibaba GroupChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Yajin ZhouZhou, Yajin Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
yi zhouzhou, yi Huazhong University of Science and TechnologyChina An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Yuan ZhouZhou, Yuan Nanyang Technological UniversitySingapore BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Yuhao ZhouZhou, Yuhao Nanjing University of Science and TechnologyChina DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
Yuming ZhouZhou, Yuming Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Hengcheng ZhuZhu, Hengcheng The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Hongsong ZhuZhu, Hongsong Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Tahereh ZohdinasabZohdinasab, Tahereh USI LuganoSwitzerland DeepAtash: Focused Test Generation for Deep Learning Systems Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Li ZongjieZongjie, Li Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers
Deqing ZouZou, Deqing Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Zhenhua ZouZou, Zhenhua Tsinghua UniversityChina iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Â Pedro ÂngeloÂngelo, Pedro University of PortoPortugal Gradual Guarantee for FJ with lambda-expressions

ISSTA 2023 Contributors

Results (966)

Tracks

ECOOP and ISSTA 2023

Workshops