EI 9 Hlawka - MPLR 2024

VenueVienna University of Technology (TU Wien) - Campus Gusshaus

Room nameEI 9 Hlawka

Floor0

Capacity179

Room InformationNo extra information available

Information for Participants

Info for room EI 9 Hlawka:

Map: https://tuw-maps.tuwien.ac.at/?q=CAEG17

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/13939

Program

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

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	Mozart SessionFUZZING at EI 9 Hlawka

09:00 15m Day opening		Opening and Welcome FUZZING
09:15 45m Keynote		[Keynote] Reasons for the Unreasonable Success of Fuzzing FUZZING K: Thomas (Halvar Flake) Dullien

10:30 - 12:00	Strauss SessionFUZZING at EI 9 Hlawka

10:30 15m Talk		Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup FUZZING Madonna Huang University of British Columbia, Caroline Lemieux University of British Columbia
10:45 15m Talk		Effective Fuzzing within CI/CD Pipelines FUZZING Arindam Sharma Imperial College London, UK, Cristian Cadar Imperial College London, Jonathan Metzman Google
11:00 15m Talk		Automated Feature Testing of Verilog Parsers using Fuzzing FUZZING Quentin Corradi Imperial College London, John Wickerson Imperial College London, George A. Constantinides Imperial College London, UK
11:15 15m Talk		WebAssembly as a Fuzzing Compilation Target FUZZING Florian Bauckholt CISPA Helmholtz Center for Information Security, Thorsten Holz CISPA Helmholtz Center for Information Security
11:30 15m Talk		Visualization Task Taxonomy to Understand the Fuzzing Internals FUZZING Sriteja Kummita Fraunhofer IEM, Miao Miao The University of Texas at Dallas, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Shiyi Wei University of Texas at Dallas

13:30 - 15:00	Haydn SessionFUZZING at EI 9 Hlawka

13:30 45m Keynote		[Keynote] Is "AI" useful for fuzzing? FUZZING K: Brendan Dolan-Gavitt New York University
14:15 45m Live Q&A		Discussion: LLMs and Fuzzing for Bug Finding FUZZING

15:30 - 17:00	Bach SessionFUZZING at EI 9 Hlawka

15:30 15m Talk		Sparse Symbolic Loop Execution FUZZING Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
15:45 15m Talk		LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing FUZZING Florian Schwarcz Johannes Kepler University Linz, Felix Berlakovich μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Gergö Barany Oracle Labs, Hanspeter Mössenböck JKU Linz
16:00 15m Talk		The Havoc Paradox in Generator-Based Fuzzing FUZZING Ao Li Carnegie Mellon University, Madonna Huang University of British Columbia, Caroline Lemieux University of British Columbia, Rohan Padhye Carnegie Mellon University
16:15 15m Talk		Understanding and Improving Coverage Tracking with AFL++ FUZZING Vasil Sarafov μCSRL, CODE Research Institute, University of the Bundeswehr Munich, David Markvica μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Felix Berlakovich μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Matthias Bernad μCSRL, CODE Research Institute, University of the Bundeswehr Munich, Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
16:30 30m Day closing		Concluding Remarks FUZZING

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:00	MET2024 Opening and Keynote TalkMET at EI 9 Hlawka Chair(s): Huai Liu Swinburne University of Technology

08:50 10m Day opening		Opening remarks MET Huai Liu Swinburne University of Technology
09:00 60m Keynote		Keynote speech: AI-Driven Metamorphic Testing for Autonomous Systems MET Arnaud Gotlieb Simula Research Laboratory

10:30 - 12:00	MET2024 Session 1: Applications of Metamorphic TestingMET at EI 9 Hlawka Chair(s): Kun Qiu Hefei University of Technology

10:30 30m Paper		Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience MET Yifan Zhang University of Nottingham Ningbo China, Dave Towey University of Nottingham Ningbo China, Matthew pike University of Nottingham, Ningbo, China, Rui Qiu , Axel Tan Jaya , Sze Huey , Xinyi Zhang , Yuan Wu
11:00 30m Paper		Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies MET Chang-ai Sun University of Science and Technology Beijing, Jiayu Xing , Xiaobei Li , Xiao-Yi Zhang University of Science and Technology Beijing, An Fu University of Science and Technology Beijing
11:30 30m Paper		Evaluating Human Trajectory Prediction with Metamorphic Testing MET Helge Spieker Simula Research Laboratory, Nassim Belmecheri , Arnaud Gotlieb Simula Research Laboratory, Nadjib Lazaar Pre-print

