Inter-Paradigm Translation of Process Models using Simulation and Mining

从流程日志中挖掘逻辑：迈向自动化规约与验证

Logic Mining from Process Logs: Towards Automated Specification and Verification

本文提出结合基于模式转换与自动化推理，从工作流挖掘得到的流程模型生成逻辑规约，并在通用及真实日志上评估噪声影响与多种逻辑性质。

SBAN：面向大型语言模型预训练与软件代码挖掘的框架与多维数据集

SBAN: A Framework & Multi-Dimensional Dataset for Large Language Model Pre-Training and Software Code Mining

本文提出SBAN多维数据集（含超300万样本，覆盖二进制、汇编、自然语言和源代码），用于LLM预训练与软件代码挖掘，支持跨表示学习、恶意软件检测等任务。

PMSD: Data-Driven Simulation Using System Dynamics and Process Mining

Process mining extends far beyond process discovery and conformance checking, and also provides techniques for bottleneck analysis and organizational mining. However, these techniques are mostly backward-looking. PMSD is a web application tool that supports forward-looking simulation techniques. It transforms the event data and process mining results into a simulation model which can be executed and validated. PMSD includes log transformation, time window selection, relation detection, interactive model generation, simulating and validating the models in the form of system dynamics, i.e., a te…

Combining Text Mining and Visualization Techniques to Study Teams' Behavioral Processes

There is growing interest in mining software repository data to understand, and predict, various aspects of team processes. In particular, text mining and natural-language processing (NLP) techniques have supported such efforts. Visualization may also supplement text mining to reveal unique multi-dimensional insights into software teams' behavioral processes. We demonstrate the utility of combining these approaches in this study. Future application of these methods to the study of teams' behavioral processes offers promise for both research and practice.

Enabling Open-World Specification Mining via Unsupervised Learning

Many programming tasks require using both domain-specific code and well-established patterns (such as routines concerned with file IO). Together, several small patterns combine to create complex interactions. This compounding effect, mixed with domain-specific idiosyncrasies, creates a challenging environment for fully automatic specification inference. Mining specifications in this environment, without the aid of rule templates, user-directed feedback, or predefined API surfaces, is a major challenge. We call this challenge Open-World Specification Mining. In this paper, we present a framewor…