Items where authors include "Hierons, Robert M."

Article

Somers, Richard J. orcid.org/0000-0002-1101-9722, Douthwaite, James A., Wagg, David J. et al. (2 more authors) (2023) Digital-twin-based testing for cyber–physical systems: a systematic literature review. Information and Software Technology, 156. 107145. ISSN 0950-5849

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Hierons, Robert M. and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic. 24. ISSN 1529-3785

Clark, John Andrew orcid.org/0000-0002-9230-9739, Dan, Haitao and Hierons, Robert M. (2013) Semantic mutation testing. Science of Computer Programming. pp. 345-363. ISSN 0167-6423