The Home Page of Rob Hierons
Department of Mathematical and Computing Sciences,
University of London,
+44 (0)20 7919 7854, fax +44 (0)20 7919 7853
I received a BA in Mathematics
(First Class Honours, Trinity College, Cambridge, 1987), and a Ph.D. in Computer
Science (Brunel, 1993). In September 1992 I joined the Department of Mathematical and
Computing Sciences at Goldsmiths College, University of London, as a
lecturer in computer science.
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
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
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.
For copies of these papers, or more information on this page's author, please send an email to
Liverpool Football Club
The music of Joy Division and
The Sisters of Mercy
Last updated: Thursday, May 25, 2000.
Disclaimer Everything under More Details falls outside the
responsibility of Goldsmiths College.