Fuzz Testing
Recent Publications
Finding Performance Issues in Database Engines via Cardinality Estimation Testing
Jinsheng Ba, Manuel Rigger
Proceedings of the 46th International Conference on Software Engineering 2024, Lisbon, Portugal
Optimistic Prediction of Synchronization-Reversal Data Races
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Proceedings of the 46th International Conference on Software Engineering, Lisbon, Portugal
Greybox Fuzzing for Concurrency Testing
Dylan Wolff, Shi Zheng, Gregory Duck, Umang Mathur, Abhik Roychoudhury
29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2024.
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
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.
Finding bugs in database systems via query partitioning
Manuel Rigger, Zhendong Su
Proceedings of the ACM on Programming Languages (OOPSLA), 2020.
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.
Fuzzing: Challenges and Reflections
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
IEEE Software, 38(3), 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.