Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, Fates 2003 Montreal, Quebec, Canada, October 2003, Revised Papers |
|
| Editor:
| Petrenko, Alexandre
Ulrich, Andreas |
| ISBN: | 978-1-280-30676-1 |
| Publication Date: | Jan 2005 |
| Publisher: | Springer
|
| Book Format: | Ebook |
| List Price: | USD $64.80 |
Book Description:
|
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.
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.