Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2019]
|
| Series: | Lecture notes in computer science
11823 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | x, 206 Seiten Diagramme |
| ISBN: | 9783030311568 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046295401 | ||
| 003 | DE-604 | ||
| 005 | 20221115 | ||
| 007 | t| | ||
| 008 | 191210s2019 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783030311568 |9 978-3-030-31156-8 | ||
| 035 | |a (OCoLC)1124771129 | ||
| 035 | |a (DE-599)BVBBV046295401 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-739 | ||
| 111 | 2 | |a TAP |n 13. |d 2019 |c Porto, Portugal |j Verfasser |0 (DE-588)1197625755 |4 aut | |
| 245 | 1 | 0 | |a Tests and proofs |b 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings |c Dirk Beyer, Chantal Keller (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a x, 206 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 11823 | |
| 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 2019 |z Porto, Portugal |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 Beyer, Dirk |d 1972- |0 (DE-588)124429041 |4 edt | |
| 700 | 1 | |a Keller, Chantal |d ca. 20./21. Jh. |e Sonstige |0 (DE-588)1272837467 |4 oth | |
| 711 | 2 | |a World Congress on Formal Methods |n 3. |d 2019 |c Porto, Portugal |0 (DE-588)1196707030 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-31157-5 |
| 830 | 0 | |a Lecture notes in computer science |v 11823 |w (DE-604)BV000000607 |9 11823 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031672783&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031672783 | |
Record in the Search Index
| _version_ | 1820875760001351680 |
|---|---|
| adam_text |
Contents Invited Contributions When Are Software Verification Results Valid for Approximate Hardware? . Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim 3 Testing Robots Using CSP. Ana Cavalcanti, James Baxter, Robert Μ. Hierons, and Raluca Lefticaru 21 Regular Contributions Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?. Timotej Kapus, Martin Nowack, and Cristian Cadar Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. Eric Lavillonnière, David Mentre, and Denis Cousineau 41 55 Coverage-Based Testing with Symbolic Transition Systems. Petra van den Bos and Jan Tretmans 64 BTestBox՛. A Tool for Testing В Translators and Coverage of В Models . Diego de Azevedo Oliveira, Valerio Medeiros Jr., David Déharbe, and Martin A. Musicante 83 Predicting and Testing Latencies with Deep Learning: An loT Case Study. Bernhard K. Aichemig, Franz Pernkopf Richard Schumi, and Andreas Wurm 93 Learning Communicating State Machines. Alexandre Petrenko and Florent Avellaneda 112 Repairing Timed Automata Clock Guards through Abstraction and Testing . . . Etienne André, Paolo Arcaini, Angelo Gargantini, and Marco Radavelli 129 Proving a Non-blocking Algorithm for Process Renaming with TLA+. Aurélie Hurault and Philippe Quéinnec 147 Tame Your Annotations with MetAcsl:
Specifying, Testing and Proving High-Level Properties Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, and Pascale Le Gall 167
x Contents Property-Based Test Case Generators for Free. Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, and Maurizio Proietti 186 Author Index. 207 |
| any_adam_object | 1 |
| author2 | Beyer, Dirk 1972- |
| author2_role | edt |
| author2_variant | d b db |
| author_GND | (DE-588)124429041 (DE-588)1272837467 |
| author_corporate | TAP Porto, Portugal |
| author_corporate_role | aut |
| author_facet | Beyer, Dirk 1972- TAP Porto, Portugal |
| author_sort | TAP Porto, Portugal |
| building | Verbundindex |
| bvnumber | BV046295401 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1124771129 (DE-599)BVBBV046295401 |
| 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">BV046295401</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">191210s2019 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030311568</subfield><subfield code="9">978-3-030-31156-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1124771129</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046295401</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">13.</subfield><subfield code="d">2019</subfield><subfield code="c">Porto, Portugal</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1197625755</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tests and proofs</subfield><subfield code="b">13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings</subfield><subfield code="c">Dirk Beyer, Chantal Keller (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 206 Seiten</subfield><subfield code="b">Diagramme</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">11823</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">2019</subfield><subfield code="z">Porto, Portugal</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">Beyer, Dirk</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)124429041</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Keller, Chantal</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1272837467</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">World Congress on Formal Methods</subfield><subfield code="n">3.</subfield><subfield code="d">2019</subfield><subfield code="c">Porto, Portugal</subfield><subfield code="0">(DE-588)1196707030</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="z">978-3-030-31157-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11823</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11823</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=031672783&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-031672783</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Porto, Portugal gnd-content |
| genre_facet | Konferenzschrift 2019 Porto, Portugal |
| id | DE-604.BV046295401 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:20:45Z |
| institution | BVB |
| institution_GND | (DE-588)1197625755 (DE-588)1196707030 |
| isbn | 9783030311568 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031672783 |
| oclc_num | 1124771129 |
| open_access_boolean | |
| owner | DE-83 DE-739 |
| owner_facet | DE-83 DE-739 |
| physical | x, 206 Seiten Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | TAP 13. 2019 Porto, Portugal Verfasser (DE-588)1197625755 aut Tests and proofs 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings Dirk Beyer, Chantal Keller (eds.) Cham Springer [2019] x, 206 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11823 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 2019 Porto, Portugal 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 Beyer, Dirk 1972- (DE-588)124429041 edt Keller, Chantal ca. 20./21. Jh. Sonstige (DE-588)1272837467 oth World Congress on Formal Methods 3. 2019 Porto, Portugal (DE-588)1196707030 oth Erscheint auch als Online-Ausgabe 978-3-030-31157-5 Lecture notes in computer science 11823 (DE-604)BV000000607 11823 Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031672783&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tests and proofs 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : 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 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings |
| title_auth | Tests and proofs 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings |
| title_exact_search | Tests and proofs 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings |
| title_full | Tests and proofs 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings Dirk Beyer, Chantal Keller (eds.) |
| title_fullStr | Tests and proofs 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings Dirk Beyer, Chantal Keller (eds.) |
| title_full_unstemmed | Tests and proofs 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings Dirk Beyer, Chantal Keller (eds.) |
| title_short | Tests and proofs |
| title_sort | tests and proofs 13th international conference tap 2019 held as part of the third world congress on formal methods 2019 porto portugal october 9 11 2019 proceedings |
| title_sub | 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : 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 2019 Porto, Portugal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031672783&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT tapportoportugal testsandproofs13thinternationalconferencetap2019heldaspartofthethirdworldcongressonformalmethods2019portoportugaloctober9112019proceedings AT beyerdirk testsandproofs13thinternationalconferencetap2019heldaspartofthethirdworldcongressonformalmethods2019portoportugaloctober9112019proceedings AT kellerchantal testsandproofs13thinternationalconferencetap2019heldaspartofthethirdworldcongressonformalmethods2019portoportugaloctober9112019proceedings AT worldcongressonformalmethodsportoportugal testsandproofs13thinternationalconferencetap2019heldaspartofthethirdworldcongressonformalmethods2019portoportugaloctober9112019proceedings |