Tests and proofs: 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6706 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 204 S. graph. Darst. 24 cm |
| ISBN: | 9783642217678 3642217672 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039132876 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | t| | ||
| 008 | 110712s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N21 |2 dnb | ||
| 016 | 7 | |a 1011731703 |2 DE-101 | |
| 020 | |a 9783642217678 |c kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-21767-8 | ||
| 020 | |a 3642217672 |9 3-642-21767-2 | ||
| 024 | 3 | |a 9783642217678 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80064893 |
| 035 | |a (OCoLC)745502573 | ||
| 035 | |a (DE-599)DNB1011731703 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 005.14 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 245 | 1 | 0 | |a Tests and proofs |b 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings |c Martin Gogolla ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a X, 204 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6706 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaresystem |0 (DE-588)4137282-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Zürich |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 2 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaresystem |0 (DE-588)4137282-7 |D s |
| 689 | 1 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Gogolla, Martin |e Sonstige |4 oth | |
| 711 | 2 | |a TAP |n 5 |d 2011 |c Zürich |j Sonstige |0 (DE-588)16163880-6 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Tests and Proofs |
| 830 | 0 | |a Lecture notes in computer science |v 6706 |w (DE-604)BV000000607 |9 6706 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3791515&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024151149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024151149 | |
Datensatz im Suchindex
| _version_ | 1820875332803100672 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
CHECKING MODELS, PROVING PROGRAMS, AND TESTING SYSTEMS 1 MARIE-CLAUDE
GAUDEL
TESTS FROM PROOFS 14
PATRICE GODEFROID
INCORPORATING COVERAGE CRITERIA IN BOUNDED EXHAUSTIVE BLACK BOX TEST
GENERATION OF STRUCTURAL INPUTS 15
NAZARENO M. AGUIRRE, VALERIA S. BENGOLEA, MARCELO F. FRIAS, AND JUAN P.
GALEOTTI
CHECKING THE BEHAVIORAL CONFORMANCE OF WEB SERVICES WITH SYMBOLIC
TESTING AND AN SMT SOLVER 33
LINA BENTAKOUK, PASCAL POIZAT, AND FATIHA ZAI'DI
ASSOCIATION OF UNDER-APPROXIMATION TECHNIQUES FOR GENERATING TESTS FROM
MODELS 51
PIERRE-CHRISTOPHE BUE, JACQUES JULLIAND, AND PIERRE-ALAIN MASSON
SECURITY MUTANTS FOR PROPERTY-BASED TESTING 69
MATTHIAS BUECHLER, JOHAN OUDINET, AND ALEXANDER PRETSCHNER
THE SANTE TOOL: VALUE ANALYSIS, PROGRAM SLICING AND TEST GENERATION FOR
C PROGRAM DEBUGGING 78
OMAR CHEBARO, NIKOLAI KOSMATOV, ALAIN GIORGETTI, AND JACQUES JULLIAND
ABSTRACTION BASED AUTOMATED TEST GENERATION FROM FORMAL TABULAR
REQUIREMENTS SPECIFICATIONS 84
RENZO DEGIOVANNI, PABLO PONZIO, NAZARENO AGUIRRE, AND MARCELO FRIAS
CORRECT CODE CONTAINING CONTAINERS 102
CLAIRE DROSS, JEAN-CHRISTOPHE FILLIATRE, AND YANNICK MOY
A RANDOM TESTING APPROACH USING PUSHDOWN AUTOMATA 119 PIERRE-CYRILLE
HEAM AND CATHERINE ATASSON
INCREMENTAL LEARNING-BASED TESTING FOR REACTIVE SYSTEMS 134 KARL MEINKE
AND MUDDASSAR A. SINDHU
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011731703
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
ENCODING OCL DATA TYPES FOR SAT-BASED VERIFICATION OF UML/OCL MODELS 152
MATHIAS SOEKEN, ROBERT WILLE, AND ROLF DRECHSLER
STATE COVERAGE METRICS FOR SPECIFICATION-BASED TESTING WITH BIICHI
AUTOMATA 171
LI TAN
LIGHTWEIGHT TESTING OF COMMUNICATION NETWORKS WITH E-MOTIONS 187 JAVIER
TROYA, JOSE M. BAUTISTA, FERNANDO LOPEZ-ROMERO, AND ANTONIO VALLECILLO
AUTHOR INDEX 205 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039132876 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)745502573 (DE-599)DNB1011731703 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039132876</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110712s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011731703</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642217678</subfield><subfield code="c">kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-21767-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642217672</subfield><subfield code="9">3-642-21767-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642217678</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80064893</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745502573</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011731703</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tests and proofs</subfield><subfield code="b">5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings</subfield><subfield code="c">Martin Gogolla ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 204 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6706</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Zürich</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gogolla, Martin</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">5</subfield><subfield code="d">2011</subfield><subfield code="c">Zürich</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16163880-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Tests and Proofs</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6706</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6706</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3791515&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024151149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024151149</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Zürich gnd-content |
| genre_facet | Konferenzschrift 2011 Zürich |
| id | DE-604.BV039132876 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:57Z |
| institution | BVB |
| institution_GND | (DE-588)16163880-6 |
| isbn | 9783642217678 3642217672 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024151149 |
| oclc_num | 745502573 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | X, 204 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings Martin Gogolla ... (eds.) Berlin [u.a.] Springer 2011 X, 204 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6706 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Zürich gnd-content Softwareentwicklung (DE-588)4116522-6 s Softwaretest (DE-588)4132652-0 s Beweis (DE-588)4132532-1 s DE-604 Softwaresystem (DE-588)4137282-7 s Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Formale Methode (DE-588)4333722-3 s Gogolla, Martin Sonstige oth TAP 5 2011 Zürich Sonstige (DE-588)16163880-6 oth Erscheint auch als Online-Ausgabe Tests and Proofs Lecture notes in computer science 6706 (DE-604)BV000000607 6706 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3791515&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024151149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Beweis (DE-588)4132532-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4137282-7 (DE-588)4132532-1 (DE-588)1071861417 |
| title | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings |
| title_auth | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings |
| title_exact_search | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings |
| title_full | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings Martin Gogolla ... (eds.) |
| title_fullStr | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings Martin Gogolla ... (eds.) |
| title_full_unstemmed | Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings Martin Gogolla ... (eds.) |
| title_short | Tests and proofs |
| title_sort | tests and proofs 5th international conference tap 2011 zurich switzerland june 30 july 1 2011 proceedings |
| title_sub | 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Formale Methode Softwareentwicklung Model Checking Softwaretest Programmverifikation Softwaresystem Beweis Konferenzschrift 2011 Zürich |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3791515&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024151149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gogollamartin testsandproofs5thinternationalconferencetap2011zurichswitzerlandjune30july12011proceedings AT tapzurich testsandproofs5thinternationalconferencetap2011zurichswitzerlandjune30july12011proceedings |