Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 /

Documenti analoghi

• Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
  di: Jens Grabowski, Brian Nielsen
  Pubblicazione: (2005, c2005)
• Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
  di: Wolfgang Grieskamp, Carsten Weise
  Pubblicazione: (2006, c2006)
• 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 /
  di: Klaus Havelund, Manuel Núñez, Grigore Ro.u, Burkhart Wolff
  Pubblicazione: (2006, c2006)
• Testing of Software and Communicating Systems : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings /
  di: Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
  Pubblicazione: (2007, c2007)
• 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 /
  di: Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
  Pubblicazione: (2008, c2008)