Are Automated Debugging Techniques Actually Helping Programmers
Kernel Debugging Tutorial
Synergy of Human and Artificial Intelligence in Software Engineering
SherLog: Error Diagnosis by Connecting Clues from Run-time Logs
SCAM 2012 Keynote Slides on Cooperative Testing and Analysis by Tao Xie
Software Engineering Research: Leading a Double-Agent Life.
Penumbra: Automatically Identifying Failure-Relevant Inputs (ISSTA 2009)
Ongoing projects in the Program Analysis Group Marcelo d’Amorim Informatics Center, Federal University of Pernambuco (UFPE) Belo Horizonte, MG-Brazil,
Automatic Program Correction Anton Akhi Friday, July 08, 2011.
1 Identifying Bug Signatures Using Discriminative Graph Mining Hong Cheng 1, David Lo 2, Yang Zhou 1, Xiaoyin Wang 3, and Xifeng Yan 4 1 Chinese University.
SOFTWARE-BUG LOCALIZATION WITH GRAPH MINING
Automatic Diagnosis and Response to Memory Corruption Vulnerabilities Authors: Jun Xu, Peng Ning, Chongkyung Kil, Yan Zhai, Chris Bookholt In ACM CCS’05.