TRUST
(Testing for Reliability Using Systematic Techniques)
Duration: 1986-89
Funding source: ESPRIT
Partners: University of Liverpool; Liverpool Data Research Associates Ltd; Software Engineering Services GmbH, Munich; John Bell Systems Ltd
Funding to CSR: £98,000