Cover Image

Ambiguity Detection and Elimination in Automated Executable Process Modeling

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Matei, Ion, Sekar, Praveen Kumar Menaka, Zhenirovskyy, Maksym, Wong, Hon Yung, Kohmura, Sayuri, Hotta, Shinji, Inomata, Akihiro
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automatic Generation of Executable BPMN Models from Medical Guidelines
by: Sekar, Praveen Kumar Menaka, et al.
Published: (2026)

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

Differentiable Parameter Optimization for DAEs with State-Dependent Events
by: Matei, Ion, et al.
Published: (2026)

Resilience Quantification and its Support for Operational Resilience
by: Matei, Ion, et al.
Published: (2026)

Automating Execution and Verification of BPMN+DMN Business Processes
by: Della Penna, Giuseppe, et al.
Published: (2025)

Toward Automated Test Generation for Dockerfiles Based on Analysis of Docker Image Layers
by: Goto, Yuki, et al.
Published: (2025)

Identifying Process Improvement Opportunities through Process Execution Benchmarking
by: Abb, Luka, et al.
Published: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

What's Coming Next? Short-Term Simulation of Business Processes from Current State
by: Avramenko, Maksym, et al.
Published: (2025)

Ambiguity Resolution with Human Feedback for Code Writing Tasks
by: Nandan, Aditey, et al.
Published: (2025)

Detecting Anomalies in Software Execution Logs with Siamese Network
by: Hashemi, Shayan, et al.
Published: (2021)

The Cost of Executing Business Processes on Next-Generation Blockchains: The Case of Algorand
by: Stiehle, Fabian, et al.
Published: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

HyClone: Bridging LLM Understanding and Dynamic Execution for Semantic Code Clone Detection
by: Liang, Yunhao, et al.
Published: (2025)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
by: Li, Haoyu, et al.
Published: (2026)

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
by: Yang, Di, et al.
Published: (2026)

Automating TODO-missed Methods Detection and Patching
by: Gao, Zhipeng, et al.
Published: (2024)

DCE-LLM: Dead Code Elimination with Large Language Models
by: Chen, Minyu, et al.
Published: (2025)

Automated Generation of Commit Messages in Software Repositories
by: Palakodeti, Varun Kumar, et al.
Published: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Execution-free Program Repair
by: Huang, Li, et al.
Published: (2024)

GuardRails: Automated Suggestions for Clarifying Ambiguous Purpose Statements
by: Pawagi, Mrigank, et al.
Published: (2023)

Towards Automated Detection of Inline Code Comment Smells
by: Oztas, Ipek, et al.
Published: (2025)

DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information
by: Huang, Zhili, et al.
Published: (2025)

Trustworthy Distributed Certification of Program Execution
by: Wolf, Alex, et al.
Published: (2024)

Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)

Code Review Automation Via Multi-task Federated LLM -- An Empirical Study
by: Kumar, Jahnavi, et al.
Published: (2024)

Fine-grained Data Access Control for Collaborative Process Execution on Blockchain
by: Marangone, Edoardo, et al.
Published: (2022)

Do Advanced Language Models Eliminate the Need for Prompt Engineering in Software Engineering?
by: Wang, Guoqing, et al.
Published: (2024)

Fine-Tuning Models for Automated Code Review Feedback
by: Kumar, Smitha S, et al.
Published: (2026)

Mokav: Execution-driven Differential Testing with LLMs
by: Etemadi, Khashayar, et al.
Published: (2024)

Understanding and Estimating the Execution Time of Quantum Circuits
by: Ma, Ning, et al.
Published: (2024)

FIKA: Expanding Dependency Reachability with Executability Guarantees
by: Gamage, Yogya, et al.
Published: (2026)

Simple Fault Localization using Execution Traces
by: Prenner, Julian Aron, et al.
Published: (2025)

Scaling Symbolic Execution to Large Software Systems
by: Horvath, Gabor, et al.
Published: (2024)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
by: Rathnasuriya, Ravishka, et al.
Published: (2026)

AgentRaft: Automated Detection of Data Over-Exposure in LLM Agents
by: Lin, Yixi, et al.
Published: (2026)

LogUpdater: Automated Detection and Repair of Specific Defects in Logging Statements
by: Zhong, Renyi, et al.
Published: (2024)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
by: Song, Hao, et al.
Published: (2025)

REDO: Execution-Free Runtime Error Detection for COding Agents
by: Li, Shou, et al.
Published: (2024)