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