Programmtest

Testing of software and communication systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009, 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings

Manuel Núñez, Paul Baker, Mercedes G. Merayo, (eds.).

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Huibiao Zhu

Testing applications on the Web: test planning for mobile and Internet-based systems

Hung Q. Nguyen, Bob Johnson, Michael Hackett.

Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings

SAS <11, 2004, Verona>

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Ana Cavalcanti

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

Burkhart Wolff

Test und Verla sslichkeit von Rechnern

Gu nter Kemnitz

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado

Tests and proofs: 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings

Gordon Fraser, Angelo Gargantini (eds.).

Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings

Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.).