BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications
This program is tentative and subject to change.
Low-code platforms accelerate software development by generating applications from the visual model, while allowing users to manually extend the generated code. This hybrid approach can introduce structural or behavioral discrepancies between the model and final application, creating a critical challenge for verification.
To solve this challenge, we present BESSER-TestGen, a model-based unit test generator for BESSER, a low-code tool, to automatically generate test cases ensuring that the final application behaves as intended even after manual modifications. BESSER-TestGen generates three complementary categories of test cases: (1) structural tests to validate class and attribute conformance, (2) OCL-based tests to ensure the correct behavior of operations, and (3) state-based tests to ensure that the state changes after an operation. We evaluate BESSER-TestGen on 10 case studies using mutation testing, and the results show that the generated test cases can correctly identify any deviation from the model. Youtube Link: https://youtu.be/1O98cMFrDJE
This program is tentative and subject to change.
Tue 19 MayDisplayed time zone: Seoul change
14:00 - 15:30 | |||
14:00 15mTalk | Constraint-Driven Fuzzing at Scale with FANDANGO Testing Tools and Data Showcase José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
14:15 15mTalk | TriAD: a Tricorder-based tool for detecting anomalies in software Testing Tools and Data Showcase Caio Herrera University of Sao Paulo (USP), Simone do Rocio Senger de Souza ICMC/USP, Ricardo Santos Federal University of Mato Grosso do Sul (UFMS), Paulo Sergio Lopes de Souza ICMC/USP | ||
14:30 15mTalk | RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems Testing Tools and Data Showcase Dario Facchinetti Università degli Studi di Bergamo, Matthew Rossi Università degli Studi di Bergamo, Zhenya Zhang Kyushu University, Stefano Paraboschi Università degli Studi di Bergamo, Paolo Arcaini National Institute of Informatics | ||
14:45 15mTalk | BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications Testing Tools and Data Showcase Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology | ||
15:00 15mTalk | Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering Testing Tools and Data Showcase Zahra Seyedghorban Delft University of Technology, Egor Klimov JetBrains Research, Arie van Deursen TU Delft, Annibale Panichella Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology | ||
15:15 15mTalk | mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis Testing Tools and Data Showcase Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield | ||