Cover Image

Using weakest application conditions to rank graph transformations for graph repair

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fritsche, Lars, Lauer, Alexander, Kratz, Maximilian, Schürr, Andy, Taentzer, Gabriele
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
by: Fritsche, Lars, et al.
Published: (2023)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
by: Bockisch, Christoph, et al.
Published: (2024)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

Enhancing repository-level software repair via repository-aware knowledge graphs
by: Yang, Boyang, et al.
Published: (2025)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
by: Kräuter, Tim, et al.
Published: (2023)

Assessing the Business Process Modeling Competences of Large Language Models
by: Lauer, Chantale, et al.
Published: (2026)

Model management to support systems engineering workflows using ontology-based knowledge graphs
by: Ryś, Arkadiusz, et al.
Published: (2025)

SPVR: syntax-to-prompt vulnerability repair based on large language models
by: Wang, Ruoke, et al.
Published: (2024)

An Agentic Approach Towards Replication Package Quality Evaluation
by: Mbida, Maximilian Alexander Amougou, et al.
Published: (2026)

Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers
by: Seidler, Maximilian, et al.
Published: (2025)

On the need to perform comprehensive evaluations of automated program repair benchmarks: Sorald case study
by: Liyanage, Sumudu, et al.
Published: (2025)

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
by: Kananchuk, Victoria, et al.
Published: (2025)

Summary-Mediated Repair: Can LLMs use code summarisation as a tool for program repair?
by: Twist, Lukas
Published: (2025)

State-Of-The-Practice in Quality Assurance in Java-Based Open Source Software Development
by: Khatami, Ali, et al.
Published: (2023)

Test Behaviors, Not Methods! Detecting Tests Obsessed by Methods
by: Hora, Andre, et al.
Published: (2026)

Towards Summarizing Code Snippets Using Pre-Trained Transformers
by: Mastropaolo, Antonio, et al.
Published: (2024)

EmbC-Test: How to Speed Up Embedded Software Testing Using LLMs and RAG
by: Harnot, Maximilian, et al.
Published: (2026)

Call graph discovery in binary programs from unknown instruction set architectures
by: Pettersen, Håvard, et al.
Published: (2024)

Automating Code Review: A Systematic Literature Review
by: Tufano, Rosalia, et al.
Published: (2025)

Beyond the YAML File: Understanding Real-World GitHub Actions Workflow Adoption
by: Khatami, Ali, et al.
Published: (2026)

On the Emergence of Testing Strategies: A Socio-technical Grounded Theory
by: Swillus, Mark, et al.
Published: (2025)

An instrument to measure factors that constitute the socio-technical context of testing experience
by: Swillus, Mark, et al.
Published: (2025)

How Students Use Generative AI for Software Testing: An Observational Study
by: Ardic, Baris, et al.
Published: (2025)

evomap: A Toolbox for Dynamic Mapping in Python
by: Matthe, Maximilian
Published: (2025)

Not One to Rule Them All: Mining Meaningful Code Review Orders From GitHub
by: Bouraffa, Abir, et al.
Published: (2025)

Unsafe and Unused? A History of Utility Code in Mature Open Source Projects
by: Keller, Brandon, et al.
Published: (2026)

Guidelines for Developing Bots for GitHub
by: Wessel, Mairieli, et al.
Published: (2022)

SEART Data Hub: Streamlining Large-Scale Source Code Mining and Pre-Processing
by: Dabić, Ozren, et al.
Published: (2024)

Deep Learning-based Code Completion: On the Impact on Performance of Contextual Information
by: Ciniselli, Matteo, et al.
Published: (2025)

Studying Quality Improvements Recommended via Manual and Automated Code Review
by: Crupi, Giuseppe, et al.
Published: (2026)

Critical Considerations on Effort-aware Software Defect Prediction Metrics
by: Lavazza, Luigi, et al.
Published: (2025)

Evaluating Software Defect Prediction Models via the Area Under the ROC Curve Can Be Misleading
by: Lavazza, Luigi, et al.
Published: (2026)

Improving Code Generation via Small Language Model-as-a-judge
by: Crupi, Giuseppe, et al.
Published: (2026)

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't
by: Camporese, Maria, et al.
Published: (2025)

Human-Centered Evaluation of an LLM-Based Process Modeling Copilot: A Mixed-Methods Study with Domain Experts
by: Lauer, Chantale, et al.
Published: (2026)

Enhancing non-Perl bioinformatic applications with Perl: Building novel, component based applications using Object Orientation, PDL, Alien, FFI, Inline and OpenMP
by: Argyropoulos, Christos
Published: (2024)

Adaptoring: Adapter Generation to Provide an Alternative API for a Library
by: Reimann, Lars, et al.
Published: (2024)