Cover Image

Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fritsche, Lars, Kosiol, Jens, Lauer, Alexander, Möller, Adrian, Schürr, Andy
Format:	Preprint
Published:	2023
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using weakest application conditions to rank graph transformations for graph repair
by: Fritsche, Lars, et al.
Published: (2024)

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

The (C)omprehensive (A)rchitecture (P)attern (I)ntegration method: Navigating the sea of technology
by: Copei, Sebastian, et al.
Published: (2025)

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

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
by: Endrullis, Jörg, et al.
Published: (2025)

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

Generating Context-Aware Contrastive Explanations in Rule-based Systems
by: Herbold, Lars, et al.
Published: (2024)

EvaluateXAI: A Framework to Evaluate the Reliability and Consistency of Rule-based XAI Techniques for Software Analytics Tasks
by: Awal, Md Abdul, et al.
Published: (2024)

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)

What to Cut? Predicting Unnecessary Methods in Agentic Code Generation
by: Watanabe, Kan, et al.
Published: (2026)

Beyond Strict Rules: Assessing the Effectiveness of Large Language Models for Code Smell Detection
by: Souza, Saymon, et al.
Published: (2026)

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

Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
by: Liu, Changshu, et al.
Published: (2025)

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

Testing Medical Rules Web Services in Practice
by: Laaber, Christoph, et al.
Published: (2024)

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

What the Fix? A Study of ASATs Rule Documentation
by: Latappy, Corentin, et al.
Published: (2024)

Beyond Rules: LLM-Powered Linting for Quantum Programs
by: Cassieri, Pietro, et al.
Published: (2026)

Ten Simple Rules for AI-Assisted Coding in Science
by: Bridgeford, Eric W., et al.
Published: (2025)

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

Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software
by: Chen, Zhenpeng, et al.
Published: (2024)

Artificial or Just Artful? Do LLMs Bend the Rules in Programming?
by: Sghaier, Oussama Ben, et al.
Published: (2025)

RUM: Rule+LLM-Based Comprehensive Assessment on Testing Skills
by: Wang, Yue, et al.
Published: (2025)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
by: Luo, Feng, et al.
Published: (2025)

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
by: Wang, Changjie, et al.
Published: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
by: Sousa, Tiago, et al.
Published: (2024)

Expanding the Classical V-Model for the Development of Complex Systems Incorporating AI
by: Ullrich, Lars, 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)

MUCOCO: Automated Consistency Testing of Code LLMs
by: Chou, Chua Jin, et al.
Published: (2026)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
by: Zhao, Yuwei, et al.
Published: (2025)

Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning
by: Mai, Yubo, et al.
Published: (2024)

Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts
by: Towqir, Sheikh Shadab, et al.
Published: (2025)

RESTRuler: Towards Automatically Identifying Violations of RESTful Design Rules in Web APIs
by: Bogner, Justus, et al.
Published: (2024)

REST in Pieces: RESTful Design Rule Violations in Student-Built Web Apps
by: Di Meglio, Sergio, et al.
Published: (2025)

A Rule-Based Approach for UI Migration from Android to iOS
by: Gao, Yi, et al.
Published: (2024)

Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
by: Taherkhani, Hamed, et al.
Published: (2026)