Robert M. Hierons

No bio available. Add one in Open Library.

Books by Robert M. Hierons (50 max)

+ shelf+ list

Formal methods and testing: an outcome of the FORTEST network : revised selected papers

2008

Robert M. Hierons, J. P. Bowen, Mark Harman

+ shelf+ list

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

2013

Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

+ shelf+ list

Using formal specifications to enhance the software testing process.

1992

Robert M. Hierons

+ shelf+ list

Testing of Communicating Systems 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. , Proceedings

2004

Roland Groz, Robert M. Hierons