Man Fai Lau Yuen-Tak Yu An extended fault class hierarchy for specification-based testing. 247-276 2005 14 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/1072997.1072998 db/journals/tosem/tosem14.html#LauY05