:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Towqir, Sheikh Shadab, He, Fei, Mytkowicz, Todd, Meng, Na
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2507.19432
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

Diagnosing and Resolving Android Applications Building Issues: An Empirical Study
by: Bodepudi, Lakshmi Priya, et al.
Published: (2025)

An Exploratory Study on Build Issue Resolution Among Computer Science Students
by: Huang, Sunzhou, et al.
Published: (2025)

What Builds Effective In-Context Examples for Code Generation?
by: Li, Dongze, et al.
Published: (2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
by: Antoniadis, Anastasios, et al.
Published: (2025)

Beyond Pass/Fail: The Story of Learning-Based Testing
by: Rahman, Sheikh Md. Mushfiqur, et al.
Published: (2025)

Example-Based Automatic Migration of Continuous Integration Systems
by: Rzig, Dhia Elhaq, et al.
Published: (2024)

VulnResolver: A Hybrid Agent Framework for LLM-Based Automated Vulnerability Issue Resolution
by: Zhang, Mingming, et al.
Published: (2026)

Introducing Ensemble Machine Learning Algorithms for Automatic Test Case Generation using Learning Based Testing
by: Rahman, Sheikh Md. Mushfiqur, et al.
Published: (2024)

Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
by: Dilhara, Malinda, et al.
Published: (2024)

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

Example-Based Learning in Software Engineering Education: A Systematic Mapping Study
by: Bonetti, Tiago P., 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)

Adversarial Reasoning for Repair Based on Inferred Program Intent
by: Ye, He, et al.
Published: (2025)

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

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
by: Zhou, Zhichao, et al.
Published: (2023)

Learning-Based Testing for Deep Learning: Enhancing Model Robustness with Adversarial Input Prioritization
by: Rahman, Sheikh Md Mushfiqur, et al.
Published: (2025)

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

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

Efficient Decomposition Identification of Deterministic Finite Automata from Examples
by: Meng, Junjie, et al.
Published: (2025)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
by: Li, Fengjie, et al.
Published: (2024)

The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation
by: Fu, Yingjie, et al.
Published: (2024)

RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation
by: Jin, Shuo, et al.
Published: (2025)

Detecting Build Dependency Errors in Incremental Builds
by: Lyu, Jun, et al.
Published: (2024)

Evolution of Log-Based Detection Rules in Public Repositories
by: Long, Minjun, et al.
Published: (2026)

Ten Simple Rules for Catalyzing Collaborations and Building Bridges between Research Software Engineers and Software Engineering Researchers
by: Eisty, Nasir U., et al.
Published: (2025)

Personalizing LLM-Based Conversational Programming Assistants
by: Richards, Jonan
Published: (2026)

RADICE: Causal Graph Based Root Cause Analysis for System Performance Diagnostic
by: Tonon, Andrea, et al.
Published: (2025)

How Do Java Developers Reuse StackOverflow Answers in Their GitHub Projects?
by: Chen, Juntong, et al.
Published: (2023)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
by: Husák, Robert, et al.
Published: (2025)

RuleFlow : Generating Reusable Program Optimizations with LLMs
by: Singh, Avaljot, et al.
Published: (2026)

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

The Fact Selection Problem in LLM-Based Program Repair
by: Parasaram, Nikhil, et al.
Published: (2024)

Bridging the Gap Between Binary and Source Based Package Management in Spack
by: Gouwar, John, et al.
Published: (2025)

A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair
by: Zhang, Quanjun, et al.
Published: (2023)

Catch the Butterfly: Peeking into the Terms and Conflicts among SPDX Licenses
by: Liu, Tao, et al.
Published: (2024)

Moving beyond Deletions: Program Simplification via Diverse Program Transformations
by: Wang, Haibo, et al.
Published: (2024)

CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building
by: Yu, Zhengmin, et al.
Published: (2025)

Program Environment Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)