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