2018. Automatic Generation of Coverage tests for System Programs. International Journal of Engineering and Computer Science. 5, 8 (Jan. 2018).