East Midlands Branch

THE INSTITUTE OF MATHEMATICS AND ITS APPLICATIONS

Mathematics of Software Testing

A talk by

Prof Rob Hierons

(Brunel University)

Tuesday 16 November 2004

starting at 7.30 pm

Heap Lecture Theatre

University of Derby, Kedleston Road

Abstract

Software testing is an important field where mathematics can be employed to develop efficient and effective test regimes. This talk demonstrates how the process of software testing (essentially an NP problem) can be carried out in a reasonable time.

No charge is made to attend meetings, non-IMA members are welcome

For further details of this event or other East Midlands Branch activities consult the Web Site http://science.ntu.ac.uk/msor/ccb/ima.html or by contacting the Branch General Secretary:

Dr Stephen Hibberd, School of Mathematical Sciences, University of Nottingham

Tel. (0115) 9513841 email: Stephen.Hibberd@nottingham.ac.uk