13:30 - 15:00	MET2024 Session 2: Future Research of MTMET at EI 9 Hlawka Chair(s): Aitor Arrieta Mondragon University

13:30 30m Paper		Using Category Partition to Detect Metamorphic Relations MET Saba Pedram , Yvan Labiche
14:00 60m Panel		Interactive discussion: Key areas for MT’s research MET

15:30 - 17:00	MET2024 Session 3: MT and AIMET at EI 9 Hlawka Chair(s): Aldeida Aleti Monash University

15:30 30m Paper		Using Metamorphic Relations to Improve Accuracy and Robustness of Deep Neural Networks MET Kun Qiu Hefei University of Technology, Yu Zhou , Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia
16:00 60m Panel		Panel discussion: MT4AI & AI4MT MET

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:50	Fuzzing 1ISSTA Technical Papers at EI 9 Hlawka Chair(s): Shiyi Wei University of Texas at Dallas

10:30 20m Talk		Policy Testing with MDPFuzz (Replicability Study)ACM SIGSOFT Distinguished Paper Award ISSTA Technical Papers Quentin Mazouni Simula Research Laboratory, Helge Spieker Simula Research Laboratory, Arnaud Gotlieb Simula Research Laboratory, Mathieu Acher University of Rennes - Inria - CNRS - IRISA DOI
10:50 20m Talk		Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation ISSTA Technical Papers Jueon Eom Yonsei University, Seyeon Jeong Suresofttech, Taekyoung Kwon Yonsei University DOI
11:10 20m Talk		Enhancing ROS System Fuzzing through Callback Tracing ISSTA Technical Papers Yuheng Shen Tsinghua University, Jianzhong Liu Tsinghua University, Yiru Xu Tsinghua University, Hao Sun ETH Zurich, Mingzhe Wang Tsinghua University, Nan Guan City University of Hong Kong, Heyuan Shi Central South University, Yu Jiang Tsinghua University DOI
11:30 20m Talk		Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC ISSTA Technical Papers Haolai Wei Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Liwei Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhijie Zhang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Gang Shi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dan Meng Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI

13:30 - 14:30	Test GenerationISSTA Technical Papers at EI 9 Hlawka Chair(s): Alessio Gambi Austrian Institute of Technology (AIT)

13:30 20m Talk		Domain Adaptation for Code Model-Based Unit Test Case Generation ISSTA Technical Papers Jiho Shin York University, Sepehr Hashtroudi University of Calgary, Hadi Hemmati York University, Song Wang York University DOI
13:50 20m Talk		Practitioners’ Expectations on Automated Test Generation ISSTA Technical Papers Xiao Yu Huawei, Lei Liu Xi’an Jiaotong University, Xing Hu Zhejiang University, Jacky Keung City University of Hong Kong, Xin Xia Huawei, David Lo Singapore Management University DOI
14:10 20m Talk		UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing ISSTA Technical Papers Yifeng He University of California at Davis, Jiabo Huang Tencent, Yuyang Rong University of California at Davis, Yiwen Guo Unaffiliated, Ethan Wang University of California at Davis, Hao Chen University of California at Davis DOI

15:30 - 17:10	Testing and Repairing Neural NetworksISSTA Technical Papers at EI 9 Hlawka Chair(s): Mike Papadakis University of Luxembourg

