Formal Approaches to Testing of Software FATES'01

This volume contains the proceedings of FATES '01 held at the University of Aalborg on August 25, 2001, as a satellite workshop of CONCUR '0