STATEMATE to SCADE model translation. - R. Venky; Ulka Shrotri; Aniket Kulkarni; Prasad Bokil (ISEC, 2008)

Automatic Test Data Generation for C Programs. - Prasad Bokil; Priyanka Darke; Ulka Shrotri; R. Venkatesh 001 (SSIRI, 2009)

Masking Boundary Value Coverage: Effectiveness and Efficiency. - P. Vijay Suman; Tukaram Muske; Prasad Bokil; Ulka Shrotri; R. Venkatesh 001 (TAIC PART, 2010)

Effectiveness of Random Testing of Embedded Systems. - Padmanabhan Krishnan; R. Venkatesh 001; Prasad Bokil; Tukaram Muske; P. Vijay Suman (HICSS, 2012)

On implementational variations in static analysis tools. - Tukaram Muske; Prasad Bokil (SANER, 2015)

Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. - Prasad Bokil; Padmanabhan Krishnan; R. Venkatesh 001 (ACM SIGSOFT Softw. Eng. Notes, 2015)

TIC: a scalable model checking based approach to WCET estimation. - Ravindra Metta; Martin Becker 001; Prasad Bokil; Samarjit Chakraborty; R. Venkatesh 001 (LCTES, 2016)

Knowledge Representation Schema of the Gameplay. - Madhuri Sasupilli; Prasad Bokil (DiGRA, 2023)

Error 409: The Portable Phygital Game Based on Binary to Decimal Number Conversion. - Vijayanand Banahatti; Yash Karanjavkar; Hayat Tamboli; Deekshaa Nim; Prasad Bokil (CHI PLAY (Companion), 2024)