15:30 20m Talk		Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters ISSTA Technical Papers Purvish Jajal Purdue University, Wenxin Jiang Purdue University, Arav Tewari Purdue University, Erik Kocinare Purdue University, Joseph Woo Purdue University, Anusha Sarraf Purdue University, Yung-Hsiang Lu Purdue University, George K. Thiruvathukal Loyola University Chicago, James C. Davis Purdue University DOI Pre-print
15:50 20m Talk		Interpretability Based Neural Network Repair ISSTA Technical Papers Zuohui Chen Zhejiang University of Technology; Binjiang Institute of Artificial Intelligence, Jun Zhou Zhejiang University of Technology; Binjiang Institute of Artificial Intelligence, Youcheng Sun University of Manchester, Jingyi Wang Zhejiang University, Qi Xuan Zhejiang University of Technology; Binjiang Institute of Artificial Intelligence, Xiaoniu Yang Zhejiang University of Technology; National Key Laboratory of Electromagnetic Space Security DOI
16:10 20m Talk		See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing ISSTA Technical Papers Yuanyuan Yuan Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology, Zhendong Su ETH Zurich DOI
16:30 20m Talk		Isolation-Based Debugging for Neural Networks ISSTA Technical Papers Jialuo Chen Zhejiang University, Jingyi Wang Zhejiang University, Youcheng Sun University of Manchester, Peng Cheng Zhejiang University, Jiming Chen Zhejiang University; Hangzhou Dianzi University DOI
16:50 20m Talk		Certified Continual Learning for Neural Network Regression ISSTA Technical Papers Long H. Pham Singapore Management University, Jun Sun Singapore Management University DOI

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:50	Testing Neural NetworksISSTA Technical Papers at EI 9 Hlawka Chair(s): Paolo Tonella USI Lugano

10:30 20m Talk		Distance-Aware Test Input Selection for Deep Neural Networks ISSTA Technical Papers Zhong Li Nanjing University, Zhengfeng Xu Nanjing University, Ruihua Ji Nanjing University, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University DOI
10:50 20m Talk		Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics ISSTA Technical Papers Demet Demir Middle East Technical University, Aysu Betin Can Middle East Technical University, Elif Surer Middle East Technical University DOI
11:10 20m Talk		Datactive: Data Fault Localization for Object Detection Systems ISSTA Technical Papers Yining Yin Nanjing University, Yang Feng Nanjing University, Shihao Weng Nanjing University, Yuan Yao Nanjing University, Jia Liu Nanjing University, Zhihong Zhao Nanjing University DOI
11:30 20m Talk		TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development ISSTA Technical Papers Xiangshan Gao Zhejiang University; Huawei Technology, Jialuo Chen Zhejiang University, Jingyi Wang Zhejiang University, Jie Shi Huawei International, Peng Cheng Zhejiang University, Jiming Chen Zhejiang University; Hangzhou Dianzi University DOI

13:30 - 14:50	Static analysisISSTA Technical Papers at EI 9 Hlawka Chair(s): Dominik Helm University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENE

13:30 20m Talk		Precise Compositional Buffer Overflow Detection via Heap DisjointnessACM SIGSOFT Distinguished Paper Award ISSTA Technical Papers Yiyuan Guo Hong Kong University of Science and Technology, Peisen Yao Zhejiang University, Charles Zhang Hong Kong University of Science and Technology DOI Pre-print
13:50 20m Talk		Finding Cuts in Static Analysis Graphs to Debloat Software ISSTA Technical Papers Christoph Blumschein Hasso Plattner Institute; University of Potsdam, Fabio Niephaus Oracle Labs, Codrut Stancu Oracle Labs, Christian Wimmer Oracle Labs, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam DOI Pre-print
14:10 20m Talk		Scalable, Sound, and Accurate Jump Table Analysis ISSTA Technical Papers Huan Nguyen Stony Brook University, Soumyakant Priyadarshan Stony Brook University, R. Sekar Stony Brook University DOI
14:30 20m Talk		Better Not Together: Staged Solving for Context-Free Language Reachability ISSTA Technical Papers Chenghang Shi Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haofeng Li Institute of Computing Technology at Chinese Academy of Sciences, Jie Lu Institute of Computing Technology at Chinese Academy of Sciences, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI Pre-print

15:30 - 17:10	Analyzing Neural ModelsISSTA Technical Papers at EI 9 Hlawka Chair(s): Saeid Tizpaz-Niari University of Texas at El Paso

