The Home Page of Rob Hierons

Department of Computer Science, The University of Sheffield, Sheffield, UK, S1 4DP,

Brief Details

I received a BA in Mathematics (Trinity College, Cambridge), and a Ph.D. in Computer Science (Brunel University). I then joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, as a lecturer in computer science before returning to Brunel University in 2000. I moved to The University of Sheffield in 2018. I have chaired or co-chaired several events including the 16th IFIP TC 6 / WG 6.1 International Conference on Testing of Communicating Systems (TestCom 2004), the first IEEE International Conference on Software Testing, Verification and Validation, ICST 2008, the 11th International Conference On Quality Software (QSIC 2011), and the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013). I currently chair the steering committee of the IFIP TC 6 / WG 6.1 International Conference on Testing Software and Systems (IFIP ICTSS). The next edition of ICTSS, ICTSS 2020, will be in Naples. I am joint Editor of The Journal of Software Testing, Verification and Reliability and am on the editorial boards of The Computer Journal and Formal Aspects of Computing.

My main research largely concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. Please feel free to contact me if you are interested in studying for a Ph.D.

Edited Books

Conferences and workshops (as general or PC co-chair)

Journal Publications

Conference and Workshop papers

For copies of these papers, or more information on this page's author, please email me.

Last updated: October 2021.

Disclaimer The contents of this page falls outside the responsibility of The University of Sheffield.