Tien-Duy B. Le

Deep specification mining

2018

Formal specifcations are essential but usually unavailable in software systems. Furthermore, writing these specifcations is costly and requires skills from developers. Recently, many automated techniques have been proposed to mine specifcations in various formats including …

RCLinker: Automated Linking of Issue Reports and Commits Leveraging Rich Contextual Information

2015

Links between issue reports and their corresponding commits in version control systems are often missing. However, these links are important for measuring the quality of various parts of a software system, predicting defects, and many …