Automatic Programming and Program Repair

AutoCodeRover: Autonomous Program Improvement ( Paper ) 

Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury

ACM/International Symposium on Software Testing and Analysis (ISSTA) 2024.

SpecRover: Code Intent Extraction via LLMs ( PDF ) 

Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury

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

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.

Automated Program Repair ( Paper)

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.

AFLNet: a greybox fuzzer for network protocols (PDF)

Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury

IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) 2020.