Prasad Bokil

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Abstract Interpretation

Reactive Systems

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
TIC: a scalable model checking based approach to WCET estimation. LCTES (2016)
Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Tukaram Muske, Prasad Bokil
On implementational variations in static analysis tools. SANER (2015)
Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, P. Vijay Suman
Effectiveness of Random Testing of Embedded Systems. HICSS (2012)
P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh
Masking Boundary Value Coverage: Effectiveness and Efficiency. TAIC PART (2010)
Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh
Automatic Test Data Generation for C Programs. SSIRI (2009)
R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil
STATEMATE to SCADE model translation. ISEC (2008)