V. Pasupuleti

According to our database, V. Pasupuleti authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Mutation Testing Based Evaluation of Formal Verification Tools.

A. Chakrapani Rao, A. Raouf, Gunwant Dhadyalla, V. Pasupuleti

Proceedings of the International Conference on Dependable Systems and Their Applications, 2017