Professor Rob Hierons

BA, PhD

Department of Computer Science

Chair in Testing

Director of Research

Head of the Testing research group

Rob Hierons profile photo
Profile picture of Rob Hierons profile photo
R.Hierons@sheffield.ac.uk
+44 114 222 1804

Full contact details

Professor Rob Hierons
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Profile

Rob Hierons received a BA in Mathematics (Trinity College, Cambridge), and a Ph.D. in Computer Science (Brunel University). He then joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, before returning to Brunel University in 2000.

He was promoted to full Professor in 2003 and joined The University of Sheffield in 2018.

Research interests

Professor Hierons’ research largely concerns software testing. The main aim of this research is to devise automated techniques (and tools) that generate efficient, systematic test suites on the basis of program code, models or specifications.

Progress in this area can help industry to produce higher quality software and potentially to do so more quickly. He has recently become interested in the testing of autonomous systems, with a particular focus on robotics.

Publications

Books

  • (2021) Software Engineering for Robotics. Springer International Publishing. RIS download Bibtex download
  • Hierons RM & Mosbah M (2019) Preface. RIS download Bibtex download
  • Hierons RM, Merayo MG & Bravetti M (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. RIS download Bibtex download
  • Groz R & Hierons RM (2004) Preface. RIS download Bibtex download

Journal articles

Chapters

Book reviews

Conference proceedings papers

Datasets

Preprints

  • Clark AG, Foster M, Prifling B, Walkinshaw N, Hierons RM, Schmidt V & Turner RD (2022) Testing Causality in Scientific Modelling Software, arXiv. RIS download Bibtex download
  • Clark AG, Walkinshaw N & Hierons RM (2021) Test case generation for agent-based models: A systematic literature review, arXiv. RIS download Bibtex download
  • Chen Z, Chen Y, Hierons RM & Wu Y (2020) Four-valued monitorability of $omega$-regular languages, arXiv. RIS download Bibtex download
  • Danicic S, Hierons RM & Laurence MR (2017) Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas, arXiv. RIS download Bibtex download
  • Danicic S, Hierons RM & Laurence MR (2017) On the computational complexity of dynamic slicing problems for program schemas, arXiv. RIS download Bibtex download
  • Dongol B & Hierons RM (2015) Decidability and Complexity for Quiescent Consistency and its Variations, arXiv. RIS download Bibtex download
  • Hierons RM (2011) Checking Finite State Machine Conformance when there are Distributed Observations, arXiv. RIS download Bibtex download
  • Danicic S, Hierons RM & Laurence MR (2010) Complexity of Data Dependence problems for Program Schemas with Concurrency, arXiv. RIS download Bibtex download
Grants

Current grants

Previous grants

Professional activities and memberships

Member of the Testing research group