“A Formal Software Testing Technique”, PJS, vol. 63, no. 4, Dec. 2011, doi: 10.57041/vol63iss4pp%p.