default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert M. Hierons
Person information
- affiliation: The University of Sheffield, UK
- affiliation (former): Brunel University London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j184]Maciej Gazda, Robert M. Hierons
:
Model independent refusal trace testing. Sci. Comput. Program. 239: 103173 (2025)- 2024
- [j183]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): 2538-2560 (2024) - [j182]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): 10:1-10:42 (2024) - [j181]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): 574-597 (2024) - [c108]Islam T. Elgendy, Robert M. Hierons, Phil McMinn:
Evaluating String Distance Metrics for Reducing Automatically Generated Test Suites. AST@ICSE 2024: 171-181 - [c107]Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw:
Causal Test Adequacy. ICST 2024: 161-172 - [i13]Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons:
Bounding Random Test Set Size with Computational Learning Theory. CoRR abs/2405.17019 (2024) - 2023
- [j180]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 Ringert, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [j179]Maciej Gazda, Robert M. Hierons:
Removing redundant refusals: Minimal complete test suites for failure trace semantics. Inf. Comput. 291: 105009 (2023) - [j178]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: 107145 (2023) - [j177]Manuel Núñez, Robert M. Hierons, Raluca Lefticaru:
Implementation relations and testing for cyclic systems: Adding probabilities. Robotics Auton. Syst. 165: 104426 (2023) - [j176]James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons:
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24(2): 17:1-17:40 (2023) - [j175]Neil Walkinshaw, Robert M. Hierons:
Modelling Second-Order Uncertainty in State Machines. IEEE Trans. Software Eng. 49(5): 3261-3276 (2023) - [j174]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): 4371-4389 (2023) - [c106]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products 2023: 34-48 - [c105]Ana Cavalcanti, Robert M. Hierons:
Challenges in testing of cyclic systems. ICECCS 2023: 1-6 - [c104]Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons:
Metamorphic Testing with Causal Graphs. ICST 2023: 153-164 - [i12]Islam T. Elgendy, Robert M. Hierons, Phil McMinn:
A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing. CoRR abs/2311.09714 (2023) - 2022
- [j173]Krishna Patel, Robert M. Hierons, David Clark:
An information theoretic notion of software testability. Inf. Softw. Technol. 143: 106759 (2022) - [j172]Robert M. Hierons, Tao Xie:
Model checking, testing and debugging. Softw. Test. Verification Reliab. 32(1) (2022) - [j171]Robert M. Hierons, Tao Xie:
Combinatorial testing and model-based testing. Softw. Test. Verification Reliab. 32(2) (2022) - [j170]Robert M. Hierons, Tao Xie:
Metamorphic testing and test automation. Softw. Test. Verification Reliab. 32(3) (2022) - [j169]Robert M. Hierons:
Farewell after an 11-year journey as joint editor-in-chief. Softw. Test. Verification Reliab. 32(4) (2022) - [c103]Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Reliable counterparts: efficiently testing causal relationships in digital twins. MoDELS (Companion) 2022: 468-472 - [i11]Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner:
Testing Causality in Scientific Modelling Software. CoRR abs/2209.00357 (2022) - 2021
- [j168]Alfredo Ibias, Manuel Núñez, Robert M. Hierons:
Using mutual information to test from Finite State Machines: Test suite selection. Inf. Softw. Technol. 132: 106498 (2021) - [j167]Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Test case generation for agent-based models: A systematic literature review. Inf. Softw. Technol. 135: 106567 (2021) - [j166]Uraz Cengiz Türker, Robert M. Hierons, Guy-Vincent Jourdan:
Minimizing Characterizing sets. Sci. Comput. Program. 208: 102645 (2021) - [j165]Robert M. Hierons, Tao Xie:
Editorial: Testing, Debugging, and Defect Prediction. Softw. Test. Verification Reliab. 31(5) (2021) - [j164]Robert M. Hierons, Tao Xie:
Editorial: Verification, reliability and performance. Softw. Test. Verification Reliab. 31(6) (2021) - [j163]Robert M. Hierons, Tao Xie:
Adaptive or embedded software testing and mutation testing. Softw. Test. Verification Reliab. 31(7) (2021) - [j162]Robert M. Hierons, Tao Xie:
Property generation/verification and empirical studies. Softw. Test. Verification Reliab. 31(8) (2021) - [j161]Robert M. Hierons, Mohamed Mosbah:
Preface. Theor. Comput. Sci. 880: 138 (2021) - [j160]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): 261-284 (2021) - [j159]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): 1029-1040 (2021) - [c102]Steve Counsell, Robert M. Hierons, Krishna Patel:
Are 20% of Classes Responsible for 80% of Refactorings? SEAA 2021: 287-290 - [c101]Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Efficient state synchronisation in model-based testing through reinforcement learning. ASE 2021: 368-380 - [c100]Maciej Gazda, Robert M. Hierons:
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. LICS 2021: 1-13 - [i10]Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Test case generation for agent-based models: A systematic literature review. CoRR abs/2103.07370 (2021) - 2020
- [j158]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: 167172-167191 (2020) - [j157]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020) - [j156]Raluca Lefticaru, Robert M. Hierons, Manuel Núñez:
Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. 170: 110738 (2020) - [j155]Robert M. Hierons, Tao Xie:
Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief. ACM SIGSOFT Softw. Eng. Notes 45(4): 18 (2020) - [j154]Robert M. Hierons, Tao Xie:
Working Across Boundaries. Softw. Test. Verification Reliab. 30(3) (2020) - [j153]Robert M. Hierons, Tao Xie:
Conference Virtualization. Softw. Test. Verification Reliab. 30(4-5) (2020) - [j152]Robert M. Hierons, Tao Xie:
On automation in software engineering. Softw. Test. Verification Reliab. 30(6) (2020) - [j151]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): 24:1-24:53 (2020) - [j150]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): 2:1-2:46 (2020) - [c99]Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu:
Four-Valued Monitorability of ømega-Regular Languages. ICFEM 2020: 198-214 - [i9]Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu:
Four-valued monitorability of ω-regular languages. CoRR abs/2002.06737 (2020)
2010 – 2019
- 2019
- [j149]Alfredo Ibias, Robert M. Hierons, Manuel Núñez:
Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol. 112: 132-147 (2019) - [j148]David Clark, Robert M. Hierons, Krishna Patel:
Normalised Squeeziness and Failed Error Propagation. Inf. Process. Lett. 149: 6-9 (2019) - [j147]Robert M. Hierons:
FSM quasi-equivalence testing via reduction and observing absences. Sci. Comput. Program. 177: 1-18 (2019) - [j146]Krishna Patel, Robert M. Hierons:
A partial oracle for uniformity statistics. Softw. Qual. J. 27(4): 1419-1447 (2019) - [j145]Robert M. Hierons:
The world changes. Softw. Test. Verification Reliab. 29(6-7) (2019) - [c98]Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska:
A Mechanised Proof of an Adaptive State Counting Algorithm. ICTSS 2019: 176-193 - [c97]Bruno Lima, João Pascoal Faria, Robert M. Hierons:
Local Observability and Controllability Enforcement in Distributed Testing. QUATIC 2019: 327-338 - [c96]Raluca Lefticaru, Robert M. Hierons, Manuel Núñez:
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM 2019: 393-409 - [c95]Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru:
Testing Robots Using CSP. TAP@FM 2019: 21-38 - [e8]Robert M. Hierons, Mohamed Mosbah:
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Lecture Notes in Computer Science 11884, Springer 2019, ISBN 978-3-030-32504-6 [contents] - 2018
- [j144]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31(5): 327-342 (2018) - [j143]Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons:
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30(6): 627-628 (2018) - [j142]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: 162-178 (2018) - [j141]Krishna Patel, Robert M. Hierons:
A mapping study on testing non-testable systems. Softw. Qual. J. 26(4): 1373-1413 (2018) - [j140]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67(2): 522-537 (2018) - [c94]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: 19-25 - [e7]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. Lecture Notes in Computer Science 11146, Springer 2018, ISBN 978-3-319-99926-5 [contents] - 2017
- [j139]Robert M. Hierons, Uraz Cengiz Türker:
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences. Comput. J. 60(1): 110-125 (2017) - [j138]Brijesh Dongol, Robert M. Hierons:
Decidability and complexity for quiescent consistency and its variations. Inf. Comput. 257: 1-21 (2017) - [j137]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017) - [j136]Robert M. Hierons, Manuel Núñez:
Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. 132: 319-335 (2017) - [j135]Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo:
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16(1): 5-6 (2017) - [j134]Robert M. Hierons:
How to manage a conference special issue. Softw. Test. Verification Reliab. 27(3) (2017) - [j133]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): 5:1-5:34 (2017) - [j132]Robert M. Hierons:
Testing from Partial Finite State Machines without Harmonised Traces. IEEE Trans. Software Eng. 43(11): 1033-1043 (2017) - [c93]Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall:
Constraint-Based Oracles for Timed Distributed Systems. ICTSS 2017: 276-292 - [c92]Christopher L. Robinson-Mallett, Robert M. Hierons:
Integrating Graphical and Natural Language Specifications to Support Analysis and Testing. RE Workshops 2017: 331-338 - [c91]Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker:
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM 2017: 147-160 - [i8]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
On the computational complexity of dynamic slicing problems for program schemas. CoRR abs/1705.07686 (2017) - [i7]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas. CoRR abs/1705.09615 (2017) - 2016
- [j131]Robert M. Hierons:
A More Precise Implementation Relation for Distributed Testing. Comput. J. 59(1): 33-46 (2016) - [j130]Robert M. Hierons, Uraz Cengiz Türker:
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences. Comput. J. 59(8): 1186-1206 (2016) - [j129]Wei Zheng, Robert M. Hierons, Miqing Li, Xiaohui Liu, Veronica Vinciotti:
Multi-objective optimisation for regression testing. Inf. Sci. 334-335: 1-16 (2016) - [j128]Robert M. Hierons:
The dreaded desk reject. Softw. Test. Verification Reliab. 26(1): 3 (2016) - [j127]Robert M. Hierons:
Editorial. Softw. Test. Verification Reliab. 26(6): 430 (2016) - [j126]Robert M. Hierons, Uraz Cengiz Türker:
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets. IEEE Trans. Computers 65(11): 3370-3383 (2016) - [j125]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): 17:1-17:39 (2016) - [j124]Robert M. Hierons, Uraz Cengiz Türker:
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. IEEE Trans. Software Eng. 42(11): 1077-1091 (2016) - [c90]Brijesh Dongol, Robert M. Hierons:
Decidability and Complexity for Quiescent Consistency. LICS 2016: 116-125 - [c89]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllability Through Nondeterminism in Distributed Testing. ICTSS 2016: 89-105 - [c88]Krishna Patel, Robert M. Hierons:
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. ICTSS 2016: 123-138 - [c87]Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio:
A Suspension-Trace Semantics for CSP. TASE 2016: 3-13 - 2015
- [j123]Alberto Nuñez, Robert M. Hierons:
A methodology for validating cloud models using metamorphic testing. Ann. des Télécommunications 70(3-4): 127-135 (2015) - [j122]Robert M. Hierons, Uraz Cengiz Türker:
Incomplete Distinguishing Sequences for Finite State Machines. Comput. J. 58(11): 3089-3113 (2015) - [j121]Mohammad A. Nabulsi, Robert M. Hierons:
A Test Framework for Communications-Critical Large-Scale Systems. IEEE Softw. 32(3): 86-93 (2015) - [j120]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): 165-166 (2015) - [j119]Robert M. Hierons:
Generating Complete Controllable Test Suites for Distributed Testing. IEEE Trans. Software Eng. 41(3): 279-293 (2015) - [c86]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: 35-38 - [c85]Robert M. Hierons, Uraz Cengiz Türker:
Generating Minimum Height ADSs for Partially Specified Finite State Machines. ISCIS 2015: 171-179 - [i6]Brijesh Dongol, Robert M. Hierons:
Decidability and Complexity for Quiescent Consistency and its Variations. CoRR abs/1511.08447 (2015) - 2014
- [j118]Haitao Dan, Robert M. Hierons:
The Oracle Problem When Testing from MSCs. Comput. J. 57(7): 987-1001 (2014) - [j117]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Timed implementation relations for the distributed test architecture. Distributed Comput. 27(3): 181-201 (2014) - [j116]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): 3975-3992 (2014) - [j115]Robert M. Hierons:
Combining Centralised and Distributed Testing. ACM Trans. Softw. Eng. Methodol. 24(1): 5:1-5:29 (2014) - [c84]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: 573-583 - [c83]Robert M. Hierons, Uraz Cengiz Türker:
Distinguishing Sequences for Partially Specified FSMs. NASA Formal Methods 2014: 62-76 - 2013
- [j114]Robert M. Hierons:
Implementation Relations for Testing Through Asynchronous Channels. Comput. J. 56(11): 1305-1319 (2013) - [j113]Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons:
Towards estimating computer users' mood from interaction behaviour with keyboard and mouse. Frontiers Comput. Sci. 7(6): 943-954 (2013) - [j112]Robert M. Hierons, Mercedes G. Merayo:
Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). Inf. Softw. Technol. 55(5): 865 (2013) - [j111]Mohammad Saeed Abou Trab, Michael J. Brockway, Steve Counsell, Robert M. Hierons:
Testing Real-Time Embedded Systems using Timed Automata based approaches. J. Syst. Softw. 86(5): 1209-1223 (2013) - [j110]John A. Clark, Haitao Dan, Robert M. Hierons:
Semantic mutation testing. Sci. Comput. Program. 78(4): 345-363 (2013) - [j109]Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013) - [j108]Robert M. Hierons:
Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces. IEEE Trans. Computers 62(8): 1673-1683 (2013) - [j107]Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt:
Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng. 39(7): 892-909 (2013) - [c82]Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett:
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. FASE 2013: 179-193 - [c81]Ana Cavalcanti, Robert M. Hierons:
Testing with Inputs and Outputs in CSP. FASE 2013: 359-374 - [c80]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113 - [c79]Steve Counsell, Matt Gatrell, Robert M. Hierons, Alessandro Murgia, Roberto Tonelli, Michele Marchesi, Giulio Concas:
Conditional-Based Refactorings and Fault-Proneness: An Empirical Study. ICST Workshops 2013: 80-85 - [c78]Christophe Gaston, Robert M. Hierons, Pascale Le Gall:
An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS 2013: 82-97 - [e6]