15:30 20m Talk		Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models ISSTA Technical Papers Mingyi Zhou Monash University, Xiang Gao Beihang University, Pei Liu CSIRO’s Data61, John Grundy Monash University, Chunyang Chen TU Munich, Xiao Chen University of Newcastle, Li Li Beihang University DOI
15:50 20m Talk		Decomposition of Deep Neural Networks into Modules via Mutation Analysis ISSTA Technical Papers Ali Ghanbari Auburn University DOI
16:10 20m Talk		Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts ISSTA Technical Papers Hao Guan University of Queensland; Southern University of Science and Technology, Guangdong Bai University of Queensland, Yepang Liu Southern University of Science and Technology DOI
16:30 20m Talk		DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation ISSTA Technical Papers Mingke Yang ShanghaiTech University, Yuqi Chen ShanghaiTech University, Yi Liu Nanyang Technological University, Ling Shi Nanyang Technological University DOI
16:50 20m Talk		Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study) ISSTA Technical Papers Eduard Pinconschi Carnegie Mellon University, Divya Gopinath KBR; NASA Ames, Rui Abreu INESC-ID; University of Porto, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames DOI

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:50	Call Graphs and Static AnalysisISSTA Technical Papers at EI 9 Hlawka Chair(s): Julia Rubin The University of British Columbia

10:30 20m Talk		Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features ISSTA Technical Papers Dominik Helm University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENE, Tobias Roth TU Darmstadt; National Research Center for Applied Cybersecurity ATHENE, Sven Keidel TU Darmstadt, Michael Reif CQSE, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE DOI Pre-print
10:50 20m Talk		Total Recall? How Good Are Static Call Graphs Really? ISSTA Technical Papers Dominik Helm University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENE, Sven Keidel TU Darmstadt, Anemone Kampkötter TU Dortmund, Johannes Düsing TU Dortmund, Tobias Roth TU Darmstadt; National Research Center for Applied Cybersecurity ATHENE, Ben Hermann TU Dortmund, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE DOI Pre-print
11:10 20m Talk		Call Graph Soundness in Android Static Analysis ISSTA Technical Papers Jordan Samhi CISPA Helmholtz Center for Information Security, René Just University of Washington, Tegawendé F. Bissyandé University of Luxembourg, Michael D. Ernst University of Washington, Jacques Klein University of Luxembourg Link to publication DOI Pre-print
11:30 20m Talk		Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT ISSTA Technical Papers Elvira Albert Complutense University of Madrid, Jesús Correas Complutense University of Madrid, Pablo Gordillo Complutense University of Madrid, Guillermo Román-Díez Universidad Politécnica de Madrid, Albert Rubio Complutense University of Madrid DOI

13:30 - 14:50	TestingISSTA Technical Papers at EI 9 Hlawka Chair(s): Myra Cohen Iowa State University

13:30 20m Talk		Segment-Based Test Case Prioritization: A Multi-objective Approach ISSTA Technical Papers Hieu Huynh Katalon, Nhu Pham Katalon; Ho Chi Minh City University of Science, Tien N. Nguyen University of Texas at Dallas, Vu Nguyen Katalon; Ho Chi Minh City University of Science; Vietnam National University DOI
13:50 20m Talk		Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems ISSTA Technical Papers Chuan Luo Beihang University, Shuangyu Lyu Beihang University, Qiyuan Zhao National University of Singapore, Wei Wu Central South University; Xiangjiang Laboratory, Hongyu Zhang Chongqing University, Chunming Hu Beihang University DOI
14:10 20m Talk		Synthesis-Based Enhancement for GUI Test Case Migration ISSTA Technical Papers Yakun Zhang Peking University, Qihao Zhu DeepSeek-AI, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Chen Liu Peking University, Wenjie Zhang Peking University, Yifan Zhao Peking University, Dan Hao Peking University, Lu Zhang Peking University DOI
14:30 20m Talk		Revisiting Test-Case Prioritization on Long-Running Test Suites ISSTA Technical Papers Runxiang Cheng University of Illinois at Urbana-Champaign, Shuai Wang University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign DOI

15:30 - 16:30	Builds and TestingISSTA Technical Papers at EI 9 Hlawka Chair(s): Zeyu Sun Institute of Software at Chinese Academy of Sciences

