Tafline Murnane Richard Hall Karl Reed Towards Describing Black-Box Testing Methods as Atomic Rules. 437-442 2005 conf/compsac/2005 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.157 db/conf/compsac/compsac2005-1.html#MurnaneHR05