Items where authors include "Hierons, R.M."

Article

Turker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, El-Fakih, K. et al. (2 more authors) (2024) Accelerating finite state machine-based testing using reinforcement learning. IEEE Transactions on Software Engineering. ISSN 0098-5589

Clark, A.G., Foster, M., Prifling, B. et al. (4 more authors) (2023) Testing causality in scientific modelling software. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X

Turker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, Barlas, G. et al. (1 more author) (2023) Incomplete adaptive distinguishing sequences for non-deterministic FSMs. IEEE Transactions on Software Engineering. ISSN 0098-5589

Ibias, A., Nunez, M. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2021) Using mutual information to test from finite state machines: test suite selection. Information and Software Technology, 132. 106498. ISSN 0950-5849

Hierons, R.M. orcid.org/0000-0002-4771-1446 and Xie, T. (2020) On automation in software engineering. Software Testing, Verification and Reliability, 30 (6). e1753. ISSN 0960-0833

Cavalcanti, A., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic, 21 (3). 24. ISSN 1529-3785

Patel, K. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2019) A partial oracle for uniformity statistics. Software Quality Journal, 27 (4). pp. 1419-1447. ISSN 0963-9314

Patel, K. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2018) A mapping study on testing non-testable systems. Software Quality Journal , 26 (4). pp. 1373-1413. ISSN 0963-9314

Merayo, M.G., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nunez, M. (2018) A tool supported methodology to passively test asynchronous systems with multiple users. Information and Software Technology, 104. pp. 162-178. ISSN 0950-5849

Merayo, M.G., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nunez, M. (2018) Passive testing with asynchronous communications and timestamps. Distributed Computing, 31 (5). pp. 327-342. ISSN 0178-2770

Hierons, R.M. orcid.org/0000-0002-4771-1446, Merayo, M.G. and Nunez, M. (2018) Bounded reordering in the distributed test architecture. IEEE Transactions on Reliability, 67 (2). pp. 522-537. ISSN 0018-9529

Hierons, R.M. orcid.org/0000-0002-4771-1446 (2017) Testing from partial finite state machines without harmonised traces. IEEE Transactions on Software Engineering, 43 (11). pp. 1033-1043. ISSN 0098-5589

Hierons, R.M. orcid.org/0000-0002-4771-1446 and Turker, U.C. (2016) Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences. IEEE Transactions on Software Engineering, 42 (11). pp. 1077-1091. ISSN 0098-5589

Hierons, R.M. orcid.org/0000-0002-4771-1446, Li, M., Liu, X. et al. (2 more authors) (2016) SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. ACM Transactions on Software Engineering and Methodology, 25 (2). 17. ISSN 1049-331X

Derderian, K., Hierons, R.M. orcid.org/0000-0002-4771-1446, Harman, M. et al. (1 more author) (2010) Estimating the feasibility of transition paths in extended finite state machines. Automated Software Engineering, 17. 1. pp. 33-56. ISSN 0928-8910

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300

Proceedings Paper

Clark, A.G., Foster, M., Walkinshaw, N. et al. (1 more author) (2023) Metamorphic testing with causal graphs. In: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), 16-20 Apr 2023, Dublin, Ireland. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 9781665456678

Somers, R.J., Clark, A.G., Walkinshaw, N. et al. (1 more author) (2022) Reliable counterparts : efficiently testing causal relationships in digital twins. In: MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, 23-28 Oct 2022, Montreal, Quebec, Canada. Association for Computing Machinery , pp. 468-472. ISBN 9781450394673

Gazda, M. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2021) Removing redundant refusals: minimal complete test suites for failure trace semantics. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Proceedings of the 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 Jun - 02 Jul 2021, Rome, Italy. IEEE . ISBN 9781665448963

Chen, Z., Chen, Y., Hierons, R.M. orcid.org/0000-0002-4771-1446 et al. (1 more author) (2020) Four-valued monitorability of ω-regular languages. In: Lin, S.-W., Hou, Z. and Mahoney, B., (eds.) Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), 01-03 Mar 2021, Singapore. Lecture Notes in Computer Science (12531). Springer International Publishing , pp. 198-214. ISBN 9783030634056

Türker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, Mousavi, M.R. et al. (1 more author) (2020) Efficient state synchronisation in model-based testing through reinforcement learning. In: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE2021). 36th IEEE/ACM International Conference on Automated Software Engineering (ASE2021), 15-19 Nov 2021, Melbourne, Australia. IEEE (Institute of Electrical and Electronics Engineers) , pp. 368-380. ISBN 978-1-6654-0337-5

Cavalcanti, A., Baxter, J., Hierons, R.M. orcid.org/0000-0002-4771-1446 et al. (1 more author) (2019) Testing robots using CSP. In: Beyer, D. and Keller, C., (eds.) 13th International Conference on Tests and Proofs (TAP 2019). 13th International Conference on Tests and Proofs, 09-11 Oct 2019, Porto, Portugal. Lecture Notes in Computer Science, 11823 . Springer , pp. 21-38. ISBN 9783030311568