Selected Publications


 

Program Repair

 

SemFix: Program Repair via Semantic Analysis ( PDF

Hoang D.T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra

ACM/IEEE International Conference on Software Engineering (ICSE) 2013.

 

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis ( PDF )

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering (ICSE) 2016.

 

DirectFix: Looking for Simple Program Repairs ( PDF )

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering (ICSE) 2015.

 

Automated Program Repair ( PDF)

Claire Le Goues, Michael Pradel, Abhik Roychoudhury

Communications of the ACM (CACM), December 2019.

 


 

Fuzz Testing

 

Coverage-based Greybox Fuzzing as Markov Chain ( PDF )

Marcel Böhme, Van Thuan Pham, Abhik Roychoudhury

23rd ACM Conference on Computer and Communications Security (CCS) 2016.

 

Directed Greybox Fuzzing ( PDF )

Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury

24th ACM Conference on Computer and Communications Security (CCS) 2017.

 

Smart Greybox Fuzzing  (PDF,   Sample News 1 Sample News 2 )

Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury

IEEE Transactions on Software Engineering, 47(9), pages 1980-1997, Sep 2021.

 


 

Other works on Software Testing and Analysis

 

Detecting Energy Bugs and Hotspots in Mobile apps ( PDF )

Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, Abhik Roychoudhury

ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2014.

Chronos: A Timing Analyzer for Embedded Software ( PDF )
Xianfeng Li, Yun Liang, Tulika Mitra and Abhik Roychoudhury
Science of Computer Programming, Volume 69, December 2007.