Robert M. Hierons

ORCID

Publication Activity (10 Years)

Years Active: 1996-2025
Publications (10 Years): 97

Top Venues

Softw. Test. Verification Reliab.

CoRR

Inf. Softw. Technol.

IEEE Trans. Software Eng.

Brunel University London, UK (PHD)

Education History

Brunel University London, UK

PHD

Publications

Maciej Gazda, Robert M. Hierons
Model independent refusal trace testing. Sci. Comput. Program. 239 (2025)
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
Testing Causality in Scientific Modelling Software. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. CoRR (2024)
Islam T. Elgendy, Robert M. Hierons, Phil McMinn
Evaluating String Distance Metrics for Reducing Automatically Generated Test Suites. AST@ICSE (2024)
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. IEEE Trans. Software Eng. 50 (3) (2024)
Uraz Cengiz Türker, Robert M. Hierons, Gerassimos D. Barlas, Khaled El-Fakih
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs. IEEE Trans. Software Eng. 49 (9) (2023)
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock
Trustworthy Autonomous Systems Through Verifiability. Computer 56 (2) (2023)
Neil Walkinshaw, Robert M. Hierons
Modelling Second-Order Uncertainty in State Machines. IEEE Trans. Software Eng. 49 (5) (2023)
Ana Cavalcanti, Robert M. Hierons
Challenges in testing of cyclic systems. ICECCS (2023)
James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24 (2) (2023)
Islam T. Elgendy, Robert M. Hierons, Phil McMinn
A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing. CoRR (2023)
Manuel Núñez, Robert M. Hierons, Raluca Lefticaru
Implementation relations and testing for cyclic systems: Adding probabilities. Robotics Auton. Syst. 165 (2023)
Maciej Gazda, Robert M. Hierons
Removing redundant refusals: Minimal complete test suites for failure trace semantics. Inf. Comput. 291 (2023)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products (2023)
Richard J. Somers, James A. Douthwaite, David J. Wagg, Neil Walkinshaw, Robert M. Hierons
Digital-twin-based testing for cyber-physical systems: A systematic literature review. Inf. Softw. Technol. 156 (2023)
Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons
Metamorphic Testing with Causal Graphs. ICST (2023)
Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
Reliable counterparts: efficiently testing causal relationships in digital twins. MoDELS (Companion) (2022)
Robert M. Hierons, Tao Xie
Combinatorial testing and model-based testing. Softw. Test. Verification Reliab. 32 (2) (2022)
Robert M. Hierons
Farewell after an 11-year journey as joint editor-in-chief. Softw. Test. Verification Reliab. 32 (4) (2022)
Krishna Patel, Robert M. Hierons, David Clark
An information theoretic notion of software testability. Inf. Softw. Technol. 143 (2022)
Robert M. Hierons, Tao Xie
Model checking, testing and debugging. Softw. Test. Verification Reliab. 32 (1) (2022)
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
Testing Causality in Scientific Modelling Software. CoRR (2022)
Robert M. Hierons, Tao Xie
Metamorphic testing and test automation. Softw. Test. Verification Reliab. 32 (3) (2022)
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Y. Tyukin
Efficient state synchronisation in model-based testing through reinforcement learning. ASE (2021)
Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
Test case generation for agent-based models: A systematic literature review. Inf. Softw. Technol. 135 (2021)
Maciej Gazda, Robert M. Hierons
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. LICS (2021)
Robert M. Hierons, Mohamed Mosbah
Preface. Theor. Comput. Sci. 880 (2021)
Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
Test case generation for agent-based models: A systematic literature review. CoRR (2021)
Robert M. Hierons, Tao Xie
Property generation/verification and empirical studies. Softw. Test. Verification Reliab. 31 (8) (2021)
Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. IEEE Trans. Reliab. 70 (1) (2021)
Uraz Cengiz Türker, Robert M. Hierons, Guy-Vincent Jourdan
Minimizing Characterizing sets. Sci. Comput. Program. 208 (2021)
Robert M. Hierons, Tao Xie
Adaptive or embedded software testing and mutation testing. Softw. Test. Verification Reliab. 31 (7) (2021)
Steve Counsell, Robert M. Hierons, Krishna Patel
Are 20% of Classes Responsible for 80% of Refactorings? SEAA (2021)
Robert M. Hierons, Tao Xie
Editorial: Testing, Debugging, and Defect Prediction. Softw. Test. Verification Reliab. 31 (5) (2021)
Robert M. Hierons, Tao Xie
Editorial: Verification, reliability and performance. Softw. Test. Verification Reliab. 31 (6) (2021)
Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. IEEE Trans. Software Eng. 47 (5) (2021)
Alfredo Ibias, Manuel Núñez, Robert M. Hierons
Using mutual information to test from Finite State Machines: Test suite selection. Inf. Softw. Technol. 132 (2021)
Robert M. Hierons, Tao Xie
Working Across Boundaries. Softw. Test. Verification Reliab. 30 (3) (2020)
Bruno Lima, João Pascoal Faria, Robert M. Hierons
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints. IEEE Access 8 (2020)
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. 170 (2020)
Robert M. Hierons, Tao Xie
Conference Virtualization. Softw. Test. Verification Reliab. 30 (4-5) (2020)
Robert M. Hierons, Tao Xie
On automation in software engineering. Softw. Test. Verification Reliab. 30 (6) (2020)
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020)
Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu
Four-Valued Monitorability of ømega-Regular Languages. ICFEM (2020)
Robert M. Hierons, Tao Xie
Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Robert M. Hierons, Miqing Li, Xiaohui Liu, José Antonio Parejo, Sergio Segura, Xin Yao
Many-Objective Test Suite Generation for Software Product Lines. ACM Trans. Softw. Eng. Methodol. 29 (1) (2020)
Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu
Four-valued monitorability of ω-regular languages. CoRR (2020)
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira
Inputs and Outputs in CSP: A Model and a Testing Theory. ACM Trans. Comput. Log. 21 (3) (2020)
Bruno Lima, João Pascoal Faria, Robert M. Hierons
Local Observability and Controllability Enforcement in Distributed Testing. QUATIC (2019)
Alfredo Ibias, Robert M. Hierons, Manuel Núñez
Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol. 112 (2019)
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
Testing Robots Using CSP. TAP@FM (2019)
Robert M. Hierons
The world changes. Softw. Test. Verification Reliab. 29 (6-7) (2019)
Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
A Mechanised Proof of an Adaptive State Counting Algorithm. ICTSS (2019)
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM (2019)
Robert M. Hierons
FSM quasi-equivalence testing via reduction and observing absences. Sci. Comput. Program. 177 (2019)
Krishna Patel, Robert M. Hierons
A partial oracle for uniformity statistics. Softw. Qual. J. 27 (4) (2019)
David Clark, Robert M. Hierons, Krishna Patel
Normalised Squeeziness and Failed Error Propagation. Inf. Process. Lett. 149 (2019)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67 (2) (2018)
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31 (5) (2018)
Krishna Patel, Robert M. Hierons
A mapping study on testing non-testable systems. Softw. Qual. J. 26 (4) (2018)
Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30 (6) (2018)
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104 (2018)
Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, Robert M. Hierons
Smart contracts vulnerabilities: a call for blockchain software engineering? IWBOSE@SANER (2018)
Brijesh Dongol, Robert M. Hierons
Decidability and complexity for quiescent consistency and its variations. Inf. Comput. 257 (2017)
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
Constraint-Based Oracles for Timed Distributed Systems. ICTSS (2017)
Robert M. Hierons, Uraz Cengiz Türker
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences. Comput. J. 60 (1) (2017)
Robert M. Hierons
How to manage a conference special issue. Softw. Test. Verification Reliab. 27 (3) (2017)
Robert M. Hierons
Testing from Partial Finite State Machines without Harmonised Traces. IEEE Trans. Software Eng. 43 (11) (2017)
Robert M. Hierons, Uraz Cengiz Türker
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs. ACM Trans. Softw. Eng. Methodol. 26 (1) (2017)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
On the computational complexity of dynamic slicing problems for program schemas. CoRR (2017)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas. CoRR (2017)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86 (1) (2017)
Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16 (1) (2017)
Robert M. Hierons, Manuel Núñez
Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. 132 (2017)
Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM (2017)
Christopher L. Robinson-Mallett, Robert M. Hierons
Integrating Graphical and Natural Language Specifications to Support Analysis and Testing. RE Workshops (2017)
Robert M. Hierons
Editorial. Softw. Test. Verification Reliab. 26 (6) (2016)
Robert M. Hierons, Uraz Cengiz Türker
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences. Comput. J. 59 (8) (2016)
Robert M. Hierons, Uraz Cengiz Türker
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. IEEE Trans. Software Eng. 42 (11) (2016)
Robert M. Hierons
A More Precise Implementation Relation for Distributed Testing. Comput. J. 59 (1) (2016)
Brijesh Dongol, Robert M. Hierons
Decidability and Complexity for Quiescent Consistency. LICS (2016)
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Controllability Through Nondeterminism in Distributed Testing. ICTSS (2016)
Wei Zheng, Robert M. Hierons, Miqing Li, Xiaohui Liu, Veronica Vinciotti
Multi-objective optimisation for regression testing. Inf. Sci. (2016)
Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, Wei Zheng
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. ACM Trans. Softw. Eng. Methodol. 25 (2) (2016)
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
A Suspension-Trace Semantics for CSP. TASE (2016)
Robert M. Hierons, Uraz Cengiz Türker
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets. IEEE Trans. Computers 65 (11) (2016)
Robert M. Hierons
The dreaded desk reject. Softw. Test. Verification Reliab. 26 (1) (2016)
Krishna Patel, Robert M. Hierons
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. ICTSS (2016)
Robert M. Hierons, Uraz Cengiz Türker
Generating Minimum Height ADSs for Partially Specified Finite State Machines. ISCIS (2015)
Robert M. Hierons, Uraz Cengiz Türker
Incomplete Distinguishing Sequences for Finite State Machines. Comput. J. 58 (11) (2015)
Alberto Nuñez, Robert M. Hierons
A methodology for validating cloud models using metamorphic testing. Ann. des Télécommunications 70 (3-4) (2015)
Matt Gatrell, Steve Counsell, Steve Swift, Robert M. Hierons, Xiaohui Liu
Test and Production Classes of an Industrial C# System: A Refactoring and Fault Perspective. EUROMICRO-SEAA (2015)
Robert M. Hierons
Generating Complete Controllable Test Suites for Distributed Testing. IEEE Trans. Software Eng. 41 (3) (2015)
Brijesh Dongol, Robert M. Hierons
Decidability and Complexity for Quiescent Consistency and its Variations. CoRR (2015)
Mohammad A. Nabulsi, Robert M. Hierons
A Test Framework for Communications-Critical Large-Scale Systems. IEEE Softw. 32 (3) (2015)
Eitan Farchi, Robert M. Hierons, João Lourenço
Special issue on testing, analysis and debugging of concurrent programs. Softw. Test. Verification Reliab. 25 (3) (2015)
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE (2014)
Haitao Dan, Robert M. Hierons
The Oracle Problem When Testing from MSCs. Comput. J. 57 (7) (2014)
Sergio Segura, José Antonio Parejo, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
Automated generation of computationally hard feature models using evolutionary algorithms. Expert Syst. Appl. 41 (8) (2014)

Robert M. Hierons.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert M. Hierons