Program - ISSTA 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15		30	45		12:00	15	30	45	13:00	15		30	45	14:00	15		30	45		15:00	15	30	45	16:00	15		30	45		17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Andromeda													ISSTA Doctoral Symposium Opening Remarks 11:00 - 11:15	ISSTA Doctoral Symposium Research and Impact in Academia and Industry 11:15 - 12:00					ISSTA Doctoral Symposium Job Talk #1: Search-based Software Testing Driven by Domain Knowledge 12:00 - 12:15	ISSTA Doctoral Symposium Job Talk #2: Regression Fault Detection and Mitigation in the Evolution ... 12:15 - 12:30								ISSTA Doctoral Symposium On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective 14:00 - 15:30 Fine-Grained Developer Reification 14:00 - 15:30 When Performance Failure Occurs in Low-Latency Storage Systems: Observa ... 14:00 - 15:30 Towards Privacy-Preserving Code Generation: Understanding and Mitigatin ... 14:00 - 15:30 Mediating between Human Programmers and Integrated Development Environm ... 14:00 - 15:30 Investigating the Role of Formal Verification in Software Development: ... 14:00 - 15:30 Automated Vulnerability-Focused Code Reviews 14:00 - 15:30 Co-Intelligence in Software Engineering: Understanding and Optimizing G ... 14:00 - 15:30 Formal Liability Apportionment in Autonomous Systems 14:00 - 15:30 Research Open-Source Software: supporting small communities with techni ... 14:00 - 15:30 Reversing Programs for Error Reachability Analysis 14:00 - 15:30 Towards More Interpretable Large Language Models for Code 14:00 - 15:30 Securing Language Models Against Vulnerability Encoding 14:00 - 15:30 Enhancing Large Language Model Integration in Integrated Development En ... 14:00 - 15:30 Generating Code Tours Using Locally-Runnable LLMs 14:00 - 15:30 End-to-End Testing Gamification: A Novel Approach to the Verification a ... 14:00 - 15:30 Automating the conformity assessment of Cyber-Physical Systems software 14:00 - 15:30										ISSTA Doctoral Symposium Ask Me Anything 16:00 - 17:00						ISSTA Doctoral Symposium Break Out Sessions 17:00 - 18:00
Aurora A													ISSTA Research Papers LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, ... 11:00 - 11:25		ISSTA Research Papers AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred P ... 11:25 - 11:50			ISSTA Research Papers PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for L ... 11:50 - 12:15		ISSTA Tool Demonstrations InfraFix: Technology-Agnostic Repair of Infrastructure as Code 12:15 - 12:30								ISSTA Research Papers Productively Deploying Emerging Models on Emerging Platforms: A Top-Dow ... 14:00 - 14:25		ISSTA Research Papers SWE-GPT: A Process-Centric Language Model for Automated Software Improv ... 14:25 - 14:50			ISSTA Research Papers What Happened in This Pipeline? Diffing Build Logs With CiDiff 14:50 - 15:15					ISSTA Research Papers Intention-based GUI Test Migration for Mobile Apps using Large Language ... 16:00 - 16:25		ISSTA Research Papers GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Sync ... 16:25 - 16:50			ISSTA Research Papers Understanding Model Weaknesses: A Path to Strengthening DNN-Based Andro ... 16:50 - 17:15		ISSTA Tool Demonstrations GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Mi ... 17:15 - 17:30	ISSTA Plenary Events Huawei Sponsor Talk 17:30 - 18:00
Aurora B													ISSTA Research Papers Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API ... 11:00 - 11:25		ISSTA Research Papers Pepper: Preference-Aware Active Trapping for Ransomware 11:25 - 11:50			ISSTA Research Papers ICEPRE: ICS protocol reverse engineering via data-driven concolic execution 11:50 - 12:15										ISSTA Research Papers MoDitector: Module-Directed Testing for Autonomous Driving Systems 14:00 - 14:25		ISSTA Research Papers RouthSearch: Inferring PID Parameter Specification for Flight Control P ... 14:25 - 14:50			ISSTA Research Papers Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autono ... 14:50 - 15:15					ISSTA Research Papers QTRAN: Extending Metamorphic-Oracle based Logical Bug Detection Techniq ... 16:00 - 16:25		ISSTA Research Papers Detecting Isolation Anomalies in Relational DBMSs 16:25 - 16:50			ISSTA Research Papers Understanding Practitioners’ Expectations on Clear Code Review Comments 16:50 - 17:15
Aurora C													ISSTA Research Papers Preventing Disruption of System Backup Against Ransomware Attacks 11:00 - 11:25		ISSTA Research Papers Rethinking Performance Analysis for Configurable Software Systems: A Ca ... 11:25 - 11:50			ISSTA Research Papers Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data- ... 11:50 - 12:15										ISSTA Research Papers Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper) 14:00 - 14:25		ISSTA Research Papers LogBase: A Large-Scale Benchmark for Semantic Log Parsing 14:25 - 14:50			ISSTA Research Papers Static Program Reduction via Type-Directed Slicing 14:50 - 15:15					ISSTA Research Papers Model Checking Guided Incremental Testing for Distributed Systems 16:00 - 16:25		ISSTA Research Papers Identifying Multi-Parameter Constraint Errors in Python Data Science Li ... 16:25 - 16:50			ISSTA Research Papers Freesia: Verifying Correctness of TEE Communication with Concurrent Sep ... 16:50 - 17:15		ISSTA Tool Demonstrations TBFV4J: An Automated Testing-Based Formal Verification Tool for Java 17:15 - 17:30
Cosmos 3A													ISSTA Research Papers Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias ... 11:00 - 11:25		ISSTA Research Papers ClassEval-T: Evaluating Large Language Models in Class-Level Code Trans ... 11:25 - 11:50			ISSTA Research Papers No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targ ... 11:50 - 12:15										ISSTA Research Papers A Large-scale Empirical Study on Fine-tuning Large Language Models for ... 14:00 - 14:25		ISSTA Research Papers Validating Network Protocol Parsers with Traceable RFC Document Interpr ... 14:25 - 14:50			ISSTA Research Papers Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles 14:50 - 15:15		ISSTA Tool Demonstrations Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compil ... 15:15 - 15:30			ISSTA Research Papers xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing ... 16:00 - 16:25		ISSTA Research Papers KRAKEN: Program-Adaptive Parallel Fuzzing 16:25 - 16:50			ISSTA Research Papers Quantum Concolic Testing 16:50 - 17:15
Cosmos Hall				ISSTA Plenary Events Welcome to ISSTA 2025 08:45 - 09:00	ISSTA Plenary Events SIGSOFT Impact Award 09:00 - 09:30		ISSTA Plenary Events Leveraging Latent-space Generative Models for Testing 09:30 - 10:30
Foyer											ISSTA Catering Break 10:30 - 11:00										ISSTA Catering Lunch 12:30 - 14:00															ISSTA Catering Break 15:30 - 16:00
Rockheim Panorama																									ISSTA Plenary Events Reception 19:00 - 22:00

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00	15	30	45	10:00	15	30	45	11:00	15		30	45		12:00	15	30	45	13:00	15	30	45	14:00	15		30	45		15:00	15	30	45	16:00	15		30	45		17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Aurora A									ISSTA Plenary Events Software Inclusivity and Networking 11:00 - 13:00
Cosmos 3A									ISSTA Research Papers Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vu ... 11:00 - 11:25		ISSTA Research Papers SoK: A Taxonomic Analysis of DeFi Rug Pulls - Types, Dataset, and Tool ... 11:25 - 11:50			ISSTA Research Papers Recurring Vulnerability Detection: How Far Are We? 11:50 - 12:15									ISSTA Research Papers Assessing Scene Generation Techniques for Testing COLREGS-Compliance of ... 14:00 - 14:25		ISSTA Research Papers Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator 14:25 - 14:50			ISSTA Research Papers Extended Reality Cybersickness Assessment via User Review Analysis 14:50 - 15:15					ISSTA Research Papers Program Feature-based Benchmarking for Fuzz Testing 16:00 - 16:25		ISSTA Research Papers Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-base ... 16:25 - 16:50			ISSTA Research Papers Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing 16:50 - 17:15
Cosmos 3B									ISSTA Research Papers LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on La ... 11:00 - 11:25		ISSTA Research Papers Walls Have Ears: Demystifying Notification Listener Usage in Android Apps 11:25 - 11:50			ISSTA Research Papers An Investigation on Numerical Bugs in GPU Programs Towards Automated Bu ... 11:50 - 12:15									ISSTA Research Papers Bridge the Islands: Pointer Analysis for Microservice Systems 14:00 - 14:25		ISSTA Research Papers Program Analysis Combining Generalized Bit-Level and Word-Level Abstrac ... 14:25 - 14:50			ISSTA Research Papers Type-Alias Analysis: Enabling LLVM IR with Accurate Types 14:50 - 15:15					ISSTA Research Papers DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programma ... 16:00 - 16:25		ISSTA Research Papers DataHook: An Efficient and Lightweight System Call Hooking Technique wi ... 16:25 - 16:50			ISSTA Research Papers Tracezip: Efficient Distributed Tracing via Trace Compression 16:50 - 17:15
Cosmos 3C									ISSTA Research Papers You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects 11:00 - 11:25		ISSTA Research Papers Effective REST APIs Testing with Error Message Analysis 11:25 - 11:50			ISSTA Research Papers REACCEPT: Automated Co-evolution of Production and Test Code Based on D ... 11:50 - 12:15		ISSTA Tool Demonstrations PatchScope – A Modular Tool for Annotating and Analyzing Contributions 12:15 - 12:30							ISSTA Research Papers Are Autonomous Web Agents good testers? 14:00 - 14:25		ISSTA Research Papers MLLM-Based UI2Code Automation Guided by UI Layout Information 14:25 - 14:50			ISSTA Research Papers GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting ... 14:50 - 15:15					ISSTA Research Papers OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Reso ... 16:00 - 16:25		ISSTA Research Papers ConTested: Consistency-Aided Tested Code Generation with LLM 16:25 - 16:50			ISSTA Research Papers Causality-Aided Evaluation and Explanation of Large Language Model-base ... 16:50 - 17:15
Cosmos Hall	ISSTA Plenary Events Correctness Matters: Automatic Program Transformation in the Age of Gen ... 09:00 - 10:30								ISSTA Research Papers Enhanced Prompting Framework for Code Summarization with Large Language ... 11:00 - 11:25		ISSTA Research Papers CrossProbe: LLM-empowered Cross-Project Bug Detection for Deep Learning ... 11:25 - 11:50			ISSTA Research Papers Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust ... 11:50 - 12:15									ISSTA Research Papers The First Prompt Counts the Most! An Evaluation of Large Language Model ... 14:00 - 14:25		ISSTA Research Papers VerLog: Enhancing Release Note Generation for Android Apps using Large ... 14:25 - 14:50			ISSTA Research Papers Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge ... 14:50 - 15:15		ISSTA Tool Demonstrations Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code ... 15:15 - 15:30																	ISSTA Plenary Events Banquet 19:00 - 22:00
Foyer							ISSTA Catering Break 10:30 - 11:00										ISSTA Catering Lunch 12:30 - 14:00														ISSTA Catering Break 15:30 - 16:00

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00	15	30	45	10:00	15	30	45	11:00	15		30	45		12:00	15	30	45	13:00	15	30	45	14:00	15			30	45		15:00	15	30	45	16:00	15		30	45		17:00	15	30	45	18:00	15	30	45	19:00	15	30	45
Cosmos 3A									ISSTA Research Papers Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart ... 11:00 - 11:25		ISSTA Research Papers Enhancing Smart Contract Security Analysis with Execution Property Graphs 11:25 - 11:50			ISSTA Research Papers The Incredible Shrinking Context... in a decompiler near you 11:50 - 12:15									ISSTA Research Papers AudioTest: Prioritizing Audio Test Cases 14:00 - 14:25			ISSTA Research Papers S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large ... 14:25 - 14:50			ISSTA Research Papers Improving Deep Learning Framework Testing with Model-Level Metamorphic ... 14:50 - 15:15		ISSTA Tool Demonstrations ASTRAL: A Tool for the Automated Safety Testing of Large Language Models 15:15 - 15:30
Cosmos 3B									ISSTA Research Papers Bridging the Gaps Between Graph Neural Networks and Data-Flow Analysis: ... 11:00 - 11:25		ISSTA Research Papers Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference 11:25 - 11:50			ISSTA Research Papers Incremental Verification of Concurrent Programs through Refinement Cons ... 11:50 - 12:15									ISSTA Research Papers BinQuery: A Novel Framework for Natural Language-Based Binary Code Retr ... 14:00 - 14:25			ISSTA Research Papers Wemby’s Web: Hunting for Memory Corruption in WebAssembly 14:25 - 14:50			ISSTA Research Papers Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orche ... 14:50 - 15:15		ISSTA Tool Demonstrations ReGraph: A Tool for Binary Similarity Identification 15:15 - 15:30			ISSTA Research Papers OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Vi ... 16:00 - 16:25		ISSTA Research Papers Why Does My Transaction Fail? A First Look at Failed Transactions on th ... 16:25 - 16:50			ISSTA Research Papers Automated Attack Synthesis for Constant Product Market Makers 16:50 - 17:15
Cosmos 3C									ISSTA Research Papers KEENHash: Hashing Programs into Function-aware Embeddings for Large-sca ... 11:00 - 11:25		ISSTA Research Papers Porting Software Libraries to OpenHarmony: Transitioning from TypeScrip ... 11:25 - 11:50			ISSTA Research Papers STRUT: Structured Seed Case Guided Unit Test Generation for C Programs ... 11:50 - 12:15									ISSTA Research Papers NADA: Neural Acceptance-driven Approximate Specification Mining 14:00 - 14:25			ISSTA Research Papers Gamifying Testing in IntelliJ: A Replicability Study 14:25 - 14:50			ISSTA Research Papers DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Ch ... 14:50 - 15:15		ISSTA Tool Demonstrations Teaching Software Testing and Debugging with the Serious Game Sojourner ... 15:15 - 15:30			ISSTA Research Papers ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint In ... 16:00 - 16:25		ISSTA Research Papers WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery 16:25 - 16:50			ISSTA Research Papers FANDANGO: Evolving Language-Based Testing 16:50 - 17:15		ISSTA Tool Demonstrations XAVIER: Grammar-Based Testing for XML Injection Attacks 17:15 - 17:30
Cosmos Hall	ISSTA Plenary Events An Analysis of Patch Plausibility and Correctness for Generate-and-vali ... 09:00 - 10:30								ISSTA Research Papers Fixing Outside the Box: Uncovering Tactics for Open-Source Security Iss ... 11:00 - 11:25		ISSTA Research Papers More Effective JavaScript Breaking Change Detection via Dynamic Object ... 11:25 - 11:50			ISSTA Tool Demonstrations LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM ... 11:50 - 12:05																												ISSTA Plenary Events Closing Session for ISSTA 25 17:30 - 17:45
Foyer							ISSTA Catering Break 10:30 - 11:00										ISSTA Catering Lunch 12:30 - 14:00															ISSTA Catering Break 15:30 - 16:00
Luna																	ISSTA Meetings ISSTA Steering Commitee Meeting 12:30 - 14:00
Nidaros Cathedral																									ISSTA Plenary Events Organ Concert 19:00 - 19:45

