:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gu, Qiqi Jason, Janota, Mikoláš
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2604.13813
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
by: Orvalho, Pedro, et al.
Published: (2024)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
by: Orvalho, Pedro, et al.
Published: (2024)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
by: Orvalho, Pedro, et al.
Published: (2024)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
by: Orvalho, Pedro, et al.
Published: (2022)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

Evaluation of Version Control Merge Tools
by: Schesch, Benedikt, et al.
Published: (2024)

On the Effect of Token Merging on Pre-trained Models for Code
by: Saad, Mootez, et al.
Published: (2025)

Typing Requirement Model as Coroutines
by: Gu, Qiqi, et al.
Published: (2024)

AutoMerge: Search-Based Model Merging Framework for Effective Model Reuse
by: Lu, You, et al.
Published: (2026)

CommitShield: Tracking Vulnerability Introduction and Fix in Version Control Systems
by: Wu, Zhaonan, et al.
Published: (2025)

Altered Histories in Version Control System Repositories: Evidence from the Trenches
by: Rapaport, Solal, et al.
Published: (2025)

Txt2Sce: Scenario Generation for Autonomous Driving System Testing Based on Textual Reports
by: Ji, Pin, et al.
Published: (2025)

Textual-Based vs. Thinging Machines Conceptual Modeling
by: Al-Fedaghi, Sabah
Published: (2025)

PVAC: Package Version Activity Categorizer, Leveraging Semantic Versioning in a Heterogeneous System
by: Panter, Shane K., et al.
Published: (2024)

Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study
by: Jin, Dongming, et al.
Published: (2025)

A Live Extensible Ontology of Quality Factors for Textual Requirements
by: Frattini, Julian, et al.
Published: (2022)

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
by: Predoaia, Ionut, et al.
Published: (2024)

A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
by: Léveillé, Dylan, et al.
Published: (2025)

Detecting Semantic Alignments between Textual Specifications and Domain Models
by: Shimangaud, Shwetali, et al.
Published: (2026)

Semistructured Merge with Language-Specific Syntactic Separators
by: Cavalcanti, Guilherme, et al.
Published: (2024)

Analyzing and Evaluating the Behavior of Git Diff and Merge
by: Glodny, Niels
Published: (2025)

Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
by: Zhou, Zihan, et al.
Published: (2024)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
by: Beyer, Dirk, et al.
Published: (2024)

LastMerge: A language-agnostic structured tool for code integration
by: Duarte, Joao Pedro, et al.
Published: (2025)

The Role of Cognitive Abilities in Requirements Inspection: Comparing UML and Textual Representations
by: Broccia, Giovanna, et al.
Published: (2026)

Domain-constrained Synthesis of Inconsistent Key Aspects in Textual Vulnerability Descriptions
by: Han, Linyi, et al.
Published: (2025)

Quantitative Information Flow Control by Construction for Component-Based Systems
by: Rønneberg, Rasmus Carl
Published: (2024)

Exploring the Evidence-Based SE Beliefs of Generative AI Tools
by: Brown, Chris, et al.
Published: (2024)

Why Are Agentic Pull Requests Merged or Rejected? An Empirical Study
by: Peralta, Sien Reeve O., et al.
Published: (2026)

An Empirical Study on the Amount of Changes Required for Merge Request Acceptance
by: Kansab, Samah, et al.
Published: (2025)

Automated BPMN Model Generation from Textual Process Descriptions: A Multi-Stage LLM-Driven Approach
by: Matei, Ion, et al.
Published: (2026)

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
by: Hunter, Michael C., et al.
Published: (2025)

Fine-Grained Assertion-Based Test Selection
by: Gu, Sijia, et al.
Published: (2024)

Token Sugar: Making Source Code Sweeter for LLMs through Token-Efficient Shorthand
by: Sun, Zhensu, et al.
Published: (2025)

Improving Merge Pipeline Throughput in Continuous Integration via Pull Request Prioritization
by: Jungwirth, Maximilian, et al.
Published: (2025)

Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-Task Learning
by: Zhang, Xiaoling, et al.
Published: (2024)

UGSim: Autonomous Buoyancy-Driven Underwater Glider Simulator with LQR Control Strategy and Recursive Guidance System
by: Xu, Zhizun, et al.
Published: (2025)

MergeRepair: An Exploratory Study on Merging Task-Specific Adapters in Code LLMs for Automated Program Repair
by: Dehghan, Meghdad, et al.
Published: (2024)

Galapagos: Automated N-Version Programming with LLMs
by: Ron, Javier, et al.
Published: (2024)

AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems
by: Li, Yang, et al.
Published: (2025)