Robert M. Hierons

330 papers A* 4A 15B 22C 20Misc 3Journal 204Unranked 55
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Systematic Mapping Study on the Debugging of Autonomous Driving Systems.
CoRR
Nathan Shaw, Sanjeetha Pennada, Robert M. Hierons, Donghwan Shin
2026 J jnl
Combining sequential test cases into an equivalent set of adaptive test cases.
J. Log. Algebraic Methods Program.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2026 B conf
Complete FSM Testing Using Strong Separability.
FoSSaCS
Robert M. Hierons, Mohammad Reza Mousavi
2025 J jnl
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity-Based Testing Techniques.
Softw. Test. Verification Reliab.
Islam T. Elgendy, Robert M. Hierons, Phil McMinn
2025 J jnl
Complete FSM Testing Using Strong Separability.
CoRR
Robert M. Hierons, Mohammad Reza Mousavi
2025 J jnl
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study.
Softw. Test. Verification Reliab.
Richard J. Somers, Neil Walkinshaw, Robert M. Hierons, Jackie Elliott, Ahmed Iqbal, Emma Walkinshaw
2025 J jnl
Efficient State Identification for Finite State Machine-Based Testing.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Khaled El-Fakih
2025 A conf
Empirically Evaluating the Use of Bytecode for Diversity-Based Test Case Prioritisation.
EASE
Islam T. Elgendy, Robert M. Hierons, Phil McMinn
2025 J jnl
Empirically Evaluating the Use of Bytecode for Diversity-Based Test Case Prioritisation.
CoRR
Islam T. Elgendy, Robert M. Hierons, Phil McMinn
2025 J jnl
Hybrid Control Strategies for Safe and Adaptive Robot-Assisted Dressing.
CoRR
Yasmin Rafiq, Baslin A. James, Ke Xu, Robert M. Hierons, Sanja Dogramadzi
2025 J jnl
Model independent refusal trace testing.
Sci. Comput. Program.
Maciej Gazda, Robert M. Hierons
2025 B conf
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing.
SEAA
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu, Sanja Dogramadzi, Robert M. Hierons
2025 J jnl
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing.
CoRR
Yasmin Rafiq, Gricel Vázquez, Radu Calinescu, Sanja Dogramadzi, Robert M. Hierons
2025 J jnl
The Causal Testing Framework.
J. Open Source Softw.
Michael Foster, Andrew G. Clark, Christopher Wild, Farhad Allian, Robert D. Turner, Richard J. Somers, Nicholas Latimer, Neil Walkinshaw, Robert M. Hierons
2025 A conf
Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study.
EASE
Michael Foster, Robert M. Hierons, Donghwan Shin, Neil Walkinshaw, Christopher Wild
2025 J jnl
Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study.
CoRR
Michael Foster, Robert M. Hierons, Donghwan Shin, Neil Walkinshaw, Christopher Wild
2024 J jnl
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin
2024 C conf
Autonomous Driving System Testing: Traffic Density Does Matter.
ICTSS
Guannan Lou, Donghwan Shin, Neil Walkinshaw, Robert M. Hierons
2024 J jnl
Bounding Random Test Set Size with Computational Learning Theory.
CoRR
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
2024 J jnl
Bounding Random Test Set Size with Computational Learning Theory.
Proc. ACM Softw. Eng.
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
2024 A conf
Causal Test Adequacy.
ICST
Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw
2024 C conf
Evaluating String Distance Metrics for Reducing Automatically Generated Test Suites.
AST
Islam T. Elgendy, Robert M. Hierons, Phil McMinn
2024 J jnl
Testing Causality in Scientific Modelling Software.
ACM Trans. Softw. Eng. Methodol.
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
2023 J jnl
A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing.
CoRR
Islam T. Elgendy, Robert M. Hierons, Phil McMinn
2023 B conf
Challenges in testing of cyclic systems.
ICECCS
Ana Cavalcanti, Robert M. Hierons
2023 J jnl
Digital-twin-based testing for cyber-physical systems: A systematic literature review.
Inf. Softw. Technol.
Richard J. Somers, James A. Douthwaite, David James Wagg, Neil Walkinshaw, Robert M. Hierons
2023 — conf
Implementation Relations for Distributed Testing.
Applicable Formal Methods for Safe Industrial Products
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2023 J jnl
Implementation relations and testing for cyclic systems: Adding probabilities.
Robotics Auton. Syst.
Manuel Núñez, Robert M. Hierons, Raluca Lefticaru
2023 J jnl
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs.
IEEE Trans. Software Eng.
Uraz Cengiz Türker, Robert M. Hierons, Gerassimos D. Barlas, Khaled El-Fakih
2023 A conf
Metamorphic Testing with Causal Graphs.
ICST
Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons
2023 J jnl
Modelling Second-Order Uncertainty in State Machines.
IEEE Trans. Software Eng.
Neil Walkinshaw, Robert M. Hierons
2023 J jnl
Removing redundant refusals: Minimal complete test suites for failure trace semantics.
Inf. Comput.
Maciej Gazda, Robert M. Hierons
2023 J jnl
Testing using CSP Models: Time, Inputs, and Outputs.
ACM Trans. Comput. Log.
James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
2023 J jnl
Trustworthy Autonomous Systems Through Verifiability.
Computer
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock
2022 J jnl
An information theoretic notion of software testability.
Inf. Softw. Technol.
Krishna Patel, Robert M. Hierons, David Clark
2022 J jnl
Combinatorial testing and model-based testing.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2022 J jnl
Farewell after an 11-year journey as joint editor-in-chief.
Softw. Test. Verification Reliab.
Robert M. Hierons
2022 J jnl
Metamorphic testing and test automation.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2022 J jnl
Model checking, testing and debugging.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2022 — conf
Reliable counterparts: efficiently testing causal relationships in digital twins.
MoDELS (Companion)
Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
2022 J jnl
Testing Causality in Scientific Modelling Software.
CoRR
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
2021 J jnl
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs.
IEEE Trans. Software Eng.
Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker
2021 J jnl
Adaptive or embedded software testing and mutation testing.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2021 B conf
Are 20% of Classes Responsible for 80% of Refactorings?
SEAA
Steve Counsell, Robert M. Hierons, Krishna Patel
2021 J jnl
Editorial: Testing, Debugging, and Defect Prediction.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2021 J jnl
Editorial: Verification, reliability and performance.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2021 A* conf
Efficient state synchronisation in model-based testing through reinforcement learning.
ASE
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin
2021 J jnl
Minimizing Characterizing sets.
Sci. Comput. Program.
Uraz Cengiz Türker, Robert M. Hierons, Guy-Vincent Jourdan
2021 J jnl
Preface.
Theor. Comput. Sci.
Robert M. Hierons, Mohamed Mosbah
2021 J jnl
Property generation/verification and empirical studies.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2021 A* conf
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics.
LICS
Maciej Gazda, Robert M. Hierons
2021 J jnl
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems.
IEEE Trans. Reliab.
Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons
2021 J jnl
Test case generation for agent-based models: A systematic literature review.
CoRR
Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
2021 J jnl
Test case generation for agent-based models: A systematic literature review.
Inf. Softw. Technol.
Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
2021 J jnl
Using mutual information to test from Finite State Machines: Test suite selection.
Inf. Softw. Technol.
Alfredo Ibias, Manuel Núñez, Robert M. Hierons
2020 J jnl
Conference Virtualization.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2020 C conf
Four-Valued Monitorability of ømega-Regular Languages.
ICFEM
Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu
2020 J jnl
Four-valued monitorability of ω-regular languages.
CoRR
Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu
2020 J jnl
Guest Editorial: Special Section on ICTSS.
Inf. Softw. Technol.
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
2020 J jnl
Implementation relations and testing for cyclic systems with refusals and discrete time.
J. Syst. Softw.
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
2020 J jnl
Inputs and Outputs in CSP: A Model and a Testing Theory.
ACM Trans. Comput. Log.
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira
2020 J jnl
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints.
IEEE Access
Bruno Lima, João Pascoal Faria, Robert M. Hierons
2020 J jnl
Many-Objective Test Suite Generation for Software Product Lines.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons, Miqing Li, Xiaohui Liu, José Antonio Parejo, Sergio Segura, Xin Yao
2020 J jnl
On automation in software engineering.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2020 J jnl
Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief.
ACM SIGSOFT Softw. Eng. Notes
Robert M. Hierons, Tao Xie
2020 J jnl
Working Across Boundaries.
Softw. Test. Verification Reliab.
Robert M. Hierons, Tao Xie
2019 C conf
A Mechanised Proof of an Adaptive State Counting Algorithm.
ICTSS
Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
2019 J jnl
A partial oracle for uniformity statistics.
Softw. Qual. J.
Krishna Patel, Robert M. Hierons
2019 B conf
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time.
SEFM
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
2019 J jnl
FSM quasi-equivalence testing via reduction and observing absences.
Sci. Comput. Program.
Robert M. Hierons
2019 Misc conf
Local Observability and Controllability Enforcement in Distributed Testing.
QUATIC
Bruno Lima, João Pascoal Faria, Robert M. Hierons
2019 J jnl
Normalised Squeeziness and Failed Error Propagation.
Inf. Process. Lett.
David Clark, Robert M. Hierons, Krishna Patel
2019 — conf
Testing Robots Using CSP.
TAP@FM
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
2019 J jnl
The world changes.
Softw. Test. Verification Reliab.
Robert M. Hierons
2019 C ed.
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
ICTAC
Robert M. Hierons, Mohamed Mosbah
2019 J jnl
Using Squeeziness to test component-based systems defined as Finite State Machines.
Inf. Softw. Technol.
Alfredo Ibias, Robert M. Hierons, Manuel Núñez
2018 J jnl
A mapping study on testing non-testable systems.
Softw. Qual. J.
Krishna Patel, Robert M. Hierons
2018 J jnl
A tool supported methodology to passively test asynchronous systems with multiple users.
Inf. Softw. Technol.
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2018 J jnl
Bounded Reordering in the Distributed Test Architecture.
IEEE Trans. Reliab.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2018 J jnl
Passive testing with asynchronous communications and timestamps.
Distributed Comput.
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2018 — conf
Smart contracts vulnerabilities: a call for blockchain software engineering?
IWBOSE@SANER
Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, Robert M. Hierons
2018 J jnl
Special section of Tests and Proofs 2016.
Formal Aspects Comput.
Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
2018 C ed.
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ICTSS
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
2017 J jnl
An extended framework for passive asynchronous testing.
J. Log. Algebraic Methods Program.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2017 J jnl
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas.
CoRR
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2017 C conf
Constraint-Based Oracles for Timed Distributed Systems.
ICTSS
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
2017 J jnl
Decidability and complexity for quiescent consistency and its variations.
Inf. Comput.
Brijesh Dongol, Robert M. Hierons
2017 J jnl
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences.
Comput. J.
Robert M. Hierons, Uraz Cengiz Türker
2017 B conf
Hardness of Deriving Invertible Sequences from Finite State Machines.
SOFSEM
Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
2017 J jnl
How to manage a conference special issue.
Softw. Test. Verification Reliab.
Robert M. Hierons
2017 J jnl
Implementation relations and probabilistic schedulers in the distributed test architecture.
J. Syst. Softw.
Robert M. Hierons, Manuel Núñez
2017 — conf
Integrating Graphical and Natural Language Specifications to Support Analysis and Testing.
RE Workshops
Christopher L. Robinson-Mallett, Robert M. Hierons
2017 J jnl
Introduction to the Software Engineering and Formal Methods 2013 special issue.
Softw. Syst. Model.
Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
2017 J jnl
On the computational complexity of dynamic slicing problems for program schemas.
CoRR
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2017 J jnl
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons, Uraz Cengiz Türker
2017 J jnl
Testing from Partial Finite State Machines without Harmonised Traces.
IEEE Trans. Software Eng.
Robert M. Hierons
2016 J jnl
A More Precise Implementation Relation for Distributed Testing.
Comput. J.
Robert M. Hierons
2016 Misc conf
A Suspension-Trace Semantics for CSP.
TASE
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
2016 C conf
Controllability Through Nondeterminism in Distributed Testing.
ICTSS
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2016 A* conf
Decidability and Complexity for Quiescent Consistency.
LICS
Brijesh Dongol, Robert M. Hierons
2016 J jnl
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences.
Comput. J.
Robert M. Hierons, Uraz Cengiz Türker
2016 J jnl
Editorial.
Softw. Test. Verification Reliab.
Robert M. Hierons
2016 J jnl
Multi-objective optimisation for regression testing.
Inf. Sci.
Wei Zheng, Robert M. Hierons, Miqing Li, Xiaohui Liu, Veronica Vinciotti
2016 J jnl
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets.
IEEE Trans. Computers
Robert M. Hierons, Uraz Cengiz Türker
2016 J jnl
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences.
IEEE Trans. Software Eng.
Robert M. Hierons, Uraz Cengiz Türker
2016 C conf
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness.
ICTSS
Krishna Patel, Robert M. Hierons
2016 J jnl
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, Wei Zheng
2016 J jnl
The dreaded desk reject.
Softw. Test. Verification Reliab.
Robert M. Hierons
2015 J jnl
A Test Framework for Communications-Critical Large-Scale Systems.
IEEE Softw.
Mohammad A. Nabulsi, Robert M. Hierons
2015 J jnl
A methodology for validating cloud models using metamorphic testing.
Ann. des Télécommunications
Alberto Nuñez, Robert M. Hierons
2015 J jnl
Decidability and Complexity for Quiescent Consistency and its Variations.
CoRR
Brijesh Dongol, Robert M. Hierons
2015 J jnl
Generating Complete Controllable Test Suites for Distributed Testing.
IEEE Trans. Software Eng.
Robert M. Hierons
2015 — conf
Generating Minimum Height ADSs for Partially Specified Finite State Machines.
ISCIS
Robert M. Hierons, Uraz Cengiz Türker
2015 J jnl
Incomplete Distinguishing Sequences for Finite State Machines.
Comput. J.
Robert M. Hierons, Uraz Cengiz Türker
2015 J jnl
Special issue on testing, analysis and debugging of concurrent programs.
Softw. Test. Verification Reliab.
Eitan Farchi, Robert M. Hierons, João Lourenço
2015 — conf
Test and Production Classes of an Industrial C# System: A Refactoring and Fault Perspective.
EUROMICRO-SEAA
Matt Gatrell, Steve Counsell, Steve Swift, Robert M. Hierons, Xiaohui Liu
2014 A* conf
An analysis of the relationship between conditional entropy and failed error propagation in software testing.
ICSE
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
2014 J jnl
Automated generation of computationally hard feature models using evolutionary algorithms.
Expert Syst. Appl.
Sergio Segura, José Antonio Parejo, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2014 J jnl
Combining Centralised and Distributed Testing.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons
2014 — conf
Distinguishing Sequences for Partially Specified FSMs.
NASA Formal Methods
Robert M. Hierons, Uraz Cengiz Türker
2014 J jnl
The Oracle Problem When Testing from MSCs.
Comput. J.
Haitao Dan, Robert M. Hierons
2014 J jnl
Timed implementation relations for the distributed test architecture.
Distributed Comput.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2013 J jnl
Amorphous Slicing of Extended Finite State Machines.
IEEE Trans. Software Eng.
Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt
2013 C conf
An Implementation Relation and Test Framework for Timed Distributed Systems.
ICTSS
Christophe Gaston, Robert M. Hierons, Pascale Le Gall
2013 B conf
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.
FASE
Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett
2013 — conf
Conditional-Based Refactorings and Fault-Proneness: An Empirical Study.
ICST Workshops
Steve Counsell, Matt Gatrell, Robert M. Hierons, Alessandro Murgia, Roberto Tonelli, Michele Marchesi, Giulio Concas
2013 J jnl
Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011).
Inf. Softw. Technol.
Robert M. Hierons, Mercedes G. Merayo
2013 J jnl
Implementation Relations for Testing Through Asynchronous Channels.
Comput. J.
Robert M. Hierons
2013 — conf
Passive Testing with Asynchronous Communications.
FMOODS/FORTE
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2013 J jnl
Semantic mutation testing.
Sci. Comput. Program.
John A. Clark, Haitao Dan, Robert M. Hierons
2013 B ed.
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
SEFM
Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
2013 J jnl
Testing Real-Time Embedded Systems using Timed Automata based approaches.
J. Syst. Softw.
Mohammad Saeed Abou Trab, Michael J. Brockway, Steve Counsell, Robert M. Hierons
2013 B conf
Testing with Inputs and Outputs in CSP.
FASE
Ana Cavalcanti, Robert M. Hierons
2013 J jnl
Towards estimating computer users' mood from interaction behaviour with keyboard and mouse.
Frontiers Comput. Sci.
Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons
2013 J jnl
Using genetic algorithms to generate test sequences for complex timed systems.
Soft Comput.
Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2013 J jnl
Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces.
IEEE Trans. Computers
Robert M. Hierons
2012 J jnl
A framework for pathologies of message sequence charts.
Inf. Softw. Technol.
Haitao Dan, Robert M. Hierons, Steve Counsell
2012 J jnl
Complexity of Data Dependence Problems for Program Schemas with Concurrency.
ACM Trans. Comput. Log.
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2012 J jnl
Controllability Problems in MSC-Based Testing.
Comput. J.
Haitao Dan, Robert M. Hierons
2012 J jnl
Implementation relations and test generation for systems with distributed interfaces.
Distributed Comput.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2012 — conf
Model Based Test Automation through Asynchronous Channels.
COMPSAC Workshops
Robert M. Hierons
2012 J jnl
Oracles for Distributed Testing.
IEEE Trans. Software Eng.
Robert M. Hierons
2012 J jnl
Overcoming controllability problems in distributed testing from an input output transition system.
Distributed Comput.
Robert M. Hierons
2012 A conf
SMT-C: A Semantic Mutation Testing Tools for C.
ICST
Haitao Dan, Robert M. Hierons
2012 A conf
Semantic Mutation Analysis of Floating-Point Comparison.
ICST
Haitao Dan, Robert M. Hierons
2012 B conf
Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata.
COMPSAC
Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons
2012 J jnl
Squeeziness: An information theoretic measure for avoiding fault masking.
Inf. Process. Lett.
David Clark, Robert M. Hierons
2012 J jnl
The complexity of asynchronous model based testing.
Theor. Comput. Sci.
Robert M. Hierons
2012 B conf
Using Time to Add Order to Distributed Testing.
FM
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2012 J jnl
Using schedulers to test probabilistic distributed systems.
Formal Aspects Comput.
Robert M. Hierons, Manuel Núñez
2011 — conf
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.
IWANN (2)
Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2011 J jnl
A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems.
Int. J. Inf. Syst. Model. Des.
Asma Mubarak, Steve Counsell, Robert M. Hierons
2011 J jnl
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models.
Inf. Softw. Technol.
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift
2011 J jnl
Automated metamorphic testing on the analyses of feature models.
Inf. Softw. Technol.
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2011 J jnl
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas.
J. Log. Algebraic Methods Program.
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2011 J jnl
Checking Finite State Machine Conformance when there are Distributed Observations
CoRR
Robert M. Hierons
2011 C conf
Conformance Relations for Distributed Testing Based on CSP.
ICTSS
Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons
2011 A conf
Conformance Testing from Message Sequence Charts.
ICST
Haitao Dan, Robert M. Hierons
2011 J jnl
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports.
IEEE Trans. Computers
Robert M. Hierons
2011 C conf
Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM.
ALIFE
Carlos Molinero, Manuel Núñez, Robert M. Hierons
2011 J jnl
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas.
J. Log. Algebraic Methods Program.
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2011 J jnl
Do moods affect programmers' debug performance?
Cogn. Technol. Work.
Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons
2011 — conf
Experimental Comparison of Different Techniques to Generate Adaptive Sequences.
IWANN (2)
Carlos Molinero, Manuel Núñez, Robert M. Hierons
2011 — conf
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications.
ECBS
Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons
2011 J jnl
ICST 2008 Special Issue.
Softw. Test. Verification Reliab.
Robert M. Hierons, Aditya Mathur
2011 J jnl
Mutation testing on an object-oriented framework: An experience report.
Inf. Softw. Technol.
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2011 J jnl
On the computational complexity of dynamic slicing problems for program schemas.
Math. Struct. Comput. Sci.
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2011 — ed.
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011.
QSIC
Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo
2011 J jnl
Scenarios-based testing of systems with distributed ports.
Softw. Pract. Exp.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2011 J jnl
Testing timed systems modeled by Stream X-machines.
Softw. Syst. Model.
Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons
2010 — conf
10421 Abstracts Collection - Model-Based Testing in Practice.
Model-Based Testing in Practice
Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
2010 — conf
10421 Summary - Model-Based Testing in Practice.
Model-Based Testing in Practice
Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
2010 — conf
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing.
TAIC PART
Mohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea
2010 J jnl
A trajectory-based strict semantics for program slicing.
Theor. Comput. Sci.
Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya
2010 J jnl
An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria.
J. Comput. Inf. Technol.
Steve Counsell, Hamza Hamza, Robert M. Hierons
2010 B conf
An Evolutionary Study of Fan-in and Fan-out Metrics in OSS.
RCIS
Asma Mubarak, Steve Counsell, Robert M. Hierons
2010 A conf
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.
ICST
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2010 J jnl
Canonical finite state machines for distributed systems.
Theor. Comput. Sci.
Robert M. Hierons
2010 J jnl
Checking experiments for stream X-machines.
Theor. Comput. Sci.
Robert M. Hierons
2010 J jnl
Complexity of Data Dependence problems for Program Schemas with Concurrency
CoRR
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
2010 J jnl
Estimating the feasibility of transition paths in extended finite state machines.
Autom. Softw. Eng.
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2010 J jnl
Exploring the Eradication of Code Smells: An Empirical and Theoretical Perspective.
Adv. Softw. Eng.
Steve Counsell, Robert M. Hierons, Hamza Hamza, Sue Black, M. Durrand
2010 — conf
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem.
ICST Workshops
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift
2010 J jnl
Generating a checking sequence with a minimum number of reset transitions.
Autom. Softw. Eng.
Robert M. Hierons, Hasan Ural
2010 — conf
Is a strategy for code smell assessment long overdue?
WETSoM
Steve Counsell, Robert M. Hierons, Hamza Hamza, Sue Black, M. Durrand
2010 — conf
Model-Based Testing for the Cloud.
Practical Software Testing: Tool Automation and Human Factors
Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans
2010 — ed.
Model-Based Testing in Practice, 17.10. - 22.10.2010
Model-Based Testing in Practice
Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
2010 — ch.
Mutation Testing.
Encyclopedia of Software Engineering
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2010 B conf
Non-local Choice and Implied Scenarios.
SEFM
Haitao Dan, Robert M. Hierons, Steve Counsell
2010 J jnl
Practitioner-based measurement: a collaborative approach.
Commun. ACM
S. T. Parkinson, Robert M. Hierons, Mark Lycett, M. Norman
2010 J jnl
Reaching and Distinguishing States of Distributed Systems.
SIAM J. Comput.
Robert M. Hierons
2010 — conf
Scenarios-Based Testing of Systems with Distributed Ports.
QSIC
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2010 — conf
Semantic Mutation Testing.
ICST Workshops
John A. Clark, Haitao Dan, Robert M. Hierons
2010 — conf
Testing Probabilistic Distributed Systems.
FMOODS/FORTE
Robert M. Hierons, Manuel Núñez
2009 — conf
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.
IWANN (1)
Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2009 B conf
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.
SEFM
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2009 A conf
Does an 80: 20 rule apply to Java coupling?
EASE
Asma Mubarak, Steve Counsell, Robert M. Hierons
2009 A conf
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM).
ICST
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift
2009 B conf
JPEG Steganography: A Performance Evaluation of Quantization Tables.
AINA
Adel Almohammad, Gheorghita Ghinea, Robert M. Hierons
2009 J jnl
Mutation testing from probabilistic and stochastic finite state machines.
J. Syst. Softw.
Robert M. Hierons, Mercedes G. Merayo
2009 J jnl
Overcoming controllability problems with fewest channels between testers.
Comput. Networks
Robert M. Hierons, Hasan Ural
2009 B conf
Simulation Relations for Systems with Distributed Interfaces.
SEFM
Robert M. Hierons, Manuel Núñez
2009 J jnl
Testing from a stochastic timed system with a fault model.
J. Log. Algebraic Methods Program.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2009 J jnl
Using formal specifications to support testing.
ACM Comput. Surv.
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
2009 J jnl
Using status messages in the distributed test architecture.
Inf. Softw. Technol.
Robert M. Hierons
2009 J jnl
Verdict functions in testing with a fault domain or test hypotheses.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons
2008 — conf
An Empirical Study of "Removed" Classes in Java Open-Source Systems.
SCSS (2)
Asma Mubarak, Steve Counsell, Robert M. Hierons
2008 J jnl
Checking sequences for distributed test architectures.
Distributed Comput.
Robert M. Hierons, Hasan Ural
2008 B conf
Controllable Test Cases for the Distributed Test Architecture.
ATVA
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2008 B conf
Extending Stream X-Machines to Specify and Test Systems with Timeouts.
SEFM
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2008 — ed.
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers
Formal Methods and Testing
Robert M. Hierons, Jonathan P. Bowen, Mark Harman
2008 B conf
High Capacity Steganographic Method Based Upon JPEG.
ARES
Adel Almohammad, Robert M. Hierons, Gheorghita Ghinea
2008 — conf
Implementation Relations for the Distributed Test Architecture.
TestCom/FATES
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2008 — conf
Measuring personality from keyboard and mouse use.
ECCE
Iftikhar Ahmed Khan, Willem-Paul Brinkman, Nick Fine, Robert M. Hierons
2008 J jnl
Package Evolvability and its Relationship with Refactoring.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Asma Mubarak, Steve Counsell, Robert M. Hierons, Youssef Hassoun
2008 — conf
Testability Transformation - Program Transformation to Improve Testability.
Formal Methods and Testing
Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper
2008 J jnl
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.
Formal Aspects Comput.
Robert M. Hierons, Florentin Ipate
2008 — conf
Testing in the Distributed Test Architecture.
Formal Methods and Testing
Jessica Chen, Robert M. Hierons, Hasan Ural
2008 — conf
Testing in the Distributed Test Architecture: An Extended Abstract.
QSIC
Robert M. Hierons
2008 J jnl
The Effect of the Distributed Test Architecture on the Power of Testing.
Comput. J.
Robert M. Hierons, Hasan Ural
2008 — conf
The precursor to an industrial software metrics program.
ITI
S. T. Parkinson, Steve Counsell, M. Norman, Robert M. Hierons, Mark Lycett
2008 — conf
Towards a Computer Interaction-Based Mood Measure Instrument.
PPIG
Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons
2008 Misc conf
Using adaptive distinguishing sequences in checking sequence constructions.
SAC
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2008 J jnl
Using communication coverage criteria and partial model generation to assist software integration testing.
Softw. Qual. J.
Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer
2007 C conf
A Meta-analysis Approach to Refactoring and XP.
AICCSA
Steve Counsell, Robert M. Hierons, George Loizou
2007 — conf
A Test Taxonomy Applied to the Mechanics of Java Refactorings.
SCSS (1)
Steve Counsell, Stephen Swift, Robert M. Hierons
2007 B conf
A Thread-tag Based Semantics for Sequence Diagrams.
SEFM
Haitao Dan, Robert M. Hierons, Steve Counsell
2007 J jnl
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.
Theor. Comput. Sci.
Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
2007 J jnl
Heuristics for fault diagnosis when testing from finite state machines.
Softw. Test. Verification Reliab.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2007 — conf
Mood independent programming.
ECCE
Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman
2007 — conf
Moods and Programmers' Performance.
PPIG
Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman
2007 J jnl
Reducing the cost of applying adaptive test cases.
Comput. Networks
Robert M. Hierons, Hasan Ural
2007 — conf
Refactoring test suites versus test behaviour: a TTCN-3 perspective.
SOQUA
Steve Counsell, Robert M. Hierons
2007 J jnl
Search Algorithms for Regression Test Case Prioritization.
IEEE Trans. Software Eng.
Zheng Li, Mark Harman, Robert M. Hierons
2007 C conf
Thread-Based Analysis of Sequence Diagrams.
FORTE
Haitao Dan, Robert M. Hierons, Steve Counsell
2006 J jnl
A Tribute to Martin Woodward.
Softw. Test. Verification Reliab.
Lee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell
2006 J jnl
Achieving communication coverage in testing.
ACM SIGSOFT Softw. Eng. Notes
Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer
2006 J jnl
Applying adaptive test cases to nondeterministic implementations.
Inf. Process. Lett.
Robert M. Hierons
2006 J jnl
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.
Comput. J.
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2006 J jnl
Avoiding coincidental correctness in boundary value analysis.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons
2006 J jnl
Editorial: Addressing industrial challenges - UKTest 2005 and beyond.
Softw. Test. Verification Reliab.
Phil McMinn, Robert M. Hierons
2006 J jnl
Guest Editorial.
Formal Aspects Comput.
John Derrick, Mark Harman, Robert M. Hierons
2006 J jnl
Improving test quality using robust unique input/output circuit sequences (UIOCs).
Inf. Softw. Technol.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2006 J jnl
Optimizing the Length of Checking Sequences.
IEEE Trans. Computers
Robert M. Hierons, Hasan Ural
2006 J jnl
Overcoming observability problems in distributed test architectures.
Inf. Process. Lett.
Jessica Chen, Robert M. Hierons, Hasan Ural
2006 — ed.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006
ROSATEA
Robert M. Hierons, Henry Muccini
2006 — conf
Programmer's mood and their performance.
ECCE
Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman
2006 J jnl
Separating sequence overlap for automated test sequence generation.
Autom. Softw. Eng.
Robert M. Hierons
2006 J jnl
Software Testing Foundations: A Study Guide for the Certified Tester Exam. By Andreas Spillner, Tilo Linz and Hans Schaefer. Published by dpunkt.verlag, Heidelberg, Germany, 2006, ISBN: 3-89864-363-8, pp 266.
Softw. Test. Verification Reliab.
Robert M. Hierons
2006 J jnl
Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410.
Softw. Test. Verification Reliab.
Robert M. Hierons
2006 — conf
The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph.
TAIC PART
Steve Counsell, Robert M. Hierons, Rajaa Najjar, George Loizou, Youssef Hassoun
2005 J jnl
Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004, ISBN 981-238-854-0.
Softw. Test. Verification Reliab.
Robert M. Hierons
2005 J jnl
Branch-Coverage Testability Transformation for Unstructured Programs.
Comput. J.
Robert M. Hierons, Mark Harman, Chris Fox
2005 J jnl
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.
IEE Proc. Softw.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2005 J jnl
Editorial: Validating our findings.
Softw. Test. Verification Reliab.
Robert M. Hierons
2005 — conf
Eliminating Redundant Tests in a Checking Sequence.
TestCom
Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
2005 A conf
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
GECCO
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2005 C conf
Resolving Observability Problems in Distributed Test Architectures.
FORTE
Jessica Chen, Robert M. Hierons, Hasan Ural
2005 — conf
Search-Based Amorphous Slicing.
WCRE
Deji Fatiregun, Mark Harman, Robert M. Hierons
2005 J jnl
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas.
Comput. J.
Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
2005 J jnl
Unifying program slicing and concept assignment for higher-level executable source code extraction.
Softw. Pract. Exp.
Nicolas E. Gold, Mark Harman, David W. Binkley, Robert M. Hierons
2004 J jnl
A flexible environment to evaluate state-based test techniques.
ACM SIGSOFT Softw. Eng. Notes
Robert M. Hierons
2004 C conf
Amorphous Procedure Extraction.
SCAM
Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons
2004 J jnl
Book Reviews.
Softw. Test. Verification Reliab.
Robert M. Hierons
2004 J jnl
ConSIT: a fully automated conditioned program slicer.
Softw. Pract. Exp.
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
2004 C conf
Conditions for Resolving Observability Problems in Distributed Testing.
FORTE
Jessica Chen, Robert M. Hierons, Hasan Ural
2004 J jnl
Editorial: Software testing in the United Kingdom.
Softw. Test. Verification Reliab.
John A. Clark, Mark Harman, Robert M. Hierons
2004 C conf
Evolving Transformation Sequences using Genetic Algorithms.
SCAM
Deji Fatiregun, Mark Harman, Robert M. Hierons
2004 — conf
How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution.
GECCO (2)
Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons
2004 — conf
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).
GECCO (2)
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2004 — conf
Loop Squashing Transformations for Amorphous Slicing.
WCRE
Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley
2004 J jnl
On the testability of SDL specifications.
Comput. Networks
Robert M. Hierons, T.-H. Kim, Hasan Ural
2004 J jnl
Testability Transformation.
IEEE Trans. Software Eng.
Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper
2004 J jnl
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.
Theor. Comput. Sci.
Robert M. Hierons, Mark Harman
2004 J jnl
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting.
IEEE Trans. Computers
Robert M. Hierons
2004 — ed.
Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings
TestCom
Roland Groz, Robert M. Hierons
2004 J jnl
Using a minimal number of resets when testing from a finite state machine.
Inf. Process. Lett.
Robert M. Hierons
2003 — conf
A Multiple Hill Climbing Approach to Software Module Clustering.
ICSM
Kiarash Mahdavi, Mark Harman, Robert M. Hierons
2003 — conf
Automatically Generating Information from a Z Specification to Support the Classification Tree Method.
ZB
Robert M. Hierons, Mark Harman, Harbhajan Singh
2003 J jnl
Book Reviews.
Softw. Test. Verification Reliab.
Robert M. Hierons
2003 — conf
Computing Unique Input/Output Sequences Using Genetic Algorithms.
FATES
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2003 C conf
Concerning the Ordering of Adaptive Test Sequences.
FORTE
Robert M. Hierons, Hasan Ural
2003 J jnl
Editorial: Testing in the large through the small?
Softw. Test. Verification Reliab.
Robert M. Hierons
2003 J jnl
Equivalence of conservative, free, linear program schemas is decidable.
Theor. Comput. Sci.
Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd
2003 A conf
Finding Building Blocks for Software Clustering.
GECCO
Kiarash Mahdavi, Mark Harman, Robert M. Hierons
2003 J jnl
Formulating software engineering as a search problem.
IEE Proc. Softw.
John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd
2003 J jnl
Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine.
Comput. J.
Robert M. Hierons
2003 A conf
Search Based Transformations.
GECCO
Deji Fatiregun, Mark Harman, Robert M. Hierons
2003 J jnl
UIO sequence based checking sequences for distributed test architectures.
Inf. Softw. Technol.
Robert M. Hierons, Hasan Ural
2003 — conf
Unions of Slices Are Not Slices.
CSMR
Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke
2002 A conf
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
GECCO
Mark Harman, Robert M. Hierons, Mark Proctor
2002 — conf
A Post-Placement Side-Effect Removal Algorithm.
ICSM
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
2002 — conf
Code Extraction Algorithms which Unify Slicing and Concept Assignment.
WCRE
Mark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley
2002 J jnl
Comparing test sets and criteria in the presence of test hypotheses and fault domains.
ACM Trans. Softw. Eng. Methodol.
Robert M. Hierons
2002 J jnl
Conditioned slicing supports partition testing.
Softw. Test. Verification Reliab.
Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi
2002 J jnl
Editorial: Formal methods and testing.
Softw. Test. Verification Reliab.
Robert M. Hierons
2002 — conf
Evolutionary Testing Supported by Slicing and Transformation.
ICSM
Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel
2002 B conf
Expanding an Extended Finite State Machine to aid Testability.
COMPSAC
Robert M. Hierons, T.-H. Kim, Hasan Ural
2002 B conf
FORTEST: Formal Methods and Testing.
COMPSAC
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause
2002 A conf
Improving Evolutionary Testing By Flag Removal.
GECCO
Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer
2002 J jnl
Reduced Length Checking Sequences.
IEEE Trans. Computers
Robert M. Hierons, Hasan Ural
2002 C conf
VADA: A Transformation-Based System for Variable Dependence Analysis.
SCAM
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
2001 J jnl
An overview of program slicing.
Softw. Focus
Mark Harman, Robert M. Hierons
2001 — conf
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.
IWPC
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
2001 J jnl
Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885.
Softw. Test. Verification Reliab.
Robert M. Hierons
2001 J jnl
Checking states and transitions of a set of communicating finite state machines.
Microprocess. Microsystems
Robert M. Hierons
2001 — conf
Node Coarsening Calculi for Program Slicing.
WCRE
Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox
2001 — conf
Pre/Post Conditioned Slicing.
ICSM
Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd
2001 J jnl
Real-Time Systems and Software.
Softw. Focus
Robert M. Hierons
2001 J jnl
Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults.
Inf. Softw. Technol.
Robert M. Hierons
2001 J jnl
Testing a system specified using Statecharts and Z.
Inf. Softw. Technol.
Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh
2000 — conf
ConSIT: A Conditioned Program Slicer.
ICSM
Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic
2000 J jnl
Editorial: special issue on specification-based testing.
Softw. Test. Verification Reliab.
Robert M. Hierons, John Derrick
2000 J jnl
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.
Formal Aspects Comput.
Robert M. Hierons, Mark Harman
2000 J jnl
Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review).
Softw. Test. Verification Reliab.
Robert M. Hierons
1999 J jnl
Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review).
Softw. Test. Verification Reliab.
Robert M. Hierons
1999 J jnl
Editorial: What does testing tell us?
Softw. Test. Verification Reliab.
Robert M. Hierons
1999 J jnl
Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review).
Softw. Test. Verification Reliab.
Robert M. Hierons
1999 J jnl
Minimizing the Cost of Fault Location when Testing from a Finite State Machine.
Comput. Commun.
Robert M. Hierons
1999 — conf
Program Simplification as a Means of Approximating Undecidable Propositions.
IWPC
Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic
1999 J jnl
Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.).
Comput. Commun.
Robert M. Hierons
1999 J jnl
Using Program Slicing to Assist in the Detection of Equivalent Mutants.
Softw. Test. Verification Reliab.
Robert M. Hierons, Mark Harman, Sebastian Danicic
1998 J jnl
Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine.
Comput. J.
Robert M. Hierons
1998 J jnl
The Zero-Free Intervals for Characteristic Polynomials of Matroids.
Comb. Probab. Comput.
Hugh Edwards, Robert M. Hierons, Bill Jackson
1997 J jnl
Estimation of Failure Rate using Random and Partition Testing.
Softw. Test. Verification Reliab.
Robert M. Hierons, Michael P. Wiper
1997 J jnl
Testing from a Finite-State Machine: Extending Invertibility to Sequences.
Comput. J.
Robert M. Hierons
1997 J jnl
Testing from a Z Specification.
Softw. Test. Verification Reliab.
Robert M. Hierons
1997 J jnl
testing from semi-independent communicating finite state machines with a slow environment.
IEE Proc. Softw. Eng.
Robert M. Hierons
1996 J jnl
Extending Test Sequence Overlap by Invertibility.
Comput. J.
Robert M. Hierons
1992 — —
Using formal specifications to enhance the software testing process.
Robert M. Hierons