Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software Fates 2003 Montreal, Quebec, Canada, October 6th, 2003 Revised Papers

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held in Montreal, Quebec, Canada, on October 6th, 2003. The 18 revised full papers presented were carefully selected from 43 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program testing and analysis, test theory and test derivation algorithms, and test methods and test tools.Petrenko, Alexandre is the author of 'Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software Fates 2003 Montreal, Quebec, Canada, October 6th, 2003 Revised Papers', published 2004 under ISBN 9783540208945 and ISBN 3540208941.