EI 9 Hlawka - VORTEX 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://www.tuwien.at/en/tu-wien/organisation/central-divisions/real-estate-and-facility-management/event-services-and-lecture-hall-support/room-database/lecture-halls/ei-9-hlawka

Program

This program is tentative and subject to change.

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

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 talk 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, Norway, Nassim Belmecheri , Arnaud Gotlieb Simula Research Laboratory, Nadjib Lazaar

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

10:30 20m Talk		Policy Testing with MDPFuzz (Replicability Study) ISSTA Technical Papers Quentin Mazouni Simula Research Laboratory, Helge Spieker Simula Research Laboratory, Norway, Arnaud Gotlieb Simula Research Laboratory, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France
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 Inc., Taekyoung Kwon Yonsei University
11:10 20m Talk		Enhancing ROS System Fuzzing through Callback Tracing ISSTA Technical Papers Yuheng Shen Tsinghua University, Jianzhong Liu ShanghaiTech University, Yiru Xu Tsinghua University, Hao Sun ETH Zurich, Mingzhe Wang Tsinghua University, Heyuan Shi Central South University, Nan Guan City University of Hong Kong, 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, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, Liwei Chen Institute of Information Engineering, Chinese Academy of Sciences, Zhijie Zhang Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, Gang Shi Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, Dan Meng Institute of Information Engineering, Chinese Academy of Sciences

13:30 - 14:50	Test GenerationISSTA Technical Papers at EI 9 Hlawka

13:30 20m Talk		LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing ISSTA Technical Papers Zhiyi Xue East China Normal University, Liangguo East China Normal University, Senyue Tian East China Normal University, Xiaohong Chen ECNU, Pingping Li Guotai Junan Securities Co., Ltd, Liangyu Chen East China Normal University, Tingting Jiang Guotai Junan Securities Co., Ltd, Min Zhang East China Normal University
13:50 20m Talk		Domain Adaptation for Code Model-based Unit Test Case Generation ISSTA Technical Papers Jiho Shin York University, Sepehr Hashtroudi , Hadi Hemmati York University, Song Wang York University
14:10 20m Talk		Practitioners’ Expectations on Automated Test Generation ISSTA Technical Papers Xiao Yu Huawei Technologies, Lei Liu Xi'an Jiaotong University, Xing Hu Zhejiang University, Jacky Keung City University of Hong Kong, Xin Xia Huawei Technologies, David Lo Singapore Management University
14:30 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, Davis, Jiabo Huang Tencent, Yuyang Rong University of California, Davis, Yiwen Guo Unaffiliated, Ethan Wang University of California, Davis, Hao Chen University of California, Davis

15:30 - 17:10	Testing and Repairing Neural NetworksISSTA Technical Papers at EI 9 Hlawka

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 and Argonne National Laboratory, James C. Davis Purdue University Pre-print
15:50 20m Talk		Interpretability based Neural Network Repair ISSTA Technical Papers Zuohui Chen Zhejiang University of Technology, Jun Zhou Zhejiang University of Technology, Youcheng Sun The University of Manchester, Jingyi Wang Zhejiang University, Qi Xuan Zhejiang University of Technology, Xiaoniu Yang Zhejiang University of Technology
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 The Hong Kong University of Science and Technology, Shuai Wang The Hong Kong University of Science and Technology, Zhendong Su ETH Zurich
16:30 20m Talk		Isolation-Based Debugging for Neural Networks ISSTA Technical Papers Jialuo Chen Zhejiang University, Jingyi Wang Zhejiang University, Youcheng Sun The University of Manchester, Peng Cheng Zhejiang University, Jiming Chen Zhejiang University DOI
16:50 20m Talk		Certified Continual Learning for Neural Network Regression ISSTA Technical Papers Long Pham Hong Singapore Management University, Jun Sun School of Information Systems, Singapore Management University, Singapore

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

10:30 20m Talk		Distance-Aware Test Input Selection for Deep Neural Networks ISSTA Technical Papers Zhong Li , 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 Department of Information Systems, Graduate School of Informatics, Middle East Technical University, Ankara, Türkiye, Aysu Betin Can Department of Information Systems, Graduate School of Informatics, Middle East Technical University, Ankara, Türkiye, Elif Surer Department of Modeling and Simulation, Graduate School of Informatics, Middle East Technical University, Ankara, Türkiye
11:10 20m Talk		Datactive: Data Fault Localization for Object Detection Systems ISSTA Technical Papers Yining Yin Nanjing University, China, Yang Feng Nanjing University, Shihao Weng Nanjing University, Yuan Yao Nanjing University, Jia Liu Nanjing University, Zhihong Zhao
11:30 20m Talk		TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development ISSTA Technical Papers Xiangshan Gao Zhejiang University and Huawei Technology, Jialuo Chen Zhejiang University, Jingyi Wang Zhejiang University, Jie Shi Huawei International, Peng Cheng Zhejiang University, Jiming Chen Zhejiang University

