ISSTA 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (849)

A 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
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 EvoSpex: A Search-based Tool for Postcondition Inference PC Member in Technical Papers within the ISSTA Technical Papers-track
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
Kevin AllixAllix, Kevin CentraleSupélecFrance Guided Retraining to Enhance the Detection of Difficult Android Malware
Eman Abdullah AlOmarAlOmar, Eman Abdullah Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
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 Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
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)
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 Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
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
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
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
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 June: A Type Testability Transformation for Improved ATG Performance CodeGrid: A Grid Representation of Code PC Member in Technical Papers within the ISSTA Technical Papers-track
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) Session Chair of Tool Demo Presentations (part of ISSTA Tool Demonstrations) Session Chair of Tool Demonstrations (part of ISSTA Tool Demonstrations) PC Member in Technical Papers within the ISSTA Technical Papers-track 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
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 D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States SlipCover: Near Zero-Overhead Code Coverage for Python
Thorsten BergerBerger, Thorsten Ruhr University Bochum RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
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
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
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 GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing Security Checking of Trigger-Action-Programming Smart Home Integrations
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Quantitative Policy Repair for Access Control on the Cloud Rare Path Guided Fuzzing
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
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) KDAlloc: The KLEE Deterministic Allocator GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track
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
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
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
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 Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols Definition and Detection of Defects in NFT Smart Contracts
Jianjun ChenChen, Jianjun Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Junjie ChenChen, Junjie Tianjin UniversityChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper) Vectorizing Program Ingredients for Better JVM Testing Silent Compiler Bug De-duplication via Three-Dimensional Analysis 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
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 Fuzzing Deep Learning Compilers with HirGen ωTest: WebView-Oriented Testing for Android Applications ConfFix: Repairing Configuration Compatibility Issues in Android Apps 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 Dependency-Aware Metamorphic Testing of Datalog Engines Green Fuzzer Benchmarking
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
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 Committee Member in Program Committee within the DEBT-track
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
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
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
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 RustSmith: Random Differential Compiler Testing for Rust GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track 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
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
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
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 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
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
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
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
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
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 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
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
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 Universiteit Gent, BelgiumBelgium 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 Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning PC Member in Technical Papers within the ISSTA Technical Papers-track 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
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 ROME: Testing Image Captioning Systems via Recursive Object Melting Validating Multimedia Content Moderation Software via Semantic Fusion
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
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
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
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 An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
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
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 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
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
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
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
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
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
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
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
Daniel LehmannLehmann, Daniel University of StuttgartGermany That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
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)
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
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?
Xuandong LiLi, Xuandong Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration Security Checking of Trigger-Action-Programming Smart Home Integrations
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
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 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 ConfFix: Repairing Configuration Compatibility Issues in Android Apps 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
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
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 CydiOS: A Model-Based Testing Framework for iOS Apps Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper) Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
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
Adnan MahmoodMahmood, Adnan Macquarie UniversityAustralia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
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
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 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
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
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
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
António MorgadoMorgado, António INESC-ID MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
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 SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
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
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?
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 Program Committee within the FUZZING-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-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 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
Van-Thuan PhamPham, Van-Thuan Monash UniversityAustralia Committee Member in Program Committee within the FUZZING-track
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
Michael PradelPradel, Michael University of StuttgartGermany Session Chair of ISSTA 5: Improving Deep Learning Systems (part of ISSTA Technical Papers) Beware of the Unexpected: Bimodal Taint Analysis That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly 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
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
Md Rafiqul Islam RabinRabin, Md Rafiqul Islam 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) Co-chair in Organizing Committee within the ICOOOLPS-track
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
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 Towards Code-Aware Code Models PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
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
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
José Miguel RojasRojas, José Miguel The University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
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
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
Ruben Ruiz TorrubianoRuiz Torrubiano, Ruben IMC University of Applied Sciences KremsAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Antonio Ruiz-CortésRuiz-Cortés, Antonio University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs
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 Quantitative Policy Repair for Access Control on the Cloud Rare Path Guided Fuzzing
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
Federica SarroSarro, Federica University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
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
Moritz SchloegelSchloegel, Moritz CISPA, Germany Committee Member in Program Committee within the FUZZING-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, BelgiumBelgium 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
Lars SchützeSchütze, Lars Technische Universität DresdenGermany 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
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
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 Program Committee within the FUZZING-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-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 ItyFuzz: Snapshot-Based Fuzzer for Smart Contract Rare Path Guided Fuzzing
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
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: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
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 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 Semantic-Based Neural Network Repair Silent Compiler Bug De-duplication via Three-Dimensional Analysis 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 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
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 Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries CydiOS: A Model-Based Testing Framework for iOS Apps Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
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 Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts Exploring Missed Optimizations in WebAssembly Optimizers 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
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 RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
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) ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization PC Member in Technical Papers within the ISSTA Technical Papers-track
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 Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation ConfFix: Repairing Configuration Compatibility Issues in Android Apps
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 An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Valentin WüstholzWüstholz, Valentin ConsenSysAustria Dependency-Aware Metamorphic Testing of Datalog Engines Green Fuzzer Benchmarking
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
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
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
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
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 Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
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
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 TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break PC Member in Technical Papers within the ISSTA Technical Papers-track
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
Shiwen YuYu, Shiwen National University of Defense TechnologyChina Loop Invariant Inference through SMT Solving Enhanced 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 Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning 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
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
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 Improving Bit-Blasting for Nonlinear Integer Constraints Simulation-Based Validation for Autonomous Driving Systems
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 Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models Vectorizing Program Ingredients for Better JVM Testing 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 Program Committee within the FUZZING-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-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
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
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
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 Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper) Vectorizing Program Ingredients for Better JVM Testing 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 SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols Definition and Detection of Defects in NFT Smart Contracts
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: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
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 An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
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

ISSTA 2023 Contributors

Results (849)

Tracks

ECOOP and ISSTA 2023

Workshops