Centre for Applied Formal Methods

EPSRC FORTEST Network
Formal Methods and Testing

Faculty of Business, Computing and Information Management
London South Bank University

Below are links to information on the UK EPSRC-funded FORTEST network on formal methods and testing of possible interest to members of the Centre and others.

News

FORTEST meeting, Boardroom/Conference Room, Technopark, 23-24 October 2003

From November 2001, the Centre is participating in the EPSRC FORTEST network on formal methods and testing, led by Rob Hierons of the Department of Information Systems and Computing at Brunel University. The first technical meeting was held on Thursday 22 November 2001 in the St. John's Building on the campus of Brunel University. Contact Rob Hierons for further details and to join the mailing list to receive information on meetings. See below for dates of 2002 meetings.

Personnel

The following people at London South Bank University are or have been involved with the FORTEST network:

Sites

The following sites are members of the FORTEST network:

Academic partners:: Brunel University, University of Kent at Canterbury, The University of Liverpool, University of Oxford, The University of Sheffield, London South Bank University, University of Surrey, The University of York.
Industrial partners:: DaimlerChrysler, Philips Digital Systems Laboratories, Praxis Critical Systems Ltd, QinetiQ, Telelogic.

Meetings

The following meetings are relevant to the FORTEST network:

2001

1st workshop, Brunel University, 21-22 November 2001.
Presentation of Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing by Sergiy Vilkomir in preparation for ZB2002.
Jonathan Bowen, Sue Black and Kalpesh Kapoor also attended.

2002

ZB2002: 2nd International Conference of Z and B Users, Grenoble, France, 23-25 January 2002.
Presentation: Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing, Sergiy Vilkomir and Jonathan P. Bowen.
Published in Proc. ZB2002, Springer-Verlag, LNCS 2272, pages 295-313, 2002.
Attendance of Sergiy Vilkomir was partially supported by the FORTEST network.
2nd workshop, Brunel University, 25-26 March 2002.
3rd workshop, University of Kent at Canterbury, 17-18 June 2002.
Presentation: Towards an experimental study of formalized RC/DC and MC/DC software testing criteria, Sergiy Vilkomir, Kalpesh Kapoor, and Jonathan P. Bowen.
FATES'02: Formal Approaches To Testing 2002, Brno, Czech Republic, 24 August 2002.
A satellite workshop of CONCUR 2002.
COMPSAC 2002: 26th IEEE Annual International Computer Software and Applications Conference, Keble College, Oxford, England, 26-29 August 2002.
Panel session on Formal Methods and Testing, chaired by Jonathan P. Bowen.
Participants: Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause. (See abstract.)
4th workshop, The University of York, 12-13 September 2002.
Co-sponsored by the BCS-FACS Specialist Group on 13 September 2002. (See BCS-FACS FORTEST information.)

2003

5th workshop, University of Sheffield, 6-7 January 2003.
6th workshop, Praxis Critical Systems, Bath, 24-25 April 2003.
ZB2003: 3rd International Conference of B and Z Users, Turku, Finland, 4-6 June 2003.
7th workshop, University of Surrey, 22-23 July 2003.
UK-Test 2003 Workshop, York, UK, 4-5 September 2003.
8th workshop, London South Bank University, 23-24 October 2003.
Supported by the BCS-FACS Specialist Group on 24 October 2003. (See BCS-FACS FORTEST information.)

2004

9th workshop, University of Kent, Canterbury, 7 April 2004. In association with the IFM 2004 Conference.
10th workshop, IBM Hursley Park, Winchester, 21-22 October 2004

2005

11th workshop, Cumberland Lodge, Great Windsor Park, 9-10 March 2005

See also local seminars and other meetings relevant to CAFM members.