| |
Hybrid Based Approaches for Software Fault Localization and Specification Mining
Speaker (s): 
LE Bui Tien Duy
PhD Candidate
School of Information Systems
Singapore Management University |
Date:
Time:
Venue:
| | July 4, 2017, Tuesday
10:00 am - 11:00 am
Meeting Room 4.4, Level 4
School of Information Systems
Singapore Management University
80 Stamford Road
Singapore 178902
We look forward to seeing you at this research seminar. 
|
|
ABOUT THE TALK Debugging programs and writing formal specifications are essential but expensive processes to maintain quality and reliability of software systems. Developers often have to debug and create specifications manually, which take a lot of their time and effort. Recently, several automated solutions have been proposed to help developers alleviate the cost of manual labor in the two processes. In particular, fault localization techniques help developer debug by accepting textual information in bug reports or program spectra (i.e., a record of which program elements are executed for each test case). Their output is a ranked list of program elements that are likely to be faulty. Developers then inspect the ranked list from beginning of the ranked list until root causes of the fault are found. On the other hand, many systems have no or lack of high quality formal specifications. To deal with the issue, researchers have proposed techniques to automatically infer specifications in a variety of formalism, such as finite state automaton (FSA). The inferred specifications can be used for many manual software processes, including debugging. Unfortunately, to date, the efficacy of existing techniques in fault localization and specification mining are not perfect yet and more work is needed to employ the techniques to assist developers in debugging programs and writing formal specifications. In this dissertation, I propose a number of hybrid based approaches to improve the effectiveness of fault localization and specification mining. These hybrid based approaches combine the strength of different techniques and various sources of information to create more effective solutions. My goal is to lessen the high expense of debugging and writing formal specifications in order to enhance the productivity of developers and software quality. To achieve that goal, I propose AML and Savant, which are new fault (bug) localization techniques, as well as SpecForge and DSM, which are new specification mining algorithms. About the Speaker LE Bui Tien Duy is a PhD candidate at School of Information Systems, Singapore Management University. He joined SMU in 2012 and is advised by Associate Professor David Lo. In 2016, he completed an exchange program at Carnegie Mellon University under the supervision of Assistant Professor Claire Le Goues. His research directions focus on software fault localization and specification mining. |
