dblp.uni-trier.de www.uni-trier.de

International Workshop on Formal Approaches to Testing of Software

8. FATES / 20. TestCom 2008: Tokyo, Japan

Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (Eds.): Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5047 Springer 2008, ISBN 978-3-540-68514-2
Contents BibTeX

7. FATES / 19. TestCom 2007: Tallinn, Estonia

Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (Eds.): Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Lecture Notes in Computer Science 4581 Springer 2007, ISBN 978-3-540-73065-1
Contents BibTeX

6. FATES 2006: Seattle, WA, USA

Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.): Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4262 Springer 2006, ISBN 3-540-49699-8
Contents BibTeX

5. FATES 2005: Edinburgh, UK

Wolfgang Grieskamp, Carsten Weise (Eds.): Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3997 Springer 2006, ISBN 3-540-34454-3
Contents BibTeX

4. FATES 2004: Linz, Austria

Jens Grabowski, Brian Nielsen (Eds.): Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3395 Springer 2005, ISBN 3-540-25109-X
Contents BibTeX

3. FATES 2003: Montreal, Quebec, Canada

Alexandre Petrenko, Andreas Ulrich (Eds.): Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Lecture Notes in Computer Science 2931 Springer 2004, ISBN 3-540-20894-1
Contents BibTeX

Copyright © Sat May 16 23:11:50 2009 by Michael Ley (ley@uni-trier.de)