Gazda, Maciej; Hierons, Robert M. Removing redundant refusals: minimal complete test suites for failure trace semantics. (English) Zbl 1506.68059 Inf. Comput. 291, Article ID 105009, 26 p. (2023). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{M. Gazda} and \textit{R. M. Hierons}, Inf. Comput. 291, Article ID 105009, 26 p. (2023; Zbl 1506.68059) Full Text: DOI
Hierons, Robert M.; Mousavi, Mohammad Reza; Thomsen, Michael Kirkedal; Türker, Uraz Cengiz Hardness of deriving invertible sequences from finite state machines. (English) Zbl 1444.68076 Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 147-160 (2017). MSC: 68Q17 68Q45 PDFBibTeX XMLCite \textit{R. M. Hierons} et al., Lect. Notes Comput. Sci. 10139, 147--160 (2017; Zbl 1444.68076) Full Text: DOI
Türker, Uraz Cengiz; Yenigün, Hüsnü Complexities of some problems related to synchronizing, non-synchronizing and monotonic automata. (English) Zbl 1312.68125 Int. J. Found. Comput. Sci. 26, No. 1, 99-121 (2015). MSC: 68Q45 68Q17 68Q25 PDFBibTeX XMLCite \textit{U. C. Türker} and \textit{H. Yenigün}, Int. J. Found. Comput. Sci. 26, No. 1, 99--121 (2015; Zbl 1312.68125) Full Text: DOI
Türker, Uraz Cengiz; Yenigün, Hüsnü Hardness and inapproximability of minimizing adaptive distinguishing sequences. (English) Zbl 1317.68125 Form. Methods Syst. Des. 44, No. 3, 264-294 (2014). MSC: 68Q60 68Q25 68Q45 PDFBibTeX XMLCite \textit{U. C. Türker} and \textit{H. Yenigün}, Form. Methods Syst. Des. 44, No. 3, 264--294 (2014; Zbl 1317.68125) Full Text: DOI
Bonifacio, Adilson Luiz; Moura, Arnaldo Vieira; Simao, Adenilso Model partitions and compact test case suites. (English) Zbl 1246.68070 Int. J. Found. Comput. Sci. 23, No. 1, 147-172 (2012). MSC: 68M15 68M99 68Q45 PDFBibTeX XMLCite \textit{A. L. Bonifacio} et al., Int. J. Found. Comput. Sci. 23, No. 1, 147--172 (2012; Zbl 1246.68070) Full Text: DOI
Jourdan, Guy-Vincent; Ural, Hasan; Yenigün, Hüsnü; Zhang, Ji Chao Lower bounds on lengths of checking sequences. (English) Zbl 1214.68216 Formal Asp. Comput. 22, No. 6, 667-679 (2010). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{G.-V. Jourdan} et al., Formal Asp. Comput. 22, No. 6, 667--679 (2010; Zbl 1214.68216) Full Text: DOI
Hierons, Robert M. Checking experiments for stream X-machines. (English) Zbl 1214.68215 Theor. Comput. Sci. 411, No. 37, 3372-3385 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. M. Hierons}, Theor. Comput. Sci. 411, No. 37, 3372--3385 (2010; Zbl 1214.68215) Full Text: DOI
Hierons, R. M.; Ural, H. Checking sequences for distributed test architectures. (English) Zbl 1267.68067 Distrib. Comput. 21, No. 3, 223-238 (2008). MSC: 68M15 68W15 PDFBibTeX XMLCite \textit{R. M. Hierons} and \textit{H. Ural}, Distrib. Comput. 21, No. 3, 223--238 (2008; Zbl 1267.68067) Full Text: DOI Link
Jourdan, Guy-Vincent; Ural, Hasan; Yenigün, Hüsnü Minimizing coordination channels in distributed testing. (English) Zbl 1225.68042 Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 451-466 (2006). MSC: 68M14 68M15 PDFBibTeX XMLCite \textit{G.-V. Jourdan} et al., Lect. Notes Comput. Sci. 4229, 451--466 (2006; Zbl 1225.68042) Full Text: DOI
Hierons, R. M.; Harman, M. Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. (English) Zbl 1078.68084 Theor. Comput. Sci. 323, No. 1-3, 191-233 (2004). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{R. M. Hierons} and \textit{M. Harman}, Theor. Comput. Sci. 323, No. 1--3, 191--233 (2004; Zbl 1078.68084) Full Text: DOI