FuzzNT : Checking for Program Non-termination

Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru. FuzzNT : Checking for Program Non-termination. In IEEE International Conference on Software Maintenance and Evolution, ICSME 2022, Limassol, Cyprus, October 3-7, 2022. pages 409-413, IEEE, 2022. [doi]

Authors

Hrishikesh Karmarkar

This author has not been identified. Look up 'Hrishikesh Karmarkar' in Google

Raveendra Kumar Medicherla

This author has not been identified. Look up 'Raveendra Kumar Medicherla' in Google

Ravindra Metta

This author has not been identified. Look up 'Ravindra Metta' in Google

Prasanth Yeduru

This author has not been identified. Look up 'Prasanth Yeduru' in Google