G. Geetha, M. M. B. G. R. Test Case Generation for Software Quality Assurance by Using PrT Nets. int. jour. eng. com. sci 2016, 5.