Prasanth Yeduru

According to our database, Prasanth Yeduru authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).

Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

FuzzNT : Checking for Program Non-termination.

Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022