Fuzz Testing

Recent Publications

Large Language Model guided Protocol Fuzzing
Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury
31st Annual Network and Distributed System Security Symposium (NDSS), 2024.

Greybox Fuzzing of Distributed Systems
Ruijie Meng, George Pirlea, Abhik Roychoudhury, Ilya Sergey
30th ACM Conference on Computer and Communications Security (CCS), 2023.

Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations
Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun
Usenix Security Symposium, 2023.

Testing Database Engines via Query Plan Guidance
Jinsheng Ba, Manuel Rigger
IEEE/ACM International Conference on Software Engineering (ICSE), 2023

Finding bugs in database systems via query partitioning
Manuel Rigger, Zhendong Su
Proceedings of the ACM on Programming Languages (OOPSLA), 2020.

Finding Performance Issues in Database Engines via Cardinality Estimation Testing
Jinsheng Ba, Manuel Rigger
arxiv, Posted 2023.

---

Key Works

Coverage-based Greybox Fuzzing as Markov Chain
Marcel Böhme, Van Thuan Pham, Abhik Roychoudhury
23rd ACM Conference on Computer and Communications Security (CCS), 2016.

Directed Greybox Fuzzing
Marcel Böhme, Van Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury
24th ACM Conference on Computer and Communications Security (CCS), 2017.

Smart Greybox Fuzzing    
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
IEEE Transactions on Software Engineering (TSE), 47(9), 2021.

Linear-time Temporal Logic guided Greybox Fuzzing
Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022.

Fuzzing: Challenges and Reflections
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
IEEE Software, 38(3), 2021.