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]
@inproceedings{KarmarkarMMY22,
title = {FuzzNT : Checking for Program Non-termination},
author = {Hrishikesh Karmarkar and Raveendra Kumar Medicherla and Ravindra Metta and Prasanth Yeduru},
year = {2022},
doi = {10.1109/ICSME55016.2022.00049},
url = {https://doi.org/10.1109/ICSME55016.2022.00049},
researchr = {https://researchr.org/publication/KarmarkarMMY22},
cites = {0},
citedby = {0},
pages = {409-413},
booktitle = {IEEE International Conference on Software Maintenance and Evolution, ICSME 2022, Limassol, Cyprus, October 3-7, 2022},
publisher = {IEEE},
isbn = {978-1-6654-7956-1},
}