International Workshop on Formal Approaches to Testing of Software
9. FATES / 21. TestCom 2009: Eindhoven, The Netherlands
Manuel Núñez, Paul Baker, Mercedes G. Merayo (Eds.): Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5826 ISBN 978-3-642-05030-5 [ contents ]
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. Springer 2008 Lecture Notes in Computer Science 5047 ISBN 978-3-540-68514-2 [ contents ]
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. Springer 2007 Lecture Notes in Computer Science 4581 ISBN 978-3-540-73065-1 [ contents ]
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. Springer 2006 Lecture Notes in Computer Science 4262 ISBN 3-540-49699-8 [ contents ]
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. Springer 2006 Lecture Notes in Computer Science 3997 ISBN 3-540-34454-3 [ contents ]
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. Springer 2005 Lecture Notes in Computer Science 3395 ISBN 3-540-25109-X [ contents ]
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. Springer 2004 Lecture Notes in Computer Science 2931 ISBN 3-540-20894-1 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team