| 2026 | FOSSACS | Complete FSM Testing Using Strong Separability. | Robert M. Hierons, Mohammad Reza Mousavi |
| 2026 | ICST | How Effective are Coverage- and Diversity-Based Test Selection at Killing Stubborn Mutants? | Islam T. Elgendy, Robert M. Hierons, Phil McMinn |
| 2025 | EASE | Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study. | Michael Foster, Robert M. Hierons, Donghwan Shin, Neil Walkinshaw, Christopher Wild |
| 2025 | EASE | Empirically Evaluating the Use of Bytecode for Diversity-Based Test Case Prioritisation. | Islam T. Elgendy, Robert M. Hierons, Phil McMinn |
| 2024 | AST | Evaluating String Distance Metrics for Reducing Automatically Generated Test Suites. | Islam T. Elgendy, Robert M. Hierons, Phil McMinn |
| 2024 | ICST | Causal Test Adequacy. | Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw |
| 2023 | ICECCS | Challenges in testing of cyclic systems. | Ana Cavalcanti, Robert M. Hierons |
| 2023 | ICST | Metamorphic Testing with Causal Graphs. | Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons |
| 2022 | MODELS | Reliable counterparts: efficiently testing causal relationships in digital twins. | Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons |
| 2021 | LICS | Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. | Maciej Gazda, Robert M. Hierons |
| 2020 | ICFEM | Four-Valued Monitorability of mega-Regular Languages. | Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu |
| 2019 | QUATIC | Local Observability and Controllability Enforcement in Distributed Testing. | Bruno Lima, Joo Pascoal Faria, Robert M. Hierons |
| 2019 | SEFM | An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. | Raluca Lefticaru, Robert M. Hierons, Manuel Nez |
| 2019 | TAP | Testing Robots Using CSP. | Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru |
| 2017 | RE | Integrating Graphical and Natural Language Specifications to Support Analysis and Testing. | Christopher L. Robinson-Mallett, Robert M. Hierons |
| 2017 | SOFSEM | Hardness of Deriving Invertible Sequences from Finite State Machines. | Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Trker |
| 2016 | LICS | Decidability and Complexity for Quiescent Consistency. | Brijesh Dongol, Robert M. Hierons |
| 2016 | TASE | A Suspension-Trace Semantics for CSP. | Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio |
| 2014 | ICSE | An analysis of the relationship between conditional entropy and failed error propagation in software testing. | Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman |
| 2013 | FASE | Testing with Inputs and Outputs in CSP. | Ana Cavalcanti, Robert M. Hierons |
| 2013 | FASE | Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. | Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett |
| 2013 | FORTE | Passive Testing with Asynchronous Communications. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2013 | ICST | Conditional-Based Refactorings and Fault-Proneness: An Empirical Study. | Steve Counsell, Matt Gatrell, Robert M. Hierons, Alessandro Murgia, Roberto Tonelli, Michele Marchesi, Giulio Concas |
| 2012 | COMPSAC | Model Based Test Automation through Asynchronous Channels. | Robert M. Hierons |
| 2012 | COMPSAC | Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata. | Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons |
| 2012 | FM | Using Time to Add Order to Distributed Testing. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2012 | ICST | Semantic Mutation Analysis of Floating-Point Comparison. | Haitao Dan, Robert M. Hierons |
| 2012 | ICST | SMT-C: A Semantic Mutation Testing Tools for C. | Haitao Dan, Robert M. Hierons |
| 2011 | ICST | Conformance Testing from Message Sequence Charts. | Haitao Dan, Robert M. Hierons |
| 2011 | IWANN | A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2011 | IWANN | Experimental Comparison of Different Techniques to Generate Adaptive Sequences. | Carlos Molinero, Manuel Nez, Robert M. Hierons |
| 2010 | FORTE | Testing Probabilistic Distributed Systems. | Robert M. Hierons, Manuel Nez |
| 2010 | ICSE | Is a strategy for code smell assessment long overdue? | Steve Counsell, Robert M. Hierons, Hamza Hamza, Sue Black, M. Durrand |
| 2010 | ICST | Semantic Mutation Testing. | John A. Clark, Haitao Dan, Robert M. Hierons |
| 2010 | ICST | Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
| 2010 | ICST | Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Corts |
| 2010 | RCIS | An Evolutionary Study of Fan-in and Fan-out Metrics in OSS. | Asma Mubarak, Steve Counsell, Robert M. Hierons |
| 2010 | SEFM | Non-local Choice and Implied Scenarios. | Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2009 | AINA | JPEG Steganography: A Performance Evaluation of Quantization Tables. | Adel Almohammad, Gheorghita Ghinea, Robert M. Hierons |
| 2009 | EASE | Does an 80: 20 rule apply to Java coupling? | Asma Mubarak, Steve Counsell, Robert M. Hierons |
| 2009 | ICST | Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
| 2009 | IWANN | Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2009 | SEFM | Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2009 | SEFM | Simulation Relations for Systems with Distributed Interfaces. | Robert M. Hierons, Manuel Nez |
| 2008 | ATVA | Controllable Test Cases for the Distributed Test Architecture. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2008 | SAC | Using adaptive distinguishing sequences in checking sequence constructions. | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2008 | SEFM | Extending Stream X-Machines to Specify and Test Systems with Timeouts. | Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2007 | AICCSA | A Meta-analysis Approach to Refactoring and XP. | Steve Counsell, Robert M. Hierons, George Loizou |
| 2007 | FORTE | Thread-Based Analysis of Sequence Diagrams. | Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2007 | SEFM | A Thread-tag Based Semantics for Sequence Diagrams. | Haitao Dan, Robert M. Hierons, Steve Counsell |
| 2005 | FORTE | Resolving Observability Problems in Distributed Test Architectures. | Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2005 | GECCO | Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
| 2004 | FORTE | Conditions for Resolving Observability Problems in Distributed Testing. | Jessica Chen, Robert M. Hierons, Hasan Ural |
| 2004 | GECCO | How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. | Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons |
| 2004 | GECCO | Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
| 2004 | SCAM | Evolving Transformation Sequences using Genetic Algorithms. | Deji Fatiregun, Mark Harman, Robert M. Hierons |
| 2004 | SCAM | Amorphous Procedure Extraction. | Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons |
| 2003 | FORTE | Concerning the Ordering of Adaptive Test Sequences. | Robert M. Hierons, Hasan Ural |
| 2003 | GECCO | Search Based Transformations. | Deji Fatiregun, Mark Harman, Robert M. Hierons |
| 2003 | GECCO | Finding Building Blocks for Software Clustering. | Kiarash Mahdavi, Mark Harman, Robert M. Hierons |
| 2002 | COMPSAC | FORTEST: Formal Methods and Testing. | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause |
| 2002 | COMPSAC | Expanding an Extended Finite State Machine to aid Testability. | Robert M. Hierons, T.-H. Kim, Hasan Ural |
| 2002 | GECCO | Improving Evolutionary Testing By Flag Removal. | Mark Harman, Lin Hu, Robert M. Hierons, Andr Baresel, Harmen Sthamer |
| 2002 | GECCO | A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. | Mark Harman, Robert M. Hierons, Mark Proctor |
| 2002 | SCAM | VADA: A Transformation-Based System for Variable Dependence Analysis. | Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener |