Prasad Bokil

According to our database, Prasad Bokil authored at least 7 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

TIC: a scalable model checking based approach to WCET estimation.

Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh

Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

2015

Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques.

Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh

ACM SIGSOFT Softw. Eng. Notes, 2015

On implementational variations in static analysis tools.

Tukaram Muske, Prasad Bokil

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

2012

Effectiveness of Random Testing of Embedded Systems.

Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, P. Vijay Suman

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2010

Masking Boundary Value Coverage: Effectiveness and Efficiency.

P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh

Proceedings of the Testing, 2010

2009

Automatic Test Data Generation for C Programs.

Prasad Bokil, Priyanka Darke, Ulka Shrotri, R. Venkatesh

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2008

STATEMATE to SCADE model translation.

R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008