EI 10 Fritz Paschke - ISSTA/ECOOP 2024

VenueVienna University of Technology (TU Wien) - Campus Gusshaus

Room nameEI 10 Fritz Paschke

Floor0

Capacity149

Room InformationNo extra information available

Information for Participants

Info for room EI 10 Fritz Paschke:

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

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-10-fritz-paschke

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

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

10:30 - 12:00	Session 1PLAID at EI 10 Fritz Paschke

10:30 30m Day opening		Opening remarks PLAID Carla Ferreira NOVA University Lisbon
11:00 30m Keynote		Keynote talk PLAID
11:30 30m Talk		CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering PLAID Ruijie Gong The University of Hong Kong, Hong Kong, Haoze Song The University of Hong Kong, Hong Kong, Heming Cui University of Hong Kong

13:30 - 15:00	Session 2PLAID at EI 10 Fritz Paschke

13:30 30m Talk		Local Projections of DCR Choreographies with Data and Spawn PLAID Eduardo Geraldo , Bruno Braga NOVA University Lisbon, Nuno Fernandes NOVA University Lisbon, Diogo Ye NOVA University Lisbon, João Costa Seco NOVA-LINCS; Nova University of Lisbon
14:00 30m Talk		Compositional Verification of Swarm Protocols PLAID Florian Furbach Technical University of Denmark, Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
14:30 30m Talk		Library Based Choreographies in Lean PLAID Simon Daniel TU Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt

15:30 - 17:00	Session 3PLAID at EI 10 Fritz Paschke

15:30 30m Talk		Modal Crash Types for Intermittent Computing PLAID Myra Dotzel Carnegie Mellon University, Farzaneh Derakhshan Illinois Institute of Technology, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University
16:00 30m Talk		Less is More Revisited: Global Specification and Local Verification Approaches PLAID Nobuko Yoshida University of Oxford, UK, Ping Hou University of Oxford, Iona Kuhn University of Oxford
16:30 30m Talk		Fair Join Pattern Matching for Actors PLAID Philipp Haller KTH Royal Institute of Technology, Ayman Hussein Technical University of Denmark, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy

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

10:30 - 12:00	Gamify 2024 session 1Gamify at EI 10 Fritz Paschke Chair(s): Riccardo Coppola Politecnico di Torino

10:30 15m Panel		Introduction to the Gamify 2024 workshop Gamify Riccardo Coppola Politecnico di Torino, Luca Ardito Politecnico di Torino, Maurizio Leotta DIBRIS, University of Genova, Italy, Gordon Fraser University of Passau
10:45 45m Keynote		Bug-Hunting Games to Assist Software Development and Testing Education Gamify A: Natalia Silvis-Cividjian Vrije Universiteit (VU) Amsterdam
11:30 30m Paper		ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback Gamify A: Lorenzo Laudadio , A: Riccardo Coppola Politecnico di Torino, A: Marco Torchiano Politecnico di Torino, A: Stevan Tomic

13:30 - 15:00	Gamify 2024 session 2Gamify at EI 10 Fritz Paschke Chair(s): Maurizio Leotta DIBRIS, University of Genova, Italy

13:30 30m Paper		Test Smells Learning by a Gamification Approach Gamify A: Anna Rita Fasolino Federico II University of Naples, A: Porfirio Tramontana Department of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy
14:00 30m Paper		Enlisting Students in Gamifying Software Testing Education: Results and Key Insights Gamify A: Maura Cerioli , A: Maurizio Leotta DIBRIS, University of Genova, Italy, A: Marina Ribaudo
14:30 30m Paper		Engaging Developers in Exploratory Unit Testing through Gamification Gamify A: Philipp Straubinger University of Passau, A: Gordon Fraser University of Passau

15:30 - 17:00	Gamify 2024 session 3Gamify at EI 10 Fritz Paschke

15:30 30m Paper		Testing Robot Challenge: a Serious Game for Testing Learning Gamify A: Anna Rita Fasolino Federico II University of Naples, A: Caterina Maria Accetto , A: Porfirio Tramontana University of Naples Federico II
16:00 30m Paper		A Gaming Quest to Improve Web Locators Robustness Gamify A: Diego Clerissi DIBRIS, University of Genova, Italy, A: Maurizio Leotta DIBRIS, University of Genova, Italy, A: Filippo Ricca DIBRIS, University of Genova, Italy
16:30 30m Talk		Panel: upcoming challenges for Gamification in Software Engineering Gamify

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

10:30 - 11:50	Code Mutation and ReductionISSTA Technical Papers at EI 10 Fritz Paschke