15:30 20m Talk		Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation ISSTA Technical Papers Xuyan Ma Institute of Software at Chinese Academy of Sciences, Yawen Wang Institute of Software at Chinese Academy of Sciences, Junjie Wang Institute of Software at Chinese Academy of Sciences, Xiaofei Xie Singapore Management University, Boyu Wu Institute of Software at Chinese Academy of Sciences, Shoubin Li Institute of Software at Chinese Academy of Sciences, Fanjiang Xu Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI
15:50 20m Talk		Commit Artifact Preserving Build Prediction ISSTA Technical Papers Guoqing Wang Peking University, Zeyu Sun Institute of Software at Chinese Academy of Sciences, Yizhou Chen Peking University, Yifan Zhao Peking University, Qingyuan Liang Peking University, Dan Hao Peking University DOI
16:10 20m Talk		Detecting Build Dependency Errors in Incremental Builds ISSTA Technical Papers Jun Lyu Nanjing University, Shanshan Li Nanjing University, He Zhang Nanjing University, Yang Zhang Nanjing University, Guoping Rong Nanjing University, Manuel Rigger National University of Singapore DOI

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 9 Hlawka	FUZZING Mozart Session																		FUZZING Strauss Session																																				FUZZING Haydn Session																								FUZZING Bach Session

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 9 Hlawka											MET MET2024 Opening and Keynote Talk																				MET MET2024 Session 1: Applications of Metamorphic Testing																																				MET MET2024 Session 2: Future Research of MT																								MET MET2024 Session 3: MT and AI

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
EI 9 Hlawka							ISSTA Technical Papers Fuzzing 1																																				ISSTA Technical Papers Test Generation																								ISSTA Technical Papers Testing and Repairing Neural Networks

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
EI 9 Hlawka							ISSTA Technical Papers Testing Neural Networks																																				ISSTA Technical Papers Static analysis																								ISSTA Technical Papers Analyzing Neural Models

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 9 Hlawka							ISSTA Technical Papers Call Graphs and Static Analysis																																				ISSTA Technical Papers Testing																								ISSTA Technical Papers Builds and Testing

Mon 16 Sep
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
EI 9 Hlawka	FUZZING Opening and Welcome 09:00 - 09:15			FUZZING [Keynote] Reasons for the Unreasonable Success of Fuzzing 09:15 - 10:00															FUZZING Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup 10:30 - 10:45			FUZZING Effective Fuzzing within CI/CD Pipelines 10:45 - 11:00			FUZZING Automated Feature Testing of Verilog Parsers using Fuzzing 11:00 - 11:15			FUZZING WebAssembly as a Fuzzing Compilation Target 11:15 - 11:30			FUZZING Visualization Task Taxonomy to Understand the Fuzzing Internals 11:30 - 11:45																								FUZZING [Keynote] Is "AI" useful for fuzzing? 13:30 - 14:15									FUZZING Discussion: LLMs and Fuzzing for Bug Finding 14:15 - 15:00															FUZZING Sparse Symbolic Loop Execution 15:30 - 15:45			FUZZING LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing 15:45 - 16:00			FUZZING The Havoc Paradox in Generator-Based Fuzzing 16:00 - 16:15			FUZZING Understanding and Improving Coverage Tracking with AFL++ 16:15 - 16:30			FUZZING Concluding Remarks 16:30 - 17:00

