|
|
|
|
LEADER |
01920nmm a2200361 u 4500 |
001 |
EB000387087 |
003 |
EBX01000000000000000240139 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130626 ||| eng |
020 |
|
|
|a 9783642217685
|
100 |
1 |
|
|a Gogolla, Martin
|e [editor]
|
245 |
0 |
0 |
|a Tests and Proofs
|h Elektronische Ressource
|b 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
|c edited by Martin Gogolla, Burkhart Wolff
|
250 |
|
|
|a 1st ed. 2011
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2011, 2011
|
300 |
|
|
|a X, 205 p. 48 illus., 20 illus. in color
|b online resource
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Programming Techniques
|
653 |
|
|
|a Computer programming
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Formal Languages and Automata Theory
|
653 |
|
|
|a Machine theory
|
700 |
1 |
|
|a Wolff, Burkhart
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Programming and Software Engineering
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-21768-5?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.1
|
520 |
|
|
|a 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
|