A Formal Software Testing Technique. PJS. 2011;63(4). doi:10.57041/vol63iss4pp%p