Naveen Kumar, K. Rajasekhar, C. P. “Automatic Generation of Coverage Tests for System Programs”. International Journal of Engineering and Computer Science, vol. 5, no. 8, Jan. 2018, http://ijecs.in/index.php/ijecs/article/view/2293.