Sat 28 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00		15	30	45	10:00		15		30	45	11:00	15		30		45	12:00	15		30	45	13:00	15	30	45	14:00	15		30		45		15:00		15	30	45	16:00	15	30	45
Cosmos 3B	EXPRESS Opening and Welcome 09:00 - 09:10	EXPRESS Human-like AI Auditor for Code Repositories 09:10 - 10:10					EXPRESS FuseApplyBench: Multilingual Benchmark for Trustworthy Code Edit Applyi ... 10:10 - 10:30					EXPRESS Patch the Leak: Strengthening CodeLLMs Against Privacy Extraction Threats 11:00 - 11:20		EXPRESS From Large Language Models to Adversarial Malware: How far are we 11:20 - 11:40		EXPRESS Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and P ... 11:40 - 12:00		EXPRESS TestFlow: Advancing Mobile UI Testing through Multi-Step Reinforcement ... 12:00 - 12:20		EXPRESS Discussion and Conclusion 12:20 - 12:30
Cosmos 3C	FUZZING Welcome 09:00 - 09:10	FUZZING Keynote: Constraining Fuzzing without Paying Too Much 09:10 - 10:00				FUZZING Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS M ... 10:00 - 10:10	FUZZING Hybrid Fuzzing of Infrastructure as Code Programs 10:10 - 10:20		FUZZING Towards Fuzzing Zero-Knowledge Proof Circuits 10:20 - 10:30			FUZZING Keynote: Are you sure you belong in academia? 11:00 - 11:50						FUZZING Panel Discussion: Fuzzing in Research vs. Industry 12:00 - 13:00									FUZZING On the Applicability of Benford’s Law to Detect Saturation in Fuzzing 14:00 - 14:18		FUZZING Trailblazer: Practical End-to-end Web API Fuzzing 14:18 - 14:36		FUZZING Revisiting the Combination of Static Analysis Error Traces and Dynamic ... 14:36 - 14:54		FUZZING MQueez: Specification-Driven Fuzzing for MQTT Broker 14:54 - 15:12		FUZZING Shepherd: High-Precision Coverage Inference for Response-guided Blackbo ... 15:12 - 15:30				FUZZING Concluding Remarks 16:00 - 16:10
Foyer										ISSTA Catering Break 10:30 - 11:00													ISSTA Catering Lunch 13:00 - 14:00														ISSTA Catering Break 15:30 - 16:00

ISSTA 2025 Program

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 28 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

ISSTA 2025 Program

Switch Program View

Program Display Configuration

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 28 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 28 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change