今天找到了一篇比较不错的论文，使用有限状态机进行并行程序日志处理，在做ppt之余准备好好研读一下。
这篇论文名叫《Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight》。14年
发表在ICSE上面的论文。今天主要读了摘要，文章主要开发了CSight，以有限状态机模型为基础实现了可以推断系统行为的
简明而准确的模型，仅仅要求日志含有向量时间戳。
后面的内容准备周末读完。
今天找到了一篇比较不错的论文，使用有限状态机进行并行程序日志处理，在做ppt之余准备好好研读一下。
这篇论文名叫《Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight》。14年
发表在ICSE上面的论文。今天主要读了摘要，文章主要开发了CSight，以有限状态机模型为基础实现了可以推断系统行为的
简明而准确的模型，仅仅要求日志含有向量时间戳。
后面的内容准备周末读完。
