World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
51
Citations
10212
World Ranking
5348
National Ranking
321

Overview

Robert M. Hierons is affiliated with the University of Sheffield in the United Kingdom. Their research primarily falls within the field of Computer Science, with a focus on software-related topics and methodologies.

Their work covers several subfields of study, including Software, Artificial Intelligence, Information Systems, Computational Theory and Mathematics, and Computer Networks and Communications. These areas reflect an interdisciplinary approach integrating theory and practical application within computer science.

The main topics of Robert M. Hierons' research include:

  • Software Testing and Debugging Techniques
  • Software Reliability and Analysis Research
  • Software Engineering Research
  • Formal Methods in Verification
  • Software System Performance and Reliability
  • Machine Learning and Algorithms
  • VLSI and Analog Circuit Testing

Frequent publication venues for this researcher are:

  • Software Testing Verification and Reliability
  • arXiv (Cornell University)
  • IEEE Transactions on Software Engineering
  • Information and Software Technology
  • ACM Transactions on Software Engineering and Methodology

Collaborations have been established with a number of frequent co-authors, reflecting an active role within a research network. These collaborators include:

  • Neil Walkinshaw
  • Tao Xie
  • Manuel Núñez
  • Uraz Cengiz Türker
  • Mohammad Reza Mousavi

Representative recent publications by Robert M. Hierons include:

  • "Many-Objective Test Suite Generation for Software Product Lines," 2020, ACM Transactions on Software Engineering and Methodology
  • "Digital-twin-based testing for cyber-physical systems: A systematic literature review," 2022, Information and Software Technology (authored by Richard Somers)
  • "TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems," 2020, IEEE Transactions on Reliability (authored by Alberto Núñez)
  • "Test case generation for agent-based models: A systematic literature review," 2021, Information and Software Technology (authored by Andrew G. Clark)
  • "Testing Causality in Scientific Modelling Software," 2023, ACM Transactions on Software Engineering and Methodology (authored by Andrew G. Clark)

Best Publications

  • Search Algorithms for Regression Test Case Prioritization

    Z. Li;M. Harman;R.M. Hierons

  • Using formal specifications to support testing

    Robert M. Hierons;Kirill Bogdanov;Jonathan P. Bowen;Rance Cleaveland

  • Reformulating software engineering as a search problem

    J Clarke;J J Dolado;Mark Harman;R Hierons

  • Testability transformation

    M. Harman;L. Hu;R. Hierons;J. Wegener

  • Using Program Slicing to Assist in the Detection of Equivalent Mutants

    Robert Mark Hierons;Mark Harman;Sebastian Danicic

  • Smart contracts vulnerabilities: a call for blockchain software engineering?

    Giuseppe Destefanis;Michele Marchesi;Marco Ortu;Roberto Tonelli

  • An overview of program slicing

    Mark Harman;Robert Mark Hierons

  • A multiple hill climbing approach to software module clustering

    K. Mahdavi;M. Harman;R.M. Hierons

  • How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution

    Konstantinos Adamopoulos;Mark Harman;Robert M. Hierons

  • A new representation and crossover operator for search-based optimization of software modularization

    Mark Harman;Robert M. Hierons;Mark Proctor

  • Testing from a Z Specification

    Robert M. Hierons

  • Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)

    Abdul Salam Kalaji;Robert Mark Hierons;Stephen Swift

  • Do moods affect programmers’ debug performance?

    Iftikhar Ahmed Khan;Willem-Paul Brinkman;Robert M. Hierons

  • Improving Evolutionary Testing By Flag Removal

    Mark Harman;Lin Hu;Robert M. Hierons;André Baresel

  • Computing Unique input/output sequences using genetic algorithms

    Qiang Guo;Robert M. Hierons;Mark Harman;Karnig Derderian

  • Optimizing the length of checking sequences

    R.M. Hierons;H. Ural

  • Testing from a nondeterministic finite state machine using adaptive state counting

    R.M. Hierons

  • SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization

    Robert M. Hierons;Miqing Li;Xiaohui Liu;Sergio Segura

  • Reduced length checking sequences

    R.M. Hierons;H. Ural

  • Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs

    Karnig Derderian;Robert M. Hierons;Mark Harman;Qiang Guo

  • Formulating software engineering as a search problem.

    John A. Clark;José Javier Dolado;Mark Harman;Robert M. Hierons

  • ConSUS: A lightweight program conditioner

    Sebastian Danicic;Mohammed Daoudi;Chris Fox;Mark Harman

  • Reformulating software engineering as a search

    J. Clarke;M. Harman;R. Hierons;B. Jones

Frequent Co-Authors

Mark Harman
Mark Harman University College London
Steve Counsell
Steve Counsell Brunel University London
David Binkley
David Binkley Loyola University Maryland
Jonathan P. Bowen
Jonathan P. Bowen London South Bank University
John Derrick
John Derrick University of Sheffield
Antonio Ruiz-Cortés
Antonio Ruiz-Cortés University of Seville
David Benavides
David Benavides University of Seville
Marc Roper
Marc Roper University of Strathclyde
Xiaohui Liu
Xiaohui Liu Brunel University London
David M. Clark
David M. Clark University of Oxford

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science studies in the USA opens doors to many flexible online options. Students seeking a fast entry into the tech field may consider associate degrees, which provide practical skills and can be completed relatively quickly. For those planning a longer academic journey, fully online programs from online accredited colleges ensure quality and recognition, supporting transfer credits or further study.

Aspiring educators looking to advance into leadership roles might explore the cheapest doctorate of education online options, some of which feature specializations in educational technology or online instruction. In fields blending creativity and technology, such as video games, pursuing a game art degree online can lead to exciting roles in game development, animation, or digital design.

Each pathway offers unique opportunities, affordability, and career prospects. Choose a program that matches your goals, whether entering the workforce quickly, seeking advanced credentials, or specializing in a dynamic industry.

Best Scientists Citing Robert M. Hierons

Trending Scientists

Recently Published Articles