:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Meng, Junjie, An, Jie, Li, Yong, Turrini, Andrea, Xu, Fanjiang, Zhan, Naijun, Zhang, Miaomiao
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	https://arxiv.org/abs/2509.24347
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
par: Sun, Zeyu, et autres
Publié: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
par: Yang, Fanpeng, et autres
Publié: (2025)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
par: Fang, Yue, et autres
Publié: (2026)

Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
par: Menzies, Tim, et autres
Publié: (2024)

Clarifying Semantics of In-Context Examples for Unit Test Generation
par: Yang, Chen, et autres
Publié: (2025)

StackTrans: From Large Language Model to Large Pushdown Automata Model
par: Zhang, Kechi, et autres
Publié: (2025)

Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts
par: Towqir, Sheikh Shadab, et autres
Publié: (2025)

Automata Models for Effective Bug Pattern Description
par: Yaacov, Tom, et autres
Publié: (2025)

What Builds Effective In-Context Examples for Code Generation?
par: Li, Dongze, et autres
Publié: (2025)

UniCon: A Unified System for Efficient Robot Learning Transfers
par: Lin, Yunfeng, et autres
Publié: (2026)

The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation
par: Fu, Yingjie, et autres
Publié: (2024)

Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
par: Li, Junjie, et autres
Publié: (2022)

Example-driven development: bridging tests and documentation
par: Nierstrasz, Oscar, et autres
Publié: (2024)

Deep Learning Based Concurrency Bug Detection and Localization
par: Feng, Zuocheng, et autres
Publié: (2025)

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
par: Sheng, Junjie, et autres
Publié: (2025)

Example-Based Automatic Migration of Continuous Integration Systems
par: Rzig, Dhia Elhaq, et autres
Publié: (2024)

A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair
par: Zhang, Quanjun, et autres
Publié: (2023)

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection
par: Luan, Xiaokun, et autres
Publié: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
par: Wu, Xiwei, et autres
Publié: (2025)

Performant Automatic BLAS Offloading on Unified Memory Architecture with OpenMP First-Touch Style Data Movement
par: Li, Junjie
Publié: (2024)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
par: Tian, Zhao, et autres
Publié: (2023)

FlowETL: An Autonomous Example-Driven Pipeline for Data Engineering
par: Di Profio, Mattia, et autres
Publié: (2025)

Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
par: Dilhara, Malinda, et autres
Publié: (2024)

An Empirical Study of the Non-determinism of ChatGPT in Code Generation
par: Ouyang, Shuyin, et autres
Publié: (2023)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
par: Müller, Robert, et autres
Publié: (2024)

Automated Static Warning Identification via Path-based Semantic Representation
par: Zhang, Yuwei, et autres
Publié: (2023)

Towards an Oracle for Binary Decomposition Under Compilation Variance
par: Jia, Ang, et autres
Publié: (2025)

Adaptive and Efficient Log Parsing as a Cloud Service
par: Li, Zeyan, et autres
Publié: (2025)

Example-Based Learning in Software Engineering Education: A Systematic Mapping Study
par: Bonetti, Tiago P., et autres
Publié: (2025)

Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
par: Jain, Kush, et autres
Publié: (2025)

Exploring the Impact of Source Code Linearity on the Programmers Comprehension of API Code Examples
par: Alharbi, Seham, et autres
Publié: (2024)

Aligning Requirement for Large Language Model's Code Generation
par: Tian, Zhao, et autres
Publié: (2025)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
par: Yang, Chen, et autres
Publié: (2026)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
par: Morazán, Marco T., et autres
Publié: (2025)

Automata Learning -- Expect Delays!
par: Dengler, Gabriel, et autres
Publié: (2025)

PlanCompiler: A Deterministic Compilation Architecture for Structured Multi-Step LLM Pipelines
par: Harikumar, Pranav
Publié: (2026)

Program Decomposition and Translation with Static Analysis
par: Ibrahimzada, Ali Reza
Publié: (2024)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
par: Luo, Junjie, et autres
Publié: (2026)

Adversarial Robustness of Open-source Text Classification Models and Fine-Tuning Chains
par: Qin, Hao, et autres
Publié: (2024)

PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
par: Liu, Pei, et autres
Publié: (2025)