@article{art3480,
  title = {Test Case Generation for Software Quality Assurance by Using PrT Nets},
  url = {https://ijecs.in/index.php/ijecs/article/view/3480}
}