HIMPS: Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
Institute National University of Singapore Department Computer Science People Zhiqiang Zuo, Siau-Cheng Khoo, and Chengnian Sun; Email {zhiqiangzuo,specmine} 'at' comp.nus.edu.sg Contact (65) 651-61862
DESCRIPTION Predicated bug signature mining via hierarchical instrumentation (called HIMPS) is an efficient approach to discover predicated bug signatures from execution traces. HIMPS employs the novel hierarchical instrumentation technique to the predicated bug signature mining (MPS). It performs selective instrumentation so as to significantly enhance the efficiency of MPS.
Given a buggy program and a test suite containing both failing and passing test cases, HIMPS will finally return the top-k suspicious predicated bug signatures. These signatures are highly correlated to the failure and provide important clue for debugging.
REQUIREMENT
In order to run HIMPS, your system needs to have the following requirements. For more details, please refer to the following user manual.
- Java 1.6+
- sampler-cc
EXAMPLE USAGE
For example usage, please refer to our user manual.
DOWNLOAD
FREQUENTLY ASKED QUESTIONS
-
Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
Zhiqiang Zuo, Siau-Cheng Khoo and Chengnian Sun
In the 2014 International Symposium on Software Testing and Analysis (ISSTA'14), San Jose, CA, USA, July, 2014
[Abstract] [Text]
Last updated on 1st Nov, 2011.