A Domain Specific Language for Testing Consensus Implementations. - Cezara Dragoi; Constantin Enea; Srinidhi Nagendra; Mandayam Srivas (CoRR, 2023)

A Domain Specific Language for Testing Distributed Protocol Implementations. - Cezara Dragoi; Srinidhi Nagendra; Mandayam Srivas (NETYS, 2024)

Model-guided Fuzzing of Distributed Systems. - Ege Berkay Gulcan; Burcu Kulahcioglu Ozkan; Rupak Majumdar; Srinidhi Nagendra (CoRR, 2024)

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems. - Andrea Borgarelli; Constantin Enea; Rupak Majumdar; Srinidhi Nagendra (Proc. ACM Program. Lang., 2024)

Optimal Concolic Dynamic Partial Order Reduction. - Mohammad Hossein Khoshechin Jorshari; Michalis Kokologiannakis; Rupak Majumdar; Srinidhi Nagendra (CONCUR, 2025)