13:30 - 14:50	Static analysisISSTA Technical Papers at EI 9 Hlawka

13:30 20m Talk		Precise Compositional Buffer Overflow Detection via Heap Disjointness ISSTA Technical Papers Yiyuan Guo The Hong Kong University of Science and Technology, Peisen Yao Zhejiang University, Charles Zhang The 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, Germany, Fabio Niephaus Oracle Labs, Potsdam, Codrut Stancu Oracle Labs, Christian Wimmer Oracle Labs, Jens Lincke University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute 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
14: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 Universidad Complutense de Madrid, Guillermo Román-Díez Universidad Politécnica de Madrid, Albert Rubio Complutense University of Madrid

15:30 - 17:10	Analyzing Neural ModelsISSTA Technical Papers at EI 9 Hlawka

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 Data61 at CSIRO, Australia, John Grundy Monash University, Chunyang Chen Monash University, Xiao Chen University of Newcastle, Australia, 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, Guangdong Bai University of Queensland, Yepang Liu Southern University of Science and Technology
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, China, Yi Liu Nanyang Technological University, Ling Shi Nanyang Technological University
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 Inc., NASA Ames, Rui Abreu Meta & University of Porto, Corina Pasareanu

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

10:30 20m Talk		Total Recall? How Good Are Static Call Graphs Really? ISSTA Technical Papers Dominik Helm TU Darmstadt \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Sven Keidel TU Darmstadt, Germany, Anemone Kampkötter TU Dortmund, Johannes Düsing TU Dortmund University, Tobias Roth Technische Universität Darmstadt, Ben Hermann TU Dortmund, Mira Mezini TU Darmstadt DOI Pre-print
10:50 20m Talk		Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features ISSTA Technical Papers Dominik Helm TU Darmstadt \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Tobias Roth Technische Universität Darmstadt, Sven Keidel TU Darmstadt, Germany, Michael Reif CQSE, Mira Mezini TU Darmstadt DOI
11:10 20m Talk		Better Not Together: Staged Solving for Context-Free Language Reachability ISSTA Technical Papers Chenghang Shi SKLP, Institute of Computing Technology, CAS, Haofeng Li Institute of Computing Technology at Chinese Academy of Sciences, Jie Lu SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory
11:30 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

13:30 - 14:50	TestingISSTA Technical Papers at EI 9 Hlawka

13:30 20m Talk		Segment-based Test Case Prioritization: a Multi-objective Approach ISSTA Technical Papers Hieu Huynh Katalon LLC., Nhu Pham University of Science, VNU-HCM; Katalon LLC., Vu Nguyen University of Science, VNU-HCM; Katalon LLC., Tien N. Nguyen University of Texas at Dallas
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 L3S Research Center, Leibniz University Hannover, Germany, Hongyu Zhang Chongqing University, Chunming Hu Beihang University
14:10 20m Talk		Synthesis-based Enhancement for GUI Test Case Migration ISSTA Technical Papers Yakun Zhang Peking University, Qihao Zhu Peking University, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Chen Liu Clarkson University, Wenjie Zhang Peking University, Yifan Zhao Peking University, Dan Hao Peking University, Lu Zhang Peking University
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

15:30 - 16:30	Builds and TestingISSTA Technical Papers at EI 9 Hlawka

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

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

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 talk 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 Papers 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 LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech ... 13:30 - 13:50				ISSTA Technical Papers Domain Adaptation for Code Model-based Unit Test Case Generation 13:50 - 14:10				ISSTA Technical Papers Practitioners’ Expectations on Automated Test Generation 14:10 - 14:30				ISSTA Technical Papers UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Larg ... 14:30 - 14:50												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 Papers 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 Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource ... 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 Total Recall? How Good Are Static Call Graphs Really? 10:30 - 10:50				ISSTA Technical Papers Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Langu ... 10:50 - 11:10				ISSTA Technical Papers Better Not Together: Staged Solving for Context-Free Language Reachability 11:10 - 11:30				ISSTA Technical Papers Call Graph Soundness in Android Static Analysis 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

This program is tentative and subject to 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

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

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

This program is tentative and subject to change.

Program Display Configuration

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

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

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

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

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

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