O'Reilly logo

The Art and Science of Analyzing Software Data by Thomas Zimmermann, Tim Menzies, Christian Bird

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 21

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required