Items where authors include "Hierons, R."

Article

Núñez, M., Hierons, R. orcid.org/0000-0002-4771-1446 and Lefticaru, R. (2023) Implementation relations and testing for cyclic systems: adding probabilities. Robotics and Autonomous Systems, 165. 104426. ISSN 0921-8890

Walkinshaw, N. and Hierons, R. orcid.org/0000-0002-4771-1446 (2023) Modelling second-order uncertainty in state machines. IEEE Transactions on Software Engineering, 49 (5). pp. 3261-3276. ISSN 0098-5589

Baxter, J., Cavalcanti, A., Gazda, M. et al. (1 more author) (2023) Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic, 24 (2). 17. ISSN 1529-3785

Gazda, M. and Hierons, R. orcid.org/0000-0002-4771-1446 (2023) Removing redundant refusals: minimal complete test suites for failure trace semantics. Information and Computation, 291. 105009. ISSN 0890-5401

Mousavi, M.R. orcid.org/0000-0002-4869-6794, Cavalcanti, A., Fisher, M. orcid.org/0000-0002-0875-3862 et al. (8 more authors) (2023) Trustworthy Autonomous Systems Through Verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Mousavi, M.R., Cavalcanti, A., Fisher, M. et al. (8 more authors) (2023) Trustworthy autonomous systems through verifiability. Computer, 56 (2). pp. 40-47. ISSN 0018-9162

Patel, K., Hierons, R. orcid.org/0000-0002-4771-1446 and Clark, D. (2022) An information theoretic notion of software testability. Information and Software Technology, 143. 106759. ISSN 0950-5849

Turker, U.C., Hierons, R. orcid.org/0000-0002-4771-1446 and Jourdan, G.-V. (2021) Minimizing characterizing sets. Science of Computer Programming, 208. 102645. ISSN 0167-6423

Clark, A., Walkinshaw, N. and Hierons, R. orcid.org/0000-0002-4771-1446 (2021) Test case generation for agent-based models : a systematic literature review. Information and Software Technology, 135. 106567. ISSN 0950-5849

El-Fakih, K., Hierons, R. orcid.org/0000-0002-4771-1446 and Turker, U.C. (2021) K-branching UIO sequences for partially specified observable non-deterministic FSMs. IEEE Transactions on Software Engineering, 47 (5). pp. 1029-1040. ISSN 0098-5589

Nunez, A., Canizares, P., Nunez, M. et al. (1 more author) (2021) TEA-Cloud: A formal framework for testing cloud computing system. IEEE Transactions on Reliability, 70 (1). pp. 261-284. ISSN 0018-9529

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2020) Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 170. 110738. ISSN 0164-1212

Lima, B., Faria, J.P. and Hierons, R. orcid.org/0000-0002-4771-1446 (2020) Local observability and controllability analysis and enforcement in distributed testing with time constraints. IEEE Access, 8. pp. 167172-167191. ISSN 2169-3536

Hierons, R. orcid.org/0000-0002-4771-1446, Li, M., Liu, X. et al. (3 more authors) (2020) Many-objective test suite generation for software product lines. ACM Transactions on Software Engineering and Methodology, 29 (1). 2. ISSN 1049-331X

Clark, D., Hierons, R. orcid.org/0000-0002-4771-1446 and Patel, K. (2019) Normalised squeeziness and failed error propagation. Information Processing Letters, 149. pp. 6-9. ISSN 0020-0190

Alberto, I., Hierons, R. orcid.org/0000-0002-4771-1446 and Manuel, N. (2019) Using Squeeziness to test component-based systems defined as Finite State Machines. Information and Software Technology, 112. pp. 132-147. ISSN 0950-5849

Hierons, R. orcid.org/0000-0002-4771-1446 (2019) FSM quasi-equivalence testing via reduction and observing absence. Science of Computer Programming, 177. pp. 1-18. ISSN 0167-6423

Proceedings Paper

Foster, M. orcid.org/0000-0001-8233-9873, Wild, C., Hierons, R. et al. (1 more author) (2023) Causal test adequacy. In: 2024 IEEE Conference on Software Testing, Verification and Validation (ICST). 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024, 27-31 May 2024, Toronto, Canada. Institute of Electrical and Electronics Engineers (IEEE) . (In Press)

Sachtleben, R., Hierons, R. orcid.org/0000-0002-4771-1446, Huang, W.-L. et al. (1 more author) (2019) A mechanised proof of an adaptive state counting algorithm. In: Gaston, C., Kosmatov, N. and Le Gall, P., (eds.) ICTSS 2019 : Testing Software and Systems. The 31st IFIP International Conference on Testing Software and Systems (IFIP-ICTSS 2019), 15-17 Oct 2019, Paris, France. Lecture Notes in Computer Science (11812). Springer , pp. 176-193. ISBN 9783030312794

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2019) An implementation relation for cyclic systems with refusals and discrete time. In: Ölveczky, P.C. and Salaün, G., (eds.) Proceedings of of 17th International Conference on Software Engineering and Formal Methods. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), 16-20 Sep 2019, Oslo, Norway. Lecture Notes in Computer Science (11724). Springer , pp. 393-409. ISBN 9783030304454