Automatic Test Bench Generation and Connection in Modern Verification Environments: Methodology and Tool. - Rohit Srivastava; Gaurav Gupta; Sarvesh Patankar; Nandini Mudgil (VDAT, 2013)

Hybrid Methodology for Verification of SW Safety Mechanisms. - Sarvesh Patankar; Sainath Karlapalem; Sakshi Biyani; Wen Chen 016; Roman Chovanec; Martin Vlk; Martin Kaspar (VTS, 2021)