EPSRC logo

Details of Grant 

EPSRC Reference: GR/R43150/01
Title: NETWORK: Formal Methods and Testing (FORTEST)
Principal Investigator: Hierons, Professor R
Other Investigators:
Woodcock, Professor JCP Harman, Professor M Holcombe, Professor M
Bogdanov, Dr K Holcombe, Professor WML Mander, Professor K
Bowen, Professor JP Clark, Professor JA Cowling, Eur Ing Dr A
King, Dr S Gheorghe, Professor M Simons, Dr AJH
Derrick, Professor J Woodward, Dr M
Researcher Co-Investigators:
Project Partners:
Altran UK Ltd DaimlerChrysler Philips
QinetiQ Telelogic Technologies Uk Ltd
Department: Information Systems & Computing
Organisation: Brunel University London
Scheme: Standard Research (Pre-FEC)
Starts: 01 November 2001 Ends: 30 April 2005 Value (£): 63,158
EPSRC Research Topic Classifications:
Fundamentals of Computing Software Engineering
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
FORTEST will build a new community that will explore ways in which formal methods and software testing complement. This will allow these fields to inform one another in a systematic and effective manner and thus facilitate the development of new approaches and techniques that assist the production of high quality software. The significance of this topic and the lack of any large UK groups, working on links between testing and formal methods, make it vital that such a network is established in the near future. The main aims of FORTEST are: to bring together academics and industrialists interested in formal methods and software testing; to stimulate collaboration between individuals and groups in these fields; and to disseminate problems and results to researchers and practitioners in these two fields and to the wider Software Engineering community.The network will focus on the following problems: How can the relationships between formal methods and software testing be utilised? ; How can the software development process be adapted in ways that simplify the utilisation of these relationships? ; and How can techniques, developed to utilise the relationships between formal methods and testing, be automated? .
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.brunel.ac.uk