RASE 2026 – Preliminary Table of Contents

1st International Workshop on Reliable and trustworthy Automated Software Engineering (RASE 2026)

Frontmatter

Papers

TaxVerif: Verification-Oriented COBOL Tax-Code Migration via Invariant Extraction and Semantic Validation
Vadim Tynchenko, Igor Masich, Dmitry Martysyuk, Yury Kostromin, Aleksei Borodulin, Ivan Malashin, Vladimir Nelyub, and Andrei Gantimurov
(Bauman Moscow State Technical University, Russia)

Article Search Article: asews26rasemain-id7-p (type: Full Paper (8 pages)) doi:10.1145/3820756.3844907

Whose Specification Did You Test? The Hidden Interpretation Bias in LLM-Generated Test Suites
Md Mainul Islam
(United International University, Dhaka, Bangladesh)

Article Search Artifacts Available Article: asews26rasemain-id8-p (type: Short Paper (4 pages)) doi:10.1145/3820756.3844908

Replication Package for "Whose Specification Did You Test? The Hidden Interpretation Bias in LLM-Generated Test Suites" (doi:10.5281/zenodo.22149609): Complete replication package including 3 human-coded and 3 LLM-coded Flask API implementations, 9 LLM-generated Postman test collections (P1 Baseline, P2 Adversarial, P3 Minimal × 3 APIs), 18 validated Newman evaluation reports, raw model responses, generation logs with full provenance metadata, and statistical ...

When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross-Configuration Measurement Study
Arman Chhetri and Yinxi Liu
(Rochester Institute of Technology, USA)

Article Search Artifacts Available Article: asews26rasemain-id13-p (type: Full Paper (8 pages)) doi:10.1145/3820756.3844910

When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross-Configuration Measurement Study (doi:10.5281/zenodo.21460437): This repository is the replication artifact for the RASE workshop paper on cross-model adequacy of inference-cost stressors. It contains only the eight evaluated text models' attack suffixes, recorded benchmark/transfer/ablation trials, analysis code, and paper materials.

Toward Defensible System Behavior for AI-Generated Software Artifacts
Radosław Klimek
(AGH University of Krakow, Poland)

Article Search Article: asews26rasemain-id14-p (type: Short Paper (4 pages)) doi:10.1145/3820756.3844911

How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical Study of Input Generation Strategies
Tural Mammadov, Alireza Kheradmand, Marius Smytzek, and Andreas Zeller
(CISPA Helmholtz Center for Information Security, Germany; Saarland University, Germany)

Article Search Article: asews26rasemain-id21-p (type: Full Paper (8 pages)) doi:10.1145/3820756.3844912

HermesAngler: Enabling Dynamic Instrumentation of iOS React Native Apps
Martin Renze and Fabian Scherf
(Fraunhofer SIT, Germany; ATHENE, Germany)

Article Search Artifacts Available Article: asews26rasemain-id22-p (type: Short Paper (4 pages)) doi:10.1145/3820756.3844913

Artifacts for the paper: `HermesAngler: Enabling Dynamic Instrumentation of iOS React Native Apps' (doi:10.6084/m9.figshare.33070283.v2): This artifact contains the HermesAngler source code along with the LLM prompts used.

NORMA: Automated AI Act Compliance Assessment for AI Training Datasets
Elisabetta Arba, Allegra Berardi, Bedilia Estrada-Torres, Francesco Leotta, Flavia Monti, and Massimo Mecella
(Sapienza University of Rome, Italy; University of Seville, Spain)

Article Search Article: asews26rasemain-id23-p (type: Short Paper (4 pages)) doi:10.1145/3820756.3844914

Formal Analysis of Software Bills of Materials with Alloy
Sabato Nocera and Giuseppe Scanniello
(University of Salerno, Italy)

Article Search Article: asews26rasemain-id26-p (type: Short Paper (4 pages)) doi:10.1145/3820756.3844915

Minimizing Vulnerability Prevalence in Maven Dependencies via Answer Set Programming
Christian Macho, Laura Hofer, and Martin Pinzger
(University of Klagenfurt, Austria)

Article Search Article: asews26rasemain-id27-p (type: Full Paper (8 pages)) doi:10.1145/3820756.3844916

Can We Trust Strong Teachers? Auditing Knowledge Distillation for Binary Code Similarity Detection
Minh Khang Van, Yunru Wang, and Johannes Kinder
(LMU Munich, Germany)

Article Search Article: asews26rasemain-id28-p (type: Full Paper (Replication Study 8 pages)) doi:10.1145/3820756.3844917

Software Engineering Governance: Foundations for Trustworthy Automated Software Engineering
Carlos Mario Braga, Manuel A. Serrano, and Eduardo Fernandez-Medina
(University of Castilla-La Mancha, Spain)

Article Search Article: asews26rasemain-id29-p (type: Full Paper (8 pages)) doi:10.1145/3820756.3844918

When Log Parsing Removes What Matters: Detecting Failures in Distributed GPU Workloads
Boyuan Cui, Yuyang Zeng, Yifang Tian, and Hans-Arno Jacobsen
(University of Toronto, Canada)

Article Search Article: asews26rasemain-id32-p (type: Short Paper (4 pages)) doi:10.1145/3820756.3844919

proc time: 0.03