Formal Approaches to Testing of Software
2009: Eindhoven, The Netherlands
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, Manuel Núñez, Paul Baker, Mercedes G. Merayo, 2009: Eindhoven, The Netherlands
2008: Tokyo, Japan
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, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa, 2008: Tokyo, Japan
2007: Tallinn, Estonia
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, Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp, 2007: Tallinn, Estonia