Hierons, R. M.; Ural, H. Correction to “Reduced length checking sequences”. (English) Zbl 1368.68235 IEEE Trans. Comput. 58, No. 2, 287 (2009). MSC: 68Q45 94C12 PDFBibTeX XMLCite \textit{R. M. Hierons} and \textit{H. Ural}, IEEE Trans. Comput. 58, No. 2, 287 (2009; Zbl 1368.68235) Full Text: DOI
Ural, Hasan; Zhang, Fan Reducing the lengths of checking sequences by overlapping. (English) Zbl 1185.68099 Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 274-288 (2006). MSC: 68M15 68Q45 PDFBibTeX XMLCite \textit{H. Ural} and \textit{F. Zhang}, Lect. Notes Comput. Sci. 3964, 274--288 (2006; Zbl 1185.68099) Full Text: DOI
Chen, J.; Hierons, R. M.; Ural, H. Resolving observability problems in distributed test architectures. (English) Zbl 1169.68338 Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 219-232 (2005). MSC: 68M15 68M14 68Q45 PDFBibTeX XMLCite \textit{J. Chen} et al., Lect. Notes Comput. Sci. 3731, 219--232 (2005; Zbl 1169.68338) Full Text: DOI
Hierons, Robert M.; Ural, Hasan Reduced length checking sequences. (English) Zbl 1368.68236 IEEE Trans. Comput. 51, No. 9, 1111-1117 (2002); correction ibid. 58., No. 2, 287 (2009). MSC: 68Q45 94C12 PDFBibTeX XMLCite \textit{R. M. Hierons} and \textit{H. Ural}, IEEE Trans. Comput. 51, No. 9, 1111--1117 (2002; Zbl 1368.68236) Full Text: DOI
Ural, Hasan; Wu, Xiaolin; Zhang, Fan On minimizing the lengths of checking sequences. (English) Zbl 1368.68242 IEEE Trans. Comput. 46, No. 1, 93-99 (1997). MSC: 68Q45 94C12 PDFBibTeX XMLCite \textit{H. Ural} et al., IEEE Trans. Comput. 46, No. 1, 93--99 (1997; Zbl 1368.68242) Full Text: DOI