MPLR 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
VenueVienna University of Technology (TU Wien) - Campus Gusshaus
Room nameEI 9 Hlawka
Floor0
Capacity179
Room InformationNo extra information available

Information for Participants
Program

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
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
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

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

Thu 19 Sep

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