10:30 20m Talk		Large Language Models for Equivalent Mutant Detection: How Far are We? ISSTA Technical Papers Zhao Tian Tianjin University, Honglin Shu Kyushu University, Dong Wang Tianjin University, China, Xuejie Cao College of Intelligence and Computing, Tianjin University, Yasutaka Kamei Kyushu University, Junjie Chen Tianjin University DOI Pre-print
10:50 20m Talk		An Empirical Examination of Fuzzer Mutator Performance ISSTA Technical Papers James Kukucka George Mason University, Luís Pina University of Illinois at Chicago, Paul Ammann George Mason University, USA, Jonathan Bell Northeastern University
11:10 20m Talk		Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs ISSTA Technical Papers Benjamin Kushigian University of Washington, Samuel Kaufman University of Washington, Ryan Featherman University of Washington, Hannah Potter University of Washington, Ardi Madadi University of Washington, René Just University of Washington
11:30 20m Talk		LPR: Large Language Models-Aided Program Reduction ISSTA Technical Papers Mengxiao Zhang University of Waterloo, Yongqiang Tian The Hong Kong University of Science and Technology, Zhenyang Xu University of Waterloo, Yiwen Dong University of Waterloo, Shin Hwei Tan Concordia University, Chengnian Sun University of Waterloo DOI

13:30 - 14:50	Domain-Specific TestingISSTA Technical Papers at EI 10 Fritz Paschke

13:30 20m Talk		UPBEAT: Test Input Checks of Q# Quantum Libraries ISSTA Technical Papers Tianmin Hu Northwest University, Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Concordia University, Huanting Wang University of Leeds, UK, Meng Li Hefei University of Technology, Zheng Wang University of Leeds DOI
13:50 20m Talk		Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement ISSTA Technical Papers Gwihwan Go Tsinghua University, Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Xiazijian Zou Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University
14:10 20m Talk		AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference ISSTA Technical Papers Hyungseok Kim The Affiliated Institute of ETRI, Soomin Kim KAIST, Jungwoo Lee KAIST, Sang Kil Cha KAIST
14:30 20m Talk		Ma11y: A Mutation Framework for Web Accessibility Testing ISSTA Technical Papers Mahan Tafreshipour University of California, Irvine, Anmol Vilas Deshpande University of California at Irvine, Forough Mehralian University of California at Irvine, Iftekhar Ahmed University of California, Irvine, Sam Malek University of California at Irvine DOI

15:30 - 16:50	Empirical StudiesISSTA Technical Papers at EI 10 Fritz Paschke

15:30 20m Talk		Bugs in Pods: Understanding Bugs in Container Runtime Systems ISSTA Technical Papers Jiongchi Yu Singapore Management University, Xiaofei Xie Singapore Management University, Cen Zhang Nanyang Technological University, Sen Chen Tianjin University, Yuekang Li The University of New South Wales, Wenbo Shen Zhejing University
15:50 20m Talk		An Empirical Study on Kubernetes Operator Bugs ISSTA Technical Papers Qingxin Xu Institute of Software, Chinese Academy of Sciences, China, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School
16:10 20m Talk		Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches ISSTA Technical Papers Paulo Canelas Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA, Alcides Fonseca University of Lisbon, Christopher Steven Timperley Carnegie Mellon University DOI Pre-print Media Attached
16:30 20m Talk		An In-depth Study of Runtime Verification Overheads during Software Testing ISSTA Technical Papers Kevin Guan Cornell University, Owolabi Legunsen Cornell University

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

10:30 - 11:50	Logging and Field BugsISSTA Technical Papers at EI 10 Fritz Paschke

10:30 20m Research paper		A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? ISSTA Technical Papers Zhihan Jiang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Yintong Huo The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Jieming Zhu Huawei Noah's Ark Lab, Michael Lyu Chinese University of Hong Kong DOI Pre-print
10:50 20m Talk		FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements ISSTA Technical Papers Xiaoyuan Xie School of Computer Science, Wuhan University, China, Zhipeng Cai School of Computer Science, Wuhan University, Songqiang Chen The Hong Kong University of Science and Technology, Jifeng Xuan Wuhan University DOI
11:10 20m Talk		Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs ISSTA Technical Papers Shiwen Shan Sun Yat-sen University, Yintong Huo The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Yichen LI The Chinese University of Hong Kong, Dan Li Sun Yat-sen University, Zibin Zheng Sun Yat-sen University DOI
11:30 20m Talk		Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs ISSTA Technical Papers Zhanyao Lei Shanghai Jiao Tong University, Yixiong Chen Shanghai Jiao Tong University, Mingyuan Xia AppetizerIO, Zhengwei Qi Shanghai Jiao Tong University DOI

