EI 10 Fritz Paschke - Gamify 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://raumkatalog.tiss.tuwien.ac.at/room/13948

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

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

10:30 10m Day opening		Opening remarks PLAID Alceste Scalas Technical University of Denmark
10:40 50m Keynote		Runtime Instrumentation for Reactive Components PLAID Duncan Paul Attard University of Glasgow
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; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

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 DOI

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

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

10:30 15m Panel		Introduction to the Gamify 2024 workshop Gamify 2024 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 2024 A: Natalia Silvis-Cividjian Vrije Universiteit (VU) Amsterdam
11:30 30m Paper		ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback Gamify 2024 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 2024 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 2024 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 2024 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 2024 A: Philipp Straubinger University of Passau, A: Gordon Fraser University of Passau

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

15:30 30m Paper		Testing Robot Challenge: a Serious Game for Testing Learning Gamify 2024 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 2024 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 2024

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 Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security

10:30 20m Talk		Large Language Models for Equivalent Mutant Detection: How Far Are We?ACM SIGSOFT Distinguished Paper Award ISSTA Technical Papers Zhao Tian Tianjin University, Honglin Shu Kyushu University, Dong Wang Tianjin University, Xuejie Cao 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, Jonathan Bell Northeastern University DOI
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 DOI
11:30 20m Talk		LPR: Large Language Models-Aided Program Reduction ISSTA Technical Papers Mengxiao Zhang University of Waterloo, Yongqiang Tian 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 Chair(s): Marcelo d'Amorim North Carolina State University

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, 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 DOI
14:10 20m Talk		AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar InferenceACM SIGSOFT Distinguished Paper Award ISSTA Technical Papers Hyungseok Kim Affiliated Institute of ETRI, Soomin Kim KAIST, Jungwoo Lee KAIST, Sang Kil Cha KAIST DOI
14:30 20m Talk		Ma11y: A Mutation Framework for Web Accessibility Testing ISSTA Technical Papers Mahan Tafreshipour University of California at Irvine, Anmol Vilas Deshpande University of California at Irvine, Forough Mehralian University of California at Irvine, Iftekhar Ahmed University of California at Irvine, Sam Malek University of California at Irvine DOI

15:30 - 16:50	Empirical StudiesISSTA Technical Papers at EI 10 Fritz Paschke Chair(s): Cristian Cadar Imperial College London

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 UNSW, Wenbo Shen Zhejiang University DOI
15:50 20m Talk		An Empirical Study on Kubernetes Operator Bugs ISSTA Technical Papers Qingxin Xu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yu Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI
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, Alcides Fonseca LASIGE; 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 TestingACM SIGSOFT Distinguished Paper Award ISSTA Technical Papers Kevin Guan Cornell University, Owolabi Legunsen Cornell University DOI

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 Chair(s): Willem Visser Amazon Web Services

10:30 20m Research paper		A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? ISSTA Technical Papers Zhihan Jiang Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Junjie Huang Chinese University of Hong Kong, Yichen LI Chinese University of Hong Kong, Yintong Huo Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Zhuangbin Chen 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 Wuhan University, Zhipeng Cai 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 Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Yichen LI 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 Chair(s): Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich

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 Northwestern University, Shouling Ji Zhejiang University, Jianhai Chen Zhejiang University, Jundong Xie Ant Group, Long Liu Ant Group DOI
13:50 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 DOI
14:10 20m Talk		Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation ISSTA Technical Papers Wenxuan Zhao Fudan University, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University DOI

15:30 - 17:10	Vulnerabilities and MalwareISSTA Technical Papers at EI 10 Fritz Paschke Chair(s): Wei You Renmin University of China

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; Xinchuang Haihe Laboratory, 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 DOI
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; Nanyang Technological 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 DOI Pre-print
16:50 20m Talk		An Empirical Study of Static Analysis Tools for Secure Code Review ISSTA Technical Papers Wachiraphan (Ping) Charoenwet University of Melbourne, Patanamon Thongtanunam University of Melbourne, Thuan Pham University of Melbourne, Christoph Treude Singapore Management University DOI

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 Chair(s): Sang Kil Cha KAIST

10:30 20m Talk		Inconsistencies in TeX-Produced Documents ISSTA Technical Papers Jovyn Tan National University of Singapore, Manuel Rigger National University of Singapore DOI Pre-print
10:50 20m Talk		Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis ISSTA Technical Papers Chenyao Suo Tianjin University, Junjie Chen Tianjin University, Shuang Liu Renmin University of China, Jiajun Jiang Tianjin University, Yingquan Zhao Tianjin University, Jianrong Wang Tianjin University DOI
11:10 20m Talk		Towards Understanding the Bugs in Solidity Compiler ISSTA Technical Papers Haoyang Ma Hong Kong University of Science and Technology, Wuqi Zhang Hong Kong University of Science and Technology, Qingchao Shen Tianjin University, Yongqiang Tian Hong Kong University of Science and Technology, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology DOI
11:30 20m Talk		Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines ISSTA Technical Papers Gao Cuiying Huazhong University of Science and Technology; JD.com, Yueming Wu Nanyang Technological University, Heng Li Huazhong University of Science and Technology, Wei Yuan Huazhong University of Science and Technology, Haoyu Jiang Huazhong University of Science and Technology, Qidan He JD.com, Yang Liu Nanyang Technological University DOI

13:30 - 14:50	Smart ContractsISSTA Technical Papers at EI 10 Fritz Paschke Chair(s): Michael Pradel University of Stuttgart

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 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 Hong Kong Polytechnic University, Zheyuan He University of Electronic Science and Technology of China, Yi Lu BitsLab, Pan Li MoveBit DOI
13:50 20m Talk		FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees ISSTA Technical Papers Yunqi Liu Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology DOI
14:10 20m Talk		Identifying Smart Contract Security Issues in Code Snippets from Stack OverflowACM SIGSOFT Distinguished Paper Award 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 DOI

15:30 - 16:30	Analysis of Code OriginISSTA Technical Papers at EI 10 Fritz Paschke Chair(s): Darko Marinov University of Illinois at Urbana-Champaign

15:30 20m Talk		Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge ISSTA Technical Papers Xiaowei Guo Huazhong University of Science and Technology, Cai Fu Huazhong University of Science and Technology, Juan Chen Huazhong University of Science and Technology, 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 DOI
16:10 20m Talk		DeLink: Source File Information Recovery in Binaries ISSTA Technical Papers Zhe Lang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhengzi Xu Nanyang Technological University; Imperial Global Singapore, Xiaohui Chen China Mobile Research Institute, Shichao Lv Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhanwei Song Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiqiang Shi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Limin Sun Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI

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 2024 Gamify 2024 session 1																																				Gamify 2024 Gamify 2024 session 2																								Gamify 2024 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 - 10:40		PLAID Runtime Instrumentation for Reactive Components 10:40 - 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 PapersACM SIGSOFT Distinguished Paper Award 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 PapersACM SIGSOFT Distinguished Paper Award 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 PapersACM SIGSOFT Distinguished Paper Award 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 WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Awa ... 13:50 - 14:10				ISSTA Technical Papers Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Byte ... 14:10 - 14:30																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 Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis 10:50 - 11:10				ISSTA Technical Papers Towards Understanding the Bugs in Solidity Compiler 11:10 - 11:30				ISSTA Technical Papers Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Ann ... 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 PapersACM SIGSOFT Distinguished Paper Award 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

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 2024

Gamify 2024

Gamify 2024

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 10 Fritz Paschke

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 2024

Gamify 2024

Gamify 2024

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