r.hierons@gold.ac.uk, phone +44 (0)20 7919 7854, fax +44 (0)20 7919 7853

Brief Details

I am a member of the BCS, the IEEE and the IEEE Computer Society. I am reviews editor for The Journal of Software Testing, Verification and Reliability and a member of the BCS Information Systems Examination Board - Software Testing.

My current research interests include: testing from Finite State Machines and Communicating Finite State Machines, testing from Z specifications, mutation testing, program slicing, matroid theory, graph theory and comparing test techniques.

Please note, I have now moved to Brunel University. My new Home Page can be accessed here

Journal Publications

• R.M. Hierons, M. Harman and S. Danicic, 1999, Using Program Slicing to Assist in the Detection of Equivalent Mutants, The Journal of Software Testing, Verification, and Reliability 9 4, pp. 233-262.
• R.M. Hierons, 1999, Minimizing the cost of Fault Location when testing from a Finite State Machine, Computer Communications 22 2, pp. 120-127.
• R.M. Hierons, 1998, Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine, The Computer Journal, 41 5, pp. 349-355.
• M.P. Wiper, D. Ríos Insua and R.M. Hierons, 1998, Bayesian Inference and Optimal Release Times for Two Software Failure Models, Revista De La Real Academia de Ciencias: Exactas, Fisiscas Y Naturales , 92 4, pp. 323-328.
• H. Edwards, R.M. Hierons, and B. Jackson, 1998, The Zero-free Intervals for Characteristic Polynomials of Matroids, The Journal of Combinatorics, Probability, and Computing, 7 2, pp. 153-165.
• R.M. Hierons, 1997, Testing from semi-independent communicating finite state machines with a slow environment, IEE Proceedings on Software Engineering 144 5-6, pp. 291-295.
• R.M. Hierons, 1997, Testing From a Finite State Machine: Extending Invertibility to Sequences, The Computer Journal, 40 4, pp. 220-230.
• R.M. Hierons and M.P. Wiper, 1997, Estimating Failure Rates by Partition and Random Testing, The Journal of Software Testing, Verification, and Reliability, 7 3, pp. 153-164.
• R.M. Hierons, 1997, Testing from a Z specification, The Journal of Software Testing, Verification, and Reliability 7 1, pp. 19-33.
• R.M. Hierons, 1996, Extending Test Sequence Overlap by Invertibility, The Computer Journal 39 4, pp. 325-330.

Refereed Conferences and Workshops

• Stuart Reid, Mark Harman, Rob Hierons, Mike Holcombe, Bryan Jones, Marc Roper, Martin Woodward, 1999, A Framework for Measurement in Software Testing , 7th European International Conference Software Testing Analysis & Review (EuroSTAR'99), Princesa Sophia Intercontinental Hotel, BARCELONA, Spain 8-12 November, 1999. (o appear).
• Mark Harman, Rob Hierons, Mike Holcombe, Bryan Jones, Stuart Reid, Marc Roper, Martin Woodward, 1999, Towards a Maturity Model for Empirical Studies of Software Testing, Fifth Workshop on Empirical Studies of Software Maintenance (WESS'99), Friday 3 - Saturday 4, September 1999 Keble College, Oxford, UK. (to appear).
• Mark Harman, Chris Fox, Rob Hierons, David Binkley and Sebastian Danicic, 1999, Program Simplification as a Means of Approximating Undecidable Propositions, 7th IEEE International Workshop on Program Comporehension (IWPC'99) , Carnegie Mellon University, Pittsburgh, PA, USA, May 5th - 7th, pages 208-217.

Interests

• Department of Mathematical and Computing Sciences
• VAST Research Group
• Goldsmiths Home Page
• Goldsmiths Computing Seminars