Tue 17 Sep
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
EI 9 Hlawka											MET Opening remarks 08:50 - 09:00		MET Keynote speech: AI-Driven Metamorphic Testing for Autonomous Systems 09:00 - 10:00																		MET Metamorphic Testing of a Steer-by-Wire System: An Intercultural Student ... 10:30 - 11:00						MET Metamorphic Testing of Image Processing Applications: A General Framewo ... 11:00 - 11:30						MET Evaluating Human Trajectory Prediction with Metamorphic Testing 11:30 - 12:00																								MET Using Category Partition to Detect Metamorphic Relations 13:30 - 14:00						MET Interactive discussion: Key areas for MT’s research 14:00 - 15:00																		MET Using Metamorphic Relations to Improve Accuracy and Robustness of Deep ... 15:30 - 16:00						MET Panel discussion: MT4AI & AI4MT 16:00 - 17:00

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
EI 9 Hlawka							ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award Policy Testing with MDPFuzz (Replicability Study) 10:30 - 10:50				ISSTA Technical Papers Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Lear ... 10:50 - 11:10				ISSTA Technical Papers Enhancing ROS System Fuzzing through Callback Tracing 11:10 - 11:30				ISSTA Technical Papers Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Follow ... 11:30 - 11:50																								ISSTA Technical Papers Domain Adaptation for Code Model-Based Unit Test Case Generation 13:30 - 13:50				ISSTA Technical Papers Practitioners’ Expectations on Automated Test Generation 13:50 - 14:10				ISSTA Technical Papers UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Larg ... 14:10 - 14:30																ISSTA Technical Papers Interoperability in Deep Learning: A User Survey and Failure Analysis o ... 15:30 - 15:50				ISSTA Technical Papers Interpretability Based Neural Network Repair 15:50 - 16:10				ISSTA Technical Papers See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error ... 16:10 - 16:30				ISSTA Technical Papers Isolation-Based Debugging for Neural Networks 16:30 - 16:50				ISSTA Technical Papers Certified Continual Learning for Neural Network Regression 16:50 - 17:10

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
EI 9 Hlawka							ISSTA Technical Papers Distance-Aware Test Input Selection for Deep Neural Networks 10:30 - 10:50				ISSTA Technical Papers Test Selection for Deep Neural Networks using Meta-Models with Uncertai ... 10:50 - 11:10				ISSTA Technical Papers Datactive: Data Fault Localization for Object Detection Systems 11:10 - 11:30				ISSTA Technical Papers TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Mode ... 11:30 - 11:50																								ISSTA Technical PapersACM SIGSOFT Distinguished Paper Award Precise Compositional Buffer Overflow Detection via Heap Disjointness 13:30 - 13:50				ISSTA Technical Papers Finding Cuts in Static Analysis Graphs to Debloat Software 13:50 - 14:10				ISSTA Technical Papers Scalable, Sound, and Accurate Jump Table Analysis 14:10 - 14:30				ISSTA Technical Papers Better Not Together: Staged Solving for Context-Free Language Reachability 14:30 - 14:50												ISSTA Technical Papers Model-less Is the Best Model: Generating Pure Code Implementations to R ... 15:30 - 15:50				ISSTA Technical Papers Decomposition of Deep Neural Networks into Modules via Mutation Analysis 15:50 - 16:10				ISSTA Technical Papers Large Language Models Can Connect the Dots: Exploring Model Optimizatio ... 16:10 - 16:30				ISSTA Technical Papers DistillSeq: A Framework for Safety Alignment Testing in Large Language ... 16:30 - 16:50				ISSTA Technical Papers Evaluating Deep Neural Networks in Deployment: A Comparative Study (Rep ... 16:50 - 17:10

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
EI 9 Hlawka							ISSTA Technical Papers Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Langu ... 10:30 - 10:50				ISSTA Technical Papers Total Recall? How Good Are Static Call Graphs Really? 10:50 - 11:10				ISSTA Technical Papers Call Graph Soundness in Android Static Analysis 11:10 - 11:30				ISSTA Technical Papers Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource ... 11:30 - 11:50																								ISSTA Technical Papers Segment-Based Test Case Prioritization: A Multi-objective Approach 13:30 - 13:50				ISSTA Technical Papers Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Tes ... 13:50 - 14:10				ISSTA Technical Papers Synthesis-Based Enhancement for GUI Test Case Migration 14:10 - 14:30				ISSTA Technical Papers Revisiting Test-Case Prioritization on Long-Running Test Suites 14:30 - 14:50												ISSTA Technical Papers Enhancing Multi-agent System Testing with Diversity-Guided Exploration ... 15:30 - 15:50				ISSTA Technical Papers Commit Artifact Preserving Build Prediction 15:50 - 16:10				ISSTA Technical Papers Detecting Build Dependency Errors in Incremental Builds 16:10 - 16:30

Room information: EI 9 Hlawka

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FUZZING

FUZZING

FUZZING

FUZZING

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MET

MET

MET

MET

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: EI 9 Hlawka

Program Display Configuration

Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FUZZING

FUZZING

FUZZING

FUZZING

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MET

MET

MET

MET

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change