Skip to content
Book Open access

ModBench: A Pipeline for Building Modelica Benchmark Datasets Mined from Library Repositories

Aug 2026 · Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems · 1 citation · 16 references
Computer Science

TL;DR

ModBench is a pipeline that mines Git repositories of Modelica libraries to produce benchmark datasets of model snapshots, spanning the full commit history (since Modelica language v3), with 85562 distinct class snapshots, and links enabling traceability to original models and Git metadata.

Abstract

Research on equation-based cyber-physical systems modeling languages, such as Modelica, is constrained by the lack of curated benchmark datasets. This limits empirical insight into the evolution and development of models. We address this gap with ModBench, a pipeline that mines Git repositories of Modelica libraries to produce benchmark datasets of model snapshots. The pipeline (1) filters repository commits to retain human-authored, Modelica-relevant revisions; (2) extracts simulation-eligible classes; and (3) builds canonical representations of Modelica classes. For empirical validation, we applied ModBench to the Modelica Standard Library (MSL) and report the resulting dataset, spanning the full commit history (since Modelica language v3), with 85562 distinct class snapshots, and links enabling traceability to original models and Git metadata. The dataset, its API, and the data generation pipeline are publicly available to support future research on model evolution analysis, compiler testing, and automated model repair or generation.

Read PDF

Similar papers

#software testing Book Open access Oct 2026

LLM-Based Instance Model Generation via Code Synthesis

This paper proposes an approach that reformulates the generation problem as a code generation task, on which the LLMs excel, and evaluates the approach along four dimensions—scalability, consistency, diversity, and realism—across two use cases and three LLMs.

Javier Polo-Gambín, José A. Ruipérez-Valiente, José Antonio Hernández López · 0 citations
Book Open access Oct 2026

Validation of Famix Model Importers with Model Shuffling and Input Reduction

Model-Driven Engineering is an important research field for the engineering of complex systems. Complex systems are typically represented by large models or even a composition of large models. Large models contain millions of entities and modeling tools evolve constantly to support new features, revealing bugs or incon...

R. Degrave, Imen Sayar, Guillermo Polito · 0 citations
Review Open access Sep 2026

Designing reproducible large-language-model-assisted scientific analyses

Summary Large language models (LLMs) increasingly write code, analyze data, and orchestrate scientific workflows. This can create reproducibility challenges because LLMs blur the boundary between how an analysis is built and what it depends on at run time. Guidelines for LLM-assisted science begin with a critical choic...

C. Dunn, Darrin T. Schultz, J. Musser · 0 citations
Preprint Aug 2026

Evolving Executable Pipeline Programs for AutoML with Language Models

This work presents LACE, an AutoML framework that instead searches over complete executable pipeline programs: an evolutionary loop maintains a population of scikit-learn-compatible Python classes, and a large language model acts as the variation operator.

Sofoklis Kitharidis, C. Veenman, J. V. van Rijn et al. · 0 citations
Preprint Sep 2026

LLMVul: A Vulnerability-Labeled Dataset of LLM-Generated C/C++ Functions from Real Production Repositories

LLMVul, a vulnerability-labeled dataset of LLM-generated C/C++ functions mined from real production repositories, enables reproducible research on vulnerability detection, security evaluation of LLM-generated code, and analysis of vulnerability patterns in AI-assisted software development.

Mohammad Farhad, Shuvalaxmi Dass · 0 citations
Book Open access Oct 2026

A Transformation-Based Benchmark for Evaluating the Robustness of LLMs in Generating OCL

A transformation-based benchmarking approach for OCL generation is introduced, based on deterministic, semantics-preserving UML model transformations; such as identifier renaming, attribute reification, and association reification, that preserve specification intent while altering model representation.

Hamza Attarwala, Moataz Chouchen, Omar Alam et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.