Using Daikon to Prioritize and Group Unit Bugs. - Nehul Jain; Saikat Dutta 001; Ansuman Banerjee; Anil Kumar Ghosh 001; Lihua Xu; Huibiao Zhu (FACS, 2013)

Non-deterministic asynchronous automata games and their undecidability. - Bharat Adsul; Nehul Jain (CoRR, 2024)

Asynchronous Transition System Games for Two Processes and Their Analysis. - Bharat Adsul; Nehul Jain (ICLA, 2025)