default search action
International Workshop on Formal Approaches to Testing of Software (FATES)
9. FATES / 21. TestCom 2009: Eindhoven, The Netherlands
- Manuel Núñez, Paul Baker, Mercedes G. Merayo:
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. Lecture Notes in Computer Science 5826, Springer 2009, ISBN 978-3-642-05030-5 [contents]
8. FATES / 20. TestCom 2008: Tokyo, Japan
- Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa:
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]
7. FATES / 19. TestCom 2007: Tallinn, Estonia
- Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp:
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]
6. FATES 2006: Seattle, WA, USA
- Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff:
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]
5. FATES 2005: Edinburgh, UK
- Wolfgang Grieskamp, Carsten Weise:
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]
4. FATES 2004: Linz, Austria
- Jens Grabowski, Brian Nielsen:
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]
3. FATES 2003: Montreal, Quebec, Canada
- Alexandre Petrenko, Andreas Ulrich:
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]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: