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, Robert M.; Ipate, Florentin Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. (English) Zbl 1163.68327 Formal Asp. Comput. 20, No. 6, 597-617 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. M. Hierons} and \textit{F. Ipate}, Formal Asp. Comput. 20, No. 6, 597--617 (2008; Zbl 1163.68327) Full Text: DOI Link
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