Scalable Parallelization of Specification Mining using Distributed Computing

• المؤلفون الرئيسيون: WANG, Shaowei, David LO, JIANG, Lingxiao, Maoz, Shahar, Budi, Aditya
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2015
• الموضوعات: Dynamic analysis; Execution profiles; Hadoop; MapReduce; Parallelization; Scalability; Specification mining; Computer Sciences; Databases and Information Systems; Numerical Analysis and Scientific Computing
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/2831

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