############################################################
            Department of Computer Science, FEIT
             The Australian National University
############################################################

Date:  Wednesday, 20 July 2005
Time:  4:00 pm to 5:00 pm
Venue: Room N101, CSIT Building [108]


Speaker: Dr Michael Norrish, Post-doctoral Research Fellow, NICTA

Title:   Finding Bugs by Testing


Abstract:

 I will describe how my colleagues and I have found bugs in real-world
 TCP/IP and UDP implementations (mainly BSD's but also in Linux and
 Windows XP) by testing.  In more detail, I will describe how such an
 activity is only possible by first constructing a detailed formal
 description of what exactly the TCP/IP stack is supposed to be doing
 in the first place.

 Further, because of the presence of significant non-determinism, the
 task of determining whether or not observed behaviours are in error or
 not is non-trivial.  I will describe the way in which this
 non-determinism is handled.

Biography:

 Michael is a post-doctoral research fellow employed by NICTA in the Logic 
 and Computation programme. His research interests are in formal methods,
 Interactive theorem-proving and formal semantics.


For more information: email Michael.Norrish[at]nicta.com.au

URL: http://cs.anu.edu.au/lib/seminars/seminars05/dept20050720


############################################################
Seminars homepage:  http://cs.anu.edu.au/seminars/

If you like to give a seminar please contact:
                           seminars-admin [at] cs.anu.edu.au
############################################################