Buchumschlag

Logic Mining from Process Logs: Towards Automated Specification and Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Klimek, Radoslaw, Witek, Julia
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

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
von: Klimek, Radoslaw
Veröffentlicht: (2025)

LogUpdater: Automated Detection and Repair of Specific Defects in Logging Statements
von: Zhong, Renyi, et al.
Veröffentlicht: (2024)

Change Logging and Mining of Change Logs of Business Processes -- A Literature Review
von: Ghahderijani, Arash Yadegari, et al.
Veröffentlicht: (2025)

A Novel Approach for Automated Design Information Mining from Issue Logs
von: Zhao, Jiuang, et al.
Veröffentlicht: (2024)

IoT Miner: Intelligent Extraction of Event Logs from Sensor Data for Process Mining
von: Brzychczy, Edyta, et al.
Veröffentlicht: (2025)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
von: Zhang, Yuanrui
Veröffentlicht: (2024)

Automating Execution and Verification of BPMN+DMN Business Processes
von: Della Penna, Giuseppe, et al.
Veröffentlicht: (2025)

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Logs
von: Rebmann, Adrian, et al.
Veröffentlicht: (2024)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
von: Ramadan, Qusai, et al.
Veröffentlicht: (2025)

AUCAD: Automated Construction of Alignment Dataset from Log-Related Issues for Enhancing LLM-based Log Generation
von: Zhang, Hao, et al.
Veröffentlicht: (2024)

Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
von: de Leoni, Massimiliano, et al.
Veröffentlicht: (2025)

Mining the Gold: Student-AI Chat Logs as Rich Sources for Automated Knowledge Gap Detection
von: Fu, Quanzhi, et al.
Veröffentlicht: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
von: Xu, Kangping, et al.
Veröffentlicht: (2025)

Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j
von: Yoshioka, Haruhiko, et al.
Veröffentlicht: (2025)

End-to-End Automated Logging via Multi-Agent Framework
von: Zhong, Renyi, et al.
Veröffentlicht: (2025)

Exploring the Effectiveness of LLMs in Automated Logging Generation: An Empirical Study
von: Li, Yichen, et al.
Veröffentlicht: (2023)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
von: Liu, Ye, et al.
Veröffentlicht: (2024)

Towards a Taxonomy of Software Log Smells
von: Saarimäki, Nyyti, et al.
Veröffentlicht: (2024)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
von: Lian, Xiaoli, et al.
Veröffentlicht: (2025)

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
von: Iman, Mohammad Reza Heidari, et al.
Veröffentlicht: (2026)

Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j Library
von: Tanaka, Hidetake, et al.
Veröffentlicht: (2025)

Selene: Pioneering Automated Proof in Software Verification
von: Zhang, Lichen, et al.
Veröffentlicht: (2024)

Sustainability Analysis Patterns for Process Mining and Process Modelling Approaches
von: Fritsch, Andreas
Veröffentlicht: (2025)

LLM-SrcLog: Towards Proactive and Unified Log Template Extraction via Large Language Models
von: Sun, Jiaqi, et al.
Veröffentlicht: (2025)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

Specification Vibing for Automated Program Repair
von: Zhu, Taohong, et al.
Veröffentlicht: (2026)

Improving BIM Authoring Process Reproducibility with Enhanced BIM Logging
von: Jang, Suhyung, et al.
Veröffentlicht: (2023)

LogLM: From Task-based to Instruction-based Automated Log Analysis
von: Liu, Yilun, et al.
Veröffentlicht: (2024)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
von: Chen, Zehan, et al.
Veröffentlicht: (2026)

Automated LTL Specification Generation from Industrial Aerospace Requirements
von: Ma, Zhi, et al.
Veröffentlicht: (2026)

AnomalyGen: An Automated Semantic Log Sequence Generation Framework with LLM for Anomaly Detection
von: Li, Xinyu, et al.
Veröffentlicht: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
von: Banerjee, Debangshu, et al.
Veröffentlicht: (2026)

On Sequence-to-Sequence Models for Automated Log Parsing
von: Sorrenti, Adam, et al.
Veröffentlicht: (2026)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
von: Faria, João Pascoal, et al.
Veröffentlicht: (2026)

LogReasoner: Empowering LLMs with Expert-like Coarse-to-Fine Reasoning for Automated Log Analysis
von: Ma, Lipeng, et al.
Veröffentlicht: (2025)

Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining
von: Jiang, Jiajun, et al.
Veröffentlicht: (2023)

Single-Language Evidence Is Insufficient for Automated Logging: A Multilingual Benchmark and Empirical Study with LLMs
von: Zhong, Renyi, et al.
Veröffentlicht: (2026)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
von: Lian, Xiaoli, et al.
Veröffentlicht: (2025)