Login / Signup
Prasanth Yeduru
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Java Programs
Static Analysis
Test Cases
Type Checking
Top Venues
TACAS (2)
ICSME
</>
Publications
</>
Ravindra Metta
,
Prasanth Yeduru
,
Hrishikesh Karmarkar
,
Raveendra Kumar Medicherla
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).
TACAS (2)
(2023)
Hrishikesh Karmarkar
,
Raveendra Kumar Medicherla
,
Ravindra Metta
,
Prasanth Yeduru
FuzzNT : Checking for Program Non-termination.
ICSME
(2022)