Tests and proofs: 4th international conference ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6143 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 182 S. graph. Darst. 24 cm |
| ISBN: | 9783642139765 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036567726 | ||
| 003 | DE-604 | ||
| 005 | 20100820 | ||
| 007 | t| | ||
| 008 | 100715s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N21 |2 dnb | ||
| 015 | |a 10,A26 |2 dnb | ||
| 016 | 7 | |a 1002680549 |2 DE-101 | |
| 020 | |a 9783642139765 |c kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.) |9 978-3-642-13976-5 | ||
| 024 | 3 | |a 9783642139765 | |
| 028 | 5 | 2 | |a 80016762 |
| 035 | |a (OCoLC)699761417 | ||
| 035 | |a (DE-599)DNB1002680549 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-91G |a DE-706 |a DE-83 | ||
| 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 4th international conference ; proceedings |c TAP 2010, Málaga, Spain, July 1 - 2, 2010. Gordon Fraser ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 182 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 6143 | |
| 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 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 2010 |z Málaga |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 Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Fraser, Gordon |d 1943-2013 |0 (DE-588)120986035 |4 edt | |
| 711 | 2 | |a TAP |n 4 |d 2010 |c Málaga |j Sonstige |0 (DE-588)16071084-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6143 |w (DE-604)BV000000607 |9 6143 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3480860&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=020488912&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020488912 | |
Datensatz im Suchindex
| _version_ | 1820875242738810880 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS HOW TESTS AND PROOFS IMPEDE ONE ANOTHER:
THE NEED FOR ALWAYS-ON STATIC AND DYNAMIC FEEDBACK 1 MICHAEL D. ERNST
MYTHS IN SOFTWARE ENGINEERING: FROM THE OTHER SIDE 3 NACHIAPPAN NAGAPPAN
SPECIFICATIONS FROM TESTING QUICKSPEC: GUESSING FORMAL SPECIFICATIONS
USING TESTING 6 KOEN CLAESSEN, NICHOLAS SMALLBONE, AND JOHN HUGHES
TESTING PROOFS TESTING FIRST-ORDER LOGIC AXIOMS IN PROGRAM VERIFICATION
22 KI YUNG AHN AND EWEN DENNEY PROVING AND VISUALIZING OCL INVARIANT
INDEPENDENCE BY AUTOMATICALLY GENERATED TEST CASES 38 MARTIN GOGOLLA,
LARS HAMANN, AND MIRCO KUHLMANN PROOF PROCESS EVALUATION WITH MUTATION
ANALYSIS: EXTENDED ABSTRACT 55 LYDIE DU BOUSQUET AND MICHEL LEVY TEST
GENERATION USING PROOF TECHNIQUES GENERATING REGRESSION UNIT TESTS USING
A COMBINATION OF VERIFICATION AND CAPTURE & REPLAY 61 CHRISTOPH
GLADISCH, SHMUEL TYSZBEROWICZ, BERNHARD BECKERT, AND AMIRAM YEHUDAI
DYGEN: AUTOMATIC GENERATION OF HIGH-COVERAGE TESTS VIA MINING GIGABYTES
OF DYNAMIC TRACES 77 SURESH THUMMALAPENTA, JONATHAN DE HALLEUX, NIKOLAI
TILLMANN, AND SCOTT WADSWORTH COMBINING STATIC ANALYSIS AND TEST
GENERATION FOR C PROGRAM DEBUGGING 94 OMAR BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1002680549 DIGITALISIERT DURCH X TABLE OF CONTENTS
GENERATING HIGH-QUALITY TESTS FOR BOOLEAN CIRCUITS BY TREATING TESTS AS
PROOF ENCODING 101 EUGENE GOLDBERG AND PANAGIOTIS MANOLIOS THEOREM
PROVING AND TESTING RELATIONAL ANALYSIS OF (CO)INDUCTIVE PREDICATES,
(CO)ALGEBRAIC DATATYPES, AND (CO)RECURSIVE FUNCTIONS 117 JASMIN
CHRISTIAN BLANCHETTE COMBINING THEOREM PROVING AND NARROWING FOR
REWRITING-LOGIC SPECIFICATIONS 135 VLAD RUSU ABSTRACTION SYNTACTIC
ABSTRACTION OF B MODELS TO GENERATE TESTS 151 JACQUES JULLIAND, NICOLAS
STOULS, PIERRE-CHRISTOPHE BUE, AND PIERRE-ALAIN MASSON BUILDING A
TEST-READY ABSTRACTION OF A BEHAVIORAL MODEL USING CLP 167
PIERRE-CHRISTOPHE BUE, FREDERIC DADEAU, ADRIEN DE KERMADEC, AND FABRICE
BOUQUET AUTHOR INDEX 183 |
| any_adam_object | 1 |
| author2 | Fraser, Gordon 1943-2013 |
| author2_role | edt |
| author2_variant | g f gf |
| author_GND | (DE-588)120986035 |
| author_facet | Fraser, Gordon 1943-2013 |
| building | Verbundindex |
| bvnumber | BV036567726 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)699761417 (DE-599)DNB1002680549 |
| 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">BV036567726</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100820</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100715s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,A26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002680549</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642139765</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13976-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642139765</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80016762</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699761417</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002680549</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</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">4th international conference ; proceedings</subfield><subfield code="c">TAP 2010, Málaga, Spain, July 1 - 2, 2010. Gordon Fraser ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 182 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">6143</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">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">2010</subfield><subfield code="z">Málaga</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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">Fraser, Gordon</subfield><subfield code="d">1943-2013</subfield><subfield code="0">(DE-588)120986035</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">4</subfield><subfield code="d">2010</subfield><subfield code="c">Málaga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16071084-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6143</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6143</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3480860&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=020488912&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-020488912</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Málaga gnd-content |
| genre_facet | Konferenzschrift 2010 Málaga |
| id | DE-604.BV036567726 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:31Z |
| institution | BVB |
| institution_GND | (DE-588)16071084-4 |
| isbn | 9783642139765 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020488912 |
| oclc_num | 699761417 |
| open_access_boolean | |
| owner | DE-11 DE-91G DE-BY-TUM DE-706 DE-83 |
| owner_facet | DE-11 DE-91G DE-BY-TUM DE-706 DE-83 |
| physical | X, 182 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Tests and proofs 4th international conference ; proceedings TAP 2010, Málaga, Spain, July 1 - 2, 2010. Gordon Fraser ... (eds.) Berlin [u.a.] Springer 2010 X, 182 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6143 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 Softwaresystem (DE-588)4137282-7 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Málaga 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 Model Checking (DE-588)4434799-6 s Formale Methode (DE-588)4333722-3 s Fraser, Gordon 1943-2013 (DE-588)120986035 edt TAP 4 2010 Málaga Sonstige (DE-588)16071084-4 oth Lecture notes in computer science 6143 (DE-604)BV000000607 6143 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3480860&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=020488912&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tests and proofs 4th international conference ; 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 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)4137282-7 (DE-588)4132532-1 (DE-588)1071861417 |
| title | Tests and proofs 4th international conference ; proceedings |
| title_auth | Tests and proofs 4th international conference ; proceedings |
| title_exact_search | Tests and proofs 4th international conference ; proceedings |
| title_full | Tests and proofs 4th international conference ; proceedings TAP 2010, Málaga, Spain, July 1 - 2, 2010. Gordon Fraser ... (eds.) |
| title_fullStr | Tests and proofs 4th international conference ; proceedings TAP 2010, Málaga, Spain, July 1 - 2, 2010. Gordon Fraser ... (eds.) |
| title_full_unstemmed | Tests and proofs 4th international conference ; proceedings TAP 2010, Málaga, Spain, July 1 - 2, 2010. Gordon Fraser ... (eds.) |
| title_short | Tests and proofs |
| title_sort | tests and proofs 4th international conference proceedings |
| title_sub | 4th international conference ; 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 Softwaresystem (DE-588)4137282-7 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Formale Methode Softwareentwicklung Model Checking Softwaretest Softwaresystem Beweis Konferenzschrift 2010 Málaga |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3480860&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=020488912&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT frasergordon testsandproofs4thinternationalconferenceproceedings AT tapmalaga testsandproofs4thinternationalconferenceproceedings |