Explore Books on
programmtest

Testing applications on the Web

By Hung Quoc Nguyen

Static Analysis

By SAS <11, 2004, Verona>

Testing Software and Systems

By Alexandre Petrenko

Test und Verla sslichkeit von Rechnern

By Günther Kemnitz

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

By Huibiao Zhu

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

By Burkhart Wolff

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

By Ana Cavalcanti

Tests and proofs

By TAP 2010 (2010 Málaga, Spain)

Verified software

By VSTTE 2010 (2010 Edinburgh, Scotland)

Testing of software and communication systems

By IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (21st 2009 Eindhoven, The Netherlands)