FATES International Workshop on Formal Approaches to Software Testing Search within this conference 2009 FATES 2009 2-4 November Eindhoven, The Netherlands Testing of Software and Communication Systems 19 Papers 1 Volume 2008 FATES 2008 10-13 June Tokyo, Japan Testing of Software and Communicating Systems 20 Papers 1 Volume 2007 FATES 2007 26-29 June Tallinn, Estonia Testing of Software and Communicating Systems 26 Papers 1 Volume 2006 FATES 2006 15-16 August Seattle, WA, USA Formal Approaches to Software Testing and Runtime Verification 16 Papers 1 Volume 2005 FATES 2005 11 July Edinburgh, United Kingdom Formal Approaches to Software Testing 14 Papers 1 Volume 2004 FATES 2004 21 September Linz, Austria Formal Approaches to Software Testing 15 Papers 1 Volume 2003 FATES 2003 6 October Montreal, QC, Canada Formal Approaches to Software Testing 18 Papers 1 Volume