Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings /

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	TAP 2011 (2011 : Zurich, Switzerland)
Imprint:	Berlin ; Heidelberg ; New York : Springer, ©2011.
Description:	1 online resource (x, 204 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 1611-3349 ; 6706 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 6706. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Computer software -- Testing -- Congresses. Computer software -- Verification -- Congresses. Formal methods (Computer science) -- Congresses. Computer software -- Testing. Computer software -- Verification. Formal methods (Computer science) Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11075717

Hidden Bibliographic Details
Varying Form of Title:	TAP 2011
Other authors / contributors:	Gogolla, Martin, 1954- Wolff, Burkhart, 1962-
ISBN:	9783642217685 3642217680 9783642217678 3642217672
Notes:	Includes bibliographical references and author index. Print version record.
Summary:	This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning based testing, UML, OCL, specification-based testing, and network testing.
Other form:	Print version: Tests and Proofs. Springer Verlag 2011 9783642217678

Description
Summary:	This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.
Physical Description:	1 online resource (x, 204 pages) : illustrations.
Bibliography:	Includes bibliographical references and author index.
ISBN:	9783642217685 3642217680 9783642217678 3642217672
ISSN:	1611-3349 ;