Robert M. Hierons

Software · 2007–2009

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 10 researchers here, as inferred from the citation graph.

Subfields

Whom Robert M. Hierons trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Thomas Ball
  2. Gerhard Reinelt
  3. Gregg Rothermel
  4. Sebastian G. Elbaum
  5. Edmund M. Clarke
  6. Mark Harman
  7. Sriram K. Rajamani

Who trusts Robert M. Hierons overall

  1. Mark Harman
  2. Phil McMinn
  3. Shin Yoo
  4. Changhai Nie

Papers from Robert M. Hierons's perspective

Ordered by how strongly the researchers Robert M. Hierons trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Automatically validating temporal safety properties of interfaces (SPIN)
  2. Incorporating varying test costs and fault severities into test case prioritization (Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001)
  3. A history-based test prioritization technique for regression testing in resource constrained environments (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  4. Test Case Prioritization: A Family of Empirical Studies (IEEE Trans. Software Eng.)
  5. Effectively prioritizing tests in development environment (International Symposium on Software Testing and Analysis)
  6. Program slicing (2008 Frontiers of Software Maintenance)
  7. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  8. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence
  9. In Modern Heuristic Techniques for Combinatorial Problems
  10. Model checking (Communications of the ACM)

Their papers