Scalable Parallelization of Specification Mining Using Distributed Computing
Shaowei Wang*; David Lo*; Lingxiao Jiang*; Shahar Maoz†; Aditya Budi‡ * School of Information Systems, Singapore Management University, Singapore† School of Computer Science, Tel Aviv University, Tel Aviv, Israel‡ School of Information Systems, BINUS University, Jakarta, Indonesia
Abstract
Mining specifications from logs of execution traces has attracted much research effort in recent years since the mined specifications, such as program invariants, temporal rules, association patterns, or various behavioral models, may be used to improve program documentation, comprehension, and verification. At the same time, a major challenge faced by most specification ...
Get The Art and Science of Analyzing Software Data now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.