paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Using finite-state models for log differencing

使用有限状态模型进行日志差分
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10 · 该论文研究从执行日志中提取有限状态模型并进行日志差分,属于程序分析与测试调试领域,但与用户核心关注的 PL→AI(ML/Agent 程序的静态分析)、AI→PL(LLM 改进静态分析)、浮点程序分析或贝叶斯程序分析均无直接关联。其形式化建模与日志分析方向可能仅有边缘参考价值。引用 24 inbox
Hen Amar, Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz
crossref: 2026-09-12

AI 速览

一句话:提出使用有限状态模型对多个执行日志进行差分,以刻画不同运行集合之间的差异。

从运行系统日志中抽取模型已有大量研究,但在演化、测试或恶意软件分析等场景中,工程师通常需要比较来自不同运行集合的多个日志,而非仅分析单个日志;此时日志之间的差异才是关注目标。该论文提出使用有限状态模型进行日志差分,即通过为日志建立有限状态模型并比较模型来识别日志差异。给出的摘要仅阐述问题动机,未说明具体建模与差分算法、工具实现及实验评估,因此无法获知其精度、可扩展性或与既有方法的对比结果。该工作的核心价值在于将多日志差分问题置于有限状态模型比较框架下。

问题
如何比较来自不同运行集合的多个日志并识别其差异,而不仅是分析单个日志。
方法
使用有限状态模型表示日志,并通过模型比较/差分来刻画日志之间的差异。
评估
摘要未提供评估方式或实验结果;仅提及演化、测试和恶意软件分析等应用场景。
原文摘要(Abstract)

Much work has been published on extracting various kinds of models from logs that document the execution of running systems. In many cases, however, for example in the context of evolution, testing, or malware analysis, engineers are interested not only in a single log but in a set of several logs, each of which originated from a different set of runs of the system at hand. Then, the difference between the logs is the main target of interest.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4627,
  title = {Using finite-state models for log differencing},
  author = {Hen Amar and Lingfeng Bao and Nimrod Busany and David Lo and Shahar Maoz},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3236069}
}