Cover Image

Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Klimek, Radoslaw, Blazowski, Jakub
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Information Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Re-evaluation of Logical Specification in Behavioural Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
by: Klimek, Radoslaw
Published: (2025)

IoT Miner: Intelligent Extraction of Event Logs from Sensor Data for Process Mining
by: Brzychczy, Edyta, et al.
Published: (2025)

To BEE or not to BEE: Estimating more than Entropy with Biased Entropy Estimators
by: la Torre, Ilaria Pia, et al.
Published: (2025)

Uncovering Key Features for Model-Driven Engineering of Complex Performance Indicators: A Scoping Review
by: Giunta, Benito, et al.
Published: (2025)

Software Entropy: A Statistical Mechanics Framework for Software Testing
by: Fotinós, Jerónimo, et al.
Published: (2026)

Ambient-aware continuous aid for mountain rescue activities
by: Klimek, Radoslaw
Published: (2025)

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

Change Logging and Mining of Change Logs of Business Processes -- A Literature Review
by: Ghahderijani, Arash Yadegari, et al.
Published: (2025)

Constraint based Modeling according to Reference Design
by: Heiland, Erik, et al.
Published: (2024)

The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective
by: Medeiros, Marcos, et al.
Published: (2024)

A Novel Approach for Automated Design Information Mining from Issue Logs
by: Zhao, Jiuang, et al.
Published: (2024)

SBAN: A Framework & Multi-Dimensional Dataset for Large Language Model Pre-Training and Software Code Mining
by: Jelodar, Hamed, et al.
Published: (2025)

CROSS: A Contributor-Project Interaction Lifecycle Model for Open Source Software
by: Dey, Tapajit, et al.
Published: (2024)

ComplexityMeasures.jl: scalable software to unify and accelerate entropy and complexity timeseries analysis
by: Datseris, George, et al.
Published: (2024)

Code-Craft: Hierarchical Graph-Based Code Summarization for Enhanced Context Retrieval
by: Sounthiraraj, David, et al.
Published: (2025)

RepoShapley: Shapley-Enhanced Context Filtering for Repository-Level Code Completion
by: Huo, Yu, et al.
Published: (2026)

Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j
by: Yoshioka, Haruhiko, et al.
Published: (2025)

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

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

IOTEL: A Tool for Generating IoT-enriched Object-Centric Event Logs
by: Wei, Jia, et al.
Published: (2026)

Introducing Repository Stability
by: Destefanis, Giuseppe, et al.
Published: (2025)

Evidence Absence Is Not Evidence Insufficiency: Diagnosing NEI Construction Artifacts in Fact Verification
by: Qiu, Jingxi, et al.
Published: (2026)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
by: Abreu, Francisco, et al.
Published: (2025)

HELP: Hierarchical Embeddings-based Log Parsing
by: Xu, Andy, et al.
Published: (2024)

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
by: Eris, Halit, et al.
Published: (2025)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
by: Ganesha, et al.
Published: (2025)

DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions
by: Aufiero, Sabrina, et al.
Published: (2024)

Mining Temporal Attack Patterns from Cyberthreat Intelligence Reports
by: Rahman, Md Rayhanur, et al.
Published: (2024)

NLP-Based .NET CLR Event Logs Analyzer
by: Stavtsev, Maxim, et al.
Published: (2025)

A Process Mining-Based System For The Analysis and Prediction of Software Development Workflows
by: Dorado, Antía, et al.
Published: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
by: Hong, Chih-Duo, et al.
Published: (2025)

Integrating Log-Based Security Analytics in Agile Workflows: A Real-World Experience Report
by: Thool, Arpit, et al.
Published: (2026)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
by: Ishii, Daisuke
Published: (2024)

LogPTR: Variable-Aware Log Parsing with Pointer Network
by: Wu, Yifan, et al.
Published: (2024)

LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding
by: Shan, Shiwen, et al.
Published: (2026)

CelerLog: Fast Log Parsing via Dynamic Routing
by: Shan, Shiwen, et al.
Published: (2026)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
by: Przymus, Piotr, et al.
Published: (2025)

Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification
by: Jahan, Sigma, et al.
Published: (2025)