13:30 - 14:50	WebAssembly and BrowsersISSTA Technical Papers at EI 10 Fritz Paschke

13:30 20m Talk		Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment ISSTA Technical Papers Jiashui Wang Zhejiang University, Peng Qian Zhejiang University, Xilin Huang Ant Group, Xinlei Ying Ant Group, Yan Chen Zhejiang University, Shouling Ji Zhejiang University, Jianhai Chen Zhejiang University, China, Jundong XIe Ant Group, Long Liu Ant Group
13:50 20m Talk		Multi-modal Learning for WebAssembly Reverse Engineering ISSTA Technical Papers Hanxian Huang University of California at San Diego, Jishen Zhao UCSD DOI
14:10 20m Talk		WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation ISSTA Technical Papers Shangtong Cao Beijing University of Posts and Telecommunications, Ningyu He Peking University, Xinyu She Huazhong University of Science and Technology, Yixuan Zhang Peking University, Mu Zhang University of Utah, Haoyu Wang Huazhong University of Science and Technology
14:30 20m Talk		Wapplique: Testing WebAssembly Runtime via Execution Context-aware Bytecode Mutation ISSTA Technical Papers Wenxuan Zhao School of Computer Science, Fudan University, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University

15:30 - 17:10	Vulnerabilities and MalwareISSTA Technical Papers at EI 10 Fritz Paschke

15:30 20m Talk		Silent Taint-Style Vulnerability Fixes Identification ISSTA Technical Papers Zhongzhen Wen Nanjing University, Jiayuan Zhou Huawei, Minxue Pan Nanjing University, Shaohua Wang Central University of Finance and Economics, Xing Hu Zhejiang University, Tongtong Xu Huawei, Tian Zhang Nanjing University, Xuandong Li Nanjing University DOI
15:50 20m Talk		FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor ISSTA Technical Papers Zhenyu Ye Hunan University, Lei Zhou National University of Defense Technology, Fengwei Zhang Southern University of Science and Technology, Wenqiang Jin Hunan University, Zhenyu Ning Hunan University; Southern University of Science and Technology, Yupeng Hu Hunan University, Zheng Qin Hunan University DOI
16:10 20m Talk		Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset ISSTA Technical Papers Zeliang Yu Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Xiaochen Guo Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
16:30 20m Talk		PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software ISSTA Technical Papers Kaixuan Li East China Normal University, Jian Zhang Nanyang Technological University, Sen Chen Tianjin University, Han Liu East China Normal University, Yang Liu Nanyang Technological University, Yixiang Chen East China Normal University Pre-print
16:50 20m Talk		An Empirical Study of Static Analysis Tools for Secure Code Review ISSTA Technical Papers Wachiraphan (Ping) Charoenwet The University of Melbourne, Patanamon Thongtanunam University of Melbourne, Thuan Pham The University of Melbourne, Christoph Treude Singapore Management University

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

10:30 - 11:50	Compilers and DecompilersISSTA Technical Papers at EI 10 Fritz Paschke

10:30 20m Talk		Inconsistencies in TeX-produced Documents ISSTA Technical Papers Jovyn Tan National University of Singapore, Manuel Rigger National University of Singapore Pre-print
10:50 20m Talk		Evaluating the Effectiveness of Decompilers ISSTA Technical Papers Ying Cao Institute of Information Engineering at Chinese Academy of Sciences, Runze Zhang Institute of Information Engineering at Chinese Academy of Sciences, Ruigang Liang Institute of Information Engineering at Chinese Academy of Sciences, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences DOI
11:10 20m Talk		Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis ISSTA Technical Papers Chenyao Suo College of Intelligence and Computing, Tianjin University, Junjie Chen Tianjin University, Shuang Liu Renmin University of China, Jiajun Jiang Tianjin University, Yingquan Zhao Tianjin University, Jianrong Wang College of Intelligence and Computing, Tianjin University
11:30 20m Talk		Towards Understanding the Bugs in Solidity Compiler ISSTA Technical Papers Haoyang Ma Hong Kong University of Science and Technology, Wuqi Zhang The Hong Kong University of Science and Technology, Qingchao Shen Tianjin University, Yongqiang Tian The Hong Kong University of Science and Technology, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology

13:30 - 14:50	Smart ContractsISSTA Technical Papers at EI 10 Fritz Paschke

