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

Information for Participants
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 18 Sep

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

13:30 - 15:00
Tool Demos 1ISSTA/ECOOP Tool Demonstrations at EI 5 Hochenegg
Chair(s): Rohan Padhye Carnegie Mellon University
13:30
12m
Talk
Generalized Concurrency Testing Tool for Distributed Systems
ISSTA/ECOOP Tool Demonstrations
Ege Berkay Gulcan Delft University of Technology, João Neto Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
DOI Media Attached
13:42
12m
Talk
Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEADistinguished Tool Demo Award
ISSTA/ECOOP Tool Demonstrations
Alexander Potapov JetBrains, Maksim Zuev JetBrains, Evgenii Moiseenko JetBrains Research, Nikita Koval JetBrains
13:55
12m
Talk
JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
ISSTA/ECOOP Tool Demonstrations
Zaiyu Cheng University of Manchester, Tong Wu University of Manchester, Peter Schrammel University of Sussex and Diffblue Ltd, Norbert Tihanyi Eotvos Lorand University, Eddie B. de Lima Filho TPV Technology, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
14:08
12m
Talk
ESBMC-Python: A Bounded Model Checker for Python Programs
ISSTA/ECOOP Tool Demonstrations
Bruno Farias University of Manchester, Rafael Menezes University of Manchester, Eddie B. de Lima Filho TPV Technology, Youcheng Sun University of Manchester, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
Media Attached
14:21
12m
Talk
Panda: A Concurrent Scheduler for Compiler-Based Tools
ISSTA/ECOOP Tool Demonstrations
Xutong Ma Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI Pre-print Media Attached
14:34
12m
Talk
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
ISSTA/ECOOP Tool Demonstrations
Ningyu He Peking University, Zhehao Zhao Peking University, Hanqin Guan Peking University, Jikai Wang Huazhong University of Science and Technology, Shreya Mathews IMC University of Applied Sciences Krems, Ding Li Peking University, Haoyu Wang Huazhong University of Science and Technology, Xiangqun Chen Peking University, Yao Guo Peking University
14:47
12m
Talk
PolyTracker: Whole-Input Dynamic Information Flow TracingDistinguished Tool Demo Award
ISSTA/ECOOP Tool Demonstrations
Evan Sultanik Trail of Bits, Marek Surovič Trail of Bits, Henrik Brodin Trail of Bits, Kelly Kaoudis Trail of Bits, Facundo Tuesca Trail of Bits, Carson Harmon Trail of Bits, Lisa Overall Trail of Bits, Joseph Sweeney Trail of Bits, Bradford Larsen Trail of Bits
15:30 - 17:00
Tool demos 2ISSTA/ECOOP Tool Demonstrations at EI 5 Hochenegg
Chair(s): Rohan Padhye Carnegie Mellon University
15:30
12m
Talk
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
ISSTA/ECOOP Tool Demonstrations
Paul Fiterau-Brostean Uppsala University, Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens, Fredrik Tåquist Uppsala University, Bengt Jonsson Uppsala University, Sweden
DOI Media Attached
15:42
12m
Talk
FRAFOL: FRAmework FOr Learning mutation testing
ISSTA/ECOOP Tool Demonstrations
Pedro Tavares Faculty of Engineering, University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Domenico Amalfitano University of Naples Federico II, René Just University of Washington
15:55
12m
Talk
FixCheck: A Tool for Improving Patch Correctness Analysis
ISSTA/ECOOP Tool Demonstrations
Facundo Molina IMDEA Software Institute, Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Alessandra Gorla IMDEA Software Institute
16:08
12m
Talk
HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
ISSTA/ECOOP Tool Demonstrations
Luqiao Wang Xidian University, Qiangqiang Wang Xidian University, Jiaqi Wang Xidian University, Yutong Zhao University of Central Missouri, Minjie Wei Xidian University, Zhou Quan Xidian University, Di Cui Xidian University, Qingshan Li Xidian University
16:21
12m
Talk
DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates
ISSTA/ECOOP Tool Demonstrations
Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
16:34
12m
Talk
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
ISSTA/ECOOP Tool Demonstrations
Yunqi Liu Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
Media Attached
16:47
12m
Talk
The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
ISSTA/ECOOP Tool Demonstrations
Alessio Gambi Austrian Institute of Technology (AIT), Shreya Mathews IMC University of Applied Sciences Krems, Benedikt Steininger IMC University of Applied Sciences Krems, Mykhailo Poienko IMC University of Applied Sciences Krems, David Bobek IMC University of Applied Sciences Krems

Thu 19 Sep

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

10:30 - 12:00
Hands-on: Testing DSLs with DSLs in Rascal and TESTARA-TEST at EI 5 Hochenegg

In celebration of the 15th anniversary of A-TEST, we have chosen a theme that aligns well with both ISSTA and ECOOP: “Using DSLs for testing and the testing of DSLs.” To mark this A-TEST milestone and to put the “work” in workshop, we are hosting a hands-on session where participants can roll up their sleeves and actively engage in experimenting to test a DSL QL, a language designed for creating web-based questionnaire forms.

When testing a DSL, it is essential to focus on both the language’s implementation (including syntax, type checking, evaluation and rendering) as well as the correct execution of the code generated by the compiler. These aspects ensure the DSL is both robust and effective in its intended domain.

In our workshop, we will approach this from two angles. For testing the language implementation part, we will use a DSL, named TestQL, which been explicitly written in Rascal for testing purposes. For the execution part, we will employ automated scriptless GUI testing with TESTAR to verify the execution of the generated code. But that is not all—the oracles used during the scriptless testing will be automatically generated by using the domain-specific knowledge of state invariants within the DSL, demonstrating how domain knowledge can enhance testing effectiveness.

13:30 - 15:00
Hands-on: Testing DSLs with DSLs in Rascal and TESTAR (cont.)A-TEST at EI 5 Hochenegg
15:30 - 17:00
Accepted talksA-TEST at EI 5 Hochenegg
15:30
30m
Talk
First Experiments on Automated Execution of Gherkin Test Specifications with Collaborating LLM Agents
A-TEST
Severin Bergsmann Software Competence Center Hagenberg (SCCH), Alexander Schmidt Software Competence Center Hagenberg (SCCH), Stefan Fischer Software Competence Center Hagenberg, Rudolf Ramler Software Competence Center Hagenberg (SCCH)
16:00
30m
Talk
GreeDDy: Accelerate Parallel DDMIN
A-TEST
Daniel Vince University of Szeged, Department of Software Engineering, Ákos Kiss University of Szeged, Hungary
16:30
30m
Talk
Use of ChatGPT as an Assistant in the End-to-End Test Script Generation for Android Apps
A-TEST
Boni Garcia Universidad Carlos III de Madrid, Maurizio Leotta DIBRIS, University of Genova, Italy, Filippo Ricca DIBRIS, Università di Genova, Jim Whitehead University of California, Santa Cruz

Fri 20 Sep

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

09:00 - 10:00
Memory safetyICOOOLPS at EI 5 Hochenegg
09:00
60m
Talk
Miri: Practical Undefined Behavior Detection for Rust
ICOOOLPS
Ralf Jung ETH Zurich
10:30 - 12:00
ConcurrencyICOOOLPS at EI 5 Hochenegg
10:30
60m
Industry talk
Structured concurrency in Hylo
ICOOOLPS
Lucian Radu Teodorescu Garmin International
11:30
30m
Research paper
Stack-copying Delimited Continuations for Scala Native
ICOOOLPS
Nguyen Pham EPFL, LAMP, Martin Odersky EPFL
13:30 - 15:00
Unconference 1ICOOOLPS at EI 5 Hochenegg
15:30 - 16:30
Unconference 2ICOOOLPS at EI 5 Hochenegg

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

Wed 18 Sep

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

Room13:0015304514:0015304515:0015304516:00153045
EI 5 Hochenegg

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