Tatsuhiro Tsuchiya Tohru Kikuno On fault classes and error detection capability of specification-based testing. 58-62 2002 11 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/504087.504089 db/journals/tosem/tosem11.html#TsuchiyaK02