Scalable Parallelization of Specification Mining using Distributed Computing

Scalable Parallelization of Specification Mining using Distributed Computing

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

Full description

Saved in:
Bibliographic Details
Main Authors: WANG, Shaowei, David LO, JIANG, Lingxiao, Maoz, Shahar, Budi, Aditya
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2015
Subjects:
Dynamic analysis
Execution profiles
Hadoop
MapReduce
Parallelization
Scalability
Specification mining
Computer Sciences
Databases and Information Systems
Numerical Analysis and Scientific Computing
Online Access:https://ink.library.smu.edu.sg/sis_research/2831
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/2831

Similar Items