13:30 20m Talk		Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis ISSTA Technical Papers Shuwei Song University of Electronic Science and Technology of China, Jiachi Chen Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Xiapu Luo The Hong Kong Polytechnic University, Teng Li University of Electronic Science and Technology of China, Wenwu Yang University of Electronic Science and Technology of China, Leqing Wang University of Electronic Science and Technology of China, Weijie Zhang Jiangsu University of Science and Technology, Feng Luo The Hong Kong Polytechnic University, Zheyuan He University of Electronic Science and Technology of China, Yi Lu BitsLab, Singapore, Pan Li MoveBit, Hong Kong
13:50 20m Talk		FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees ISSTA Technical Papers Liu Yunqi , Wei Song Nanjing University of Science and Technology DOI
14:10 20m Talk		Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow ISSTA Technical Papers Jiachi Chen Sun Yat-sen University, Chong Chen Sun Yat-sen University, Jiang Hu Sun Yat-sen University, John Grundy Monash University, Yanlin Wang Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Zibin Zheng Sun Yat-sen University DOI Pre-print
14:30 20m Talk		Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis ISSTA Technical Papers Mingxi Ye Sun Yat-sen University, Xingwei Lin Zhejiang University, Yuhong Nan Sun Yat-sen University, Jiajing Wu Sun Yat-sen University, Zibin Zheng Sun Yat-sen University

15:30 - 16:30	Analysis of Code OriginISSTA Technical Papers at EI 10 Fritz Paschke

15:30 20m Talk		Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge ISSTA Technical Papers XiaoweiGuo Huazhong University of Science and Technology, Cai Fu Huazhong University of Science and Technology, Juan Chen Xihua University, China, Hongle Liu Huazhong University of Science and Technology, Lansheng Han Huazhong University of Science and Technology, Wenjin Li NSFOCUS Technologies Group DOI
15:50 20m Talk		Your "Notice" is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking ISSTA Technical Papers Kaifeng Huang Tongji University, Yingfeng Xia Fudan University, Bihuan Chen Fudan University, Siyang He Fudan University, Huazheng Zeng Fudan University, Zhuotong Zhou Fudan University, Jin Guo Fudan University, Xin Peng Fudan University
16:10 20m Talk		DeLink: Source File Information Recovery in Binaries ISSTA Technical Papers Zhe Lang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS; School of Cyber Security, University of Chinese Academy of Sciences, Zhengzi Xu Nanyang Technological University, Xiaohui Chen Institute of Information Engineering, CAS; School of Cyber Security, University of Chinese Academy of Sciences, lvshichao College of Cyberspace Security, Chinese Academy of Sciences, Zhanwei Song Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS; School of Cyber Security, University of Chinese Academy of Sciences, zhiqiang shi Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,

Mon 16 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 10 Fritz Paschke							PLAID Session 1																																				PLAID Session 2																								PLAID Session 3

Tue 17 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 10 Fritz Paschke							Gamify Gamify 2024 session 1																																				Gamify Gamify 2024 session 2																								Gamify Gamify 2024 session 3

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
EI 10 Fritz Paschke							ISSTA Technical Papers Code Mutation and Reduction																																				ISSTA Technical Papers Domain-Specific Testing																								ISSTA Technical Papers Empirical Studies

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 10 Fritz Paschke							ISSTA Technical Papers Logging and Field Bugs																																				ISSTA Technical Papers WebAssembly and Browsers																								ISSTA Technical Papers Vulnerabilities and Malware

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 10 Fritz Paschke							ISSTA Technical Papers Compilers and Decompilers																																				ISSTA Technical Papers Smart Contracts																								ISSTA Technical Papers Analysis of Code Origin

Mon 16 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 10 Fritz Paschke							PLAID Opening remarks 10:30 - 11:00						PLAID Keynote talk 11:00 - 11:30						PLAID CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and ... 11:30 - 12:00																								PLAID Local Projections of DCR Choreographies with Data and Spawn 13:30 - 14:00						PLAID Compositional Verification of Swarm Protocols 14:00 - 14:30						PLAID Library Based Choreographies in Lean 14:30 - 15:00												PLAID Modal Crash Types for Intermittent Computing 15:30 - 16:00						PLAID Less is More Revisited: Global Specification and Local Verification App ... 16:00 - 16:30						PLAID Fair Join Pattern Matching for Actors 16:30 - 17:00

Tue 17 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 10 Fritz Paschke							Gamify Introduction to the Gamify 2024 workshop 10:30 - 10:45			Gamify Bug-Hunting Games to Assist Software Development and Testing Education 10:45 - 11:30									Gamify ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback 11:30 - 12:00																								Gamify Test Smells Learning by a Gamification Approach 13:30 - 14:00						Gamify Enlisting Students in Gamifying Software Testing Education: Results and ... 14:00 - 14:30						Gamify Engaging Developers in Exploratory Unit Testing through Gamification 14:30 - 15:00												Gamify Testing Robot Challenge: a Serious Game for Testing Learning 15:30 - 16:00						Gamify A Gaming Quest to Improve Web Locators Robustness 16:00 - 16:30						Gamify Panel: upcoming challenges for Gamification in Software Engineering 16:30 - 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
EI 10 Fritz Paschke							ISSTA Technical Papers Large Language Models for Equivalent Mutant Detection: How Far are We? 10:30 - 10:50				ISSTA Technical Papers An Empirical Examination of Fuzzer Mutator Performance 10:50 - 11:10				ISSTA Technical Papers Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing ... 11:10 - 11:30				ISSTA Technical Papers LPR: Large Language Models-Aided Program Reduction 11:30 - 11:50																								ISSTA Technical Papers UPBEAT: Test Input Checks of Q# Quantum Libraries 13:30 - 13:50				ISSTA Technical Papers Towards More Complete Constraints for Deep Learning Library Testing via ... 13:50 - 14:10				ISSTA Technical Papers AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar ... 14:10 - 14:30				ISSTA Technical Papers Ma11y: A Mutation Framework for Web Accessibility Testing 14:30 - 14:50												ISSTA Technical Papers Bugs in Pods: Understanding Bugs in Container Runtime Systems 15:30 - 15:50				ISSTA Technical Papers An Empirical Study on Kubernetes Operator Bugs 15:50 - 16:10				ISSTA Technical Papers Understanding Misconfigurations in ROS: An Empirical Study and Current ... 16:10 - 16:30				ISSTA Technical Papers An In-depth Study of Runtime Verification Overheads during Software Testing 16:30 - 16:50

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 10 Fritz Paschke							ISSTA Technical Papers A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? 10:30 - 10:50				ISSTA Technical Papers FastLog: An End-to-End Method to Efficiently Generate and Insert Loggin ... 10:50 - 11:10				ISSTA Technical Papers Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configu ... 11:10 - 11:30				ISSTA Technical Papers Foliage: Nourishing Evolving Software by Characterizing and Clustering ... 11:30 - 11:50																								ISSTA Technical Papers Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment 13:30 - 13:50				ISSTA Technical Papers Multi-modal Learning for WebAssembly Reverse Engineering 13:50 - 14:10				ISSTA Technical Papers WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-awa ... 14:10 - 14:30				ISSTA Technical Papers Wapplique: Testing WebAssembly Runtime via Execution Context-aware Byte ... 14:30 - 14:50												ISSTA Technical Papers Silent Taint-Style Vulnerability Fixes Identification 15:30 - 15:50				ISSTA Technical Papers FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hyp ... 15:50 - 16:10				ISSTA Technical Papers Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhance ... 16:10 - 16:30				ISSTA Technical Papers PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclos ... 16:30 - 16:50				ISSTA Technical Papers An Empirical Study of Static Analysis Tools for Secure Code Review 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 10 Fritz Paschke							ISSTA Technical Papers Inconsistencies in TeX-produced Documents 10:30 - 10:50				ISSTA Technical Papers Evaluating the Effectiveness of Decompilers 10:50 - 11:10				ISSTA Technical Papers Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis 11:10 - 11:30				ISSTA Technical Papers Towards Understanding the Bugs in Solidity Compiler 11:30 - 11:50																								ISSTA Technical Papers Empirical Study of Move Smart Contract Security: Introducing MoveScan f ... 13:30 - 13:50				ISSTA Technical Papers FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Inv ... 13:50 - 14:10				ISSTA Technical Papers Identifying Smart Contract Security Issues in Code Snippets from Stack ... 14:10 - 14:30				ISSTA Technical Papers Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedb ... 14:30 - 14:50												ISSTA Technical Papers Enhancing Robustness of Code Authorship Attribution through Expert Feat ... 15:30 - 15:50				ISSTA Technical Papers Your "Notice" is Missing: Detecting and Fixing Violations of Modificati ... 15:50 - 16:10				ISSTA Technical Papers DeLink: Source File Information Recovery in Binaries 16:10 - 16:30

Room information: EI 10 Fritz Paschke

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

PLAID

PLAID

PLAID

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

Gamify

Gamify

Gamify

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

Co-hosted Conferences

Workshops

Tutorials

Room information: EI 10 Fritz Paschke

This program is tentative and subject to change.

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

PLAID

PLAID

PLAID

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

Gamify

Gamify

Gamify

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

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