FuzzNT : Checking for Program Non-termination. - Hrishikesh Karmarkar; Raveendra Kumar Medicherla; Ravindra Metta; Prasanth Yeduru (ICSME, 2022)

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). - Ravindra Metta; Prasanth Yeduru; Hrishikesh Karmarkar; Raveendra Kumar Medicherla (TACAS (2), 2023)