Naveen Kumar, K. Rajasekhar, C. P. Automatic Generation of Coverage Tests for System Programs. int. jour. eng. com. sci 2018, 5.