@article{art2293,
  title = {Automatic Generation of Coverage tests for System Programs},
  url = {https://mail.ijecs.in/index.php/ijecs/article/view/2293}
}