Buchumschlag

Efficient Decomposition Identification of Deterministic Finite Automata from Examples

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Meng, Junjie, An, Jie, Li, Yong, Turrini, Andrea, Xu, Fanjiang, Zhan, Naijun, Zhang, Miaomiao
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
von: Sun, Zeyu, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
von: Fang, Yue, et al.
Veröffentlicht: (2026)

Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
von: Menzies, Tim, et al.
Veröffentlicht: (2024)

Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts
von: Towqir, Sheikh Shadab, et al.
Veröffentlicht: (2025)

StackTrans: From Large Language Model to Large Pushdown Automata Model
von: Zhang, Kechi, et al.
Veröffentlicht: (2025)

Clarifying Semantics of In-Context Examples for Unit Test Generation
von: Yang, Chen, et al.
Veröffentlicht: (2025)

Automata Models for Effective Bug Pattern Description
von: Yaacov, Tom, et al.
Veröffentlicht: (2025)

What Builds Effective In-Context Examples for Code Generation?
von: Li, Dongze, et al.
Veröffentlicht: (2025)

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

UniCon: A Unified System for Efficient Robot Learning Transfers
von: Lin, Yunfeng, et al.
Veröffentlicht: (2026)

Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
von: Li, Junjie, et al.
Veröffentlicht: (2022)

Example-driven development: bridging tests and documentation
von: Nierstrasz, Oscar, et al.
Veröffentlicht: (2024)

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

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
von: Sheng, Junjie, et al.
Veröffentlicht: (2025)

Example-Based Automatic Migration of Continuous Integration Systems
von: Rzig, Dhia Elhaq, et al.
Veröffentlicht: (2024)

Deep Learning Based Concurrency Bug Detection and Localization
von: Feng, Zuocheng, et al.
Veröffentlicht: (2025)

FlowETL: An Autonomous Example-Driven Pipeline for Data Engineering
von: Di Profio, Mattia, et al.
Veröffentlicht: (2025)

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

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
von: Müller, Robert, et al.
Veröffentlicht: (2024)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
von: Tian, Zhao, et al.
Veröffentlicht: (2023)

Automated Static Warning Identification via Path-based Semantic Representation
von: Zhang, Yuwei, et al.
Veröffentlicht: (2023)

Towards an Oracle for Binary Decomposition Under Compilation Variance
von: Jia, Ang, et al.
Veröffentlicht: (2025)

An Empirical Study of the Non-determinism of ChatGPT in Code Generation
von: Ouyang, Shuyin, et al.
Veröffentlicht: (2023)

Example-Based Learning in Software Engineering Education: A Systematic Mapping Study
von: Bonetti, Tiago P., et al.
Veröffentlicht: (2025)

Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
von: Jain, Kush, et al.
Veröffentlicht: (2025)

Exploring the Impact of Source Code Linearity on the Programmers Comprehension of API Code Examples
von: Alharbi, Seham, et al.
Veröffentlicht: (2024)

Adaptive and Efficient Log Parsing as a Cloud Service
von: Li, Zeyan, et al.
Veröffentlicht: (2025)

PlanCompiler: A Deterministic Compilation Architecture for Structured Multi-Step LLM Pipelines
von: Harikumar, Pranav
Veröffentlicht: (2026)

Program Decomposition and Translation with Static Analysis
von: Ibrahimzada, Ali Reza
Veröffentlicht: (2024)

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection
von: Luan, Xiaokun, et al.
Veröffentlicht: (2024)

Aligning Requirement for Large Language Model's Code Generation
von: Tian, Zhao, et al.
Veröffentlicht: (2025)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
von: Yang, Chen, et al.
Veröffentlicht: (2026)

Automated Tool Support for Category-Partition Testing: Design Decisions, UI and Examples of Use
von: Labiche, Yvan
Veröffentlicht: (2026)

Possible Value Analysis based on Symbolic Lattice
von: Zhan, Qi
Veröffentlicht: (2024)

PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
von: Liu, Pei, et al.
Veröffentlicht: (2025)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
von: Luo, Junjie, et al.
Veröffentlicht: (2026)

Performant Automatic BLAS Offloading on Unified Memory Architecture with OpenMP First-Touch Style Data Movement
von: Li, Junjie
Veröffentlicht: (2024)

Adversarial Robustness of Open-source Text Classification Models and Fine-Tuning Chains
von: Qin, Hao, et al.
Veröffentlicht: (2024)

Towards Automated Identification of Violation Symptoms of Architecture Erosion
von: Li, Ruiyin, et al.
Veröffentlicht: (2023)