AST 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Mon 28 Apr 2025 12:00 - 12:30 at 211 - Session 1: LLM for Testing

We present BERTiMuS, an approach that uses a large language model, CodeBERT, to generate mutants for Simulink models. BERTiMuS converts Simulink models into textual representations, masks tokens from the derived text, and uses CodeBERT to predict the masked tokens. Simulink mutants are obtained by replacing the masked tokens with predictions from CodeBERT. We evaluate BERTiMuS using Simulink models from an industrial benchmark, and compare it with FIM – a state-of-the-art mutation tool for Simulink. We show that, relying exclusively on CodeBERT, BERTiMuS can generate the block-based Simulink mutation patterns documented in the literature. Further, our results indicate that: (a) BERTiMuS is complementary to FIM, and (b) when one considers a requirements-aware notion of mutation testing, BERTiMuS outperforms FIM. We provide our replication package online.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 1: LLM for TestingAST 2025 at 211

Session chair: Cailin Winston

11:00
30m
Full-paper
Acceptance Test Generation with Large Language Models: An Industrial Case Study
AST 2025
Margarida Ferreira University of Porto and Critical TechWorks, Luís Viegas University of Porto and Critical TechWorks, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering of the University of Porto & LIACC
Pre-print
11:30
30m
Full-paper
AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
AST 2025
Severin Primbs University of Passau, Benedikt Fein University of Passau, Gordon Fraser University of Passau
Pre-print
12:00
30m
Full-paper
Simulink Mutation Testing using CodeBERT
AST 2025
Jingfan Zhang University of Ottawa, Delaram Ghobari University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Shiva Nejati University of Ottawa
Pre-print
:
:
:
: