Formal methods and testing: an outcome of the FORTEST network
Authors:
Robert M. Hierons;Jonathan P. Bowen;Mark Harman
Affiliations:
Brunel University, School of Information Systems, Computing and Mathematics, Uxbridge, Middlesex, UK;King's College London, Department of Computer Science, London, UK;King's College London, Department of Computer Science, London, UK
Venue:
Formal methods and testing: an outcome of the FORTEST network