Testing - practice and research techniques: 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6303 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIII, 218 S. graph. Darst. 24 cm |
| ISBN: | 9783642155840 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036654419 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t| | ||
| 008 | 100906s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N31 |2 dnb | ||
| 016 | 7 | |a 1005224005 |2 DE-101 | |
| 020 | |a 9783642155840 |c kart. : EUR 49.22 (freier Pr.), sfr 66.00 (freier Pr.) |9 978-3-642-15584-0 | ||
| 024 | 3 | |a 9783642155840 | |
| 028 | 5 | 2 | |a 80021484 |
| 035 | |a (OCoLC)666964547 | ||
| 035 | |a (DE-599)DNB1005224005 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |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 Testing - practice and research techniques |b 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings |c Leonardo Bottaci ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XIII, 218 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 6303 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z New Windsor |2 gnd-content | |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bottaci, Leonardo |e Sonstige |4 oth | |
| 711 | 2 | |a TAIC PART |n 5 |d 2010 |c Windsor |j Sonstige |0 (DE-588)16080606-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6303 |w (DE-604)BV000000607 |9 6303 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3518859&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=020573862&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020573862 | |
Datensatz im Suchindex
| _version_ | 1820875262267490304 |
|---|---|
| adam_text |
TABLE OF CONTENTS KEYNOTE ADDRESSES AUTOMATIC TESTING AND FIXING FOR
EIFFEL (EXTENDED ABSTRACT) 1 BERTRAND MEYER TESTING AND PROVING,
HAND-IN-HAND 5 S'IR TONY HOARE MICROSOFT'S PROTOCOL DOCUMENTATION
PROGRAM: A SUCCESS STORY FOR MODEL-BASED TESTING 7 WOLFGANG GRIESKAMP
FULL PAPERS MASKING BOUNDARY VALUE COVERAGE: EFFECTIVENESS AND
EFFICIENCY 8 P. VIJAY SUMAN, TUKARAM MUSKE, PRASAD BOKIL, ULKA SHROTRI,
AND R. VENKATESH MODEL-CHECKING ERLANG - A COMPARISON BETWEEN ETOMCRL2
AND MCERLANG 23 QIANG GUO, JOHN DERRICK, CLARA BENAC EARLE, AND LARS-AKE
FREDLUND BAD PAIRS IN SOFTWARE TESTING 39 DANIEL HOFFMAN, CHIEN-HSING
CHANG, GARY BAZDELL, BRETT STEVENS, AND KEVIN YOO LOCALIZING DEFECTS IN
MULTITHREADED PROGRAMS BY MINING DYNAMIC CALL GRAPHS 56 FRANK EICHINGER,
VICTOR PANKRATIUS, PHILIPP W.L. GROSSE, AND KLEMENS BOEHM FILTERING TEST
MODELS TO SUPPORT INCREMENTAL TESTING 72 ANTTI JAEAESKELAEINEN DOES TESTING
HELP TO REDUCE THE NUMBER OF POTENTIALLY FAULTY STATEMENTS IN DEBUGGING?
88 MIHAI NICA, SIMONA NICA, AND FRANZ WOTAWA LINGUISTIC SECURITY TESTING
FOR TEXT COMMUNICATION PROTOCOLS 104 BEN W. Y. KAM AND THOMAS R. DEAN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1005224005 DIGITALISIERT
DURCH XII TABLE OF CONTENTS TOOL PAPERS AN OPEN-SOURCE TOOL FOR
AUTOMATED GENERATION OF BLACK-BOX XUNIT TEST CODE AND ITS INDUSTRIAL
EVALUATION 118 CHRISTIAN WIEDERSEINER, SHAHNEWAZ AMIN JOLLY, VAHID
GAROUSI, AND MATT M. ESKANDAR TECREVIS: A TOOL FOR TEST COVERAGE AND
TEST REDUNDANCY VISUALIZATION 129 NEGAR KOOCHAKZADEH AND VAHID GAROUSI A
FAULT INJECTION TOOL FOR TESTING WEB SERVICES COMPOSITION 137 FAYCAL
BESSAYAH, ANA CAVALLI, WILLIAN MAJA, ELIANE MARTINS, AND ANDRE WILLIK
VALENTI SYNTHESIS OF ON-LINE PLANNING TESTER FOR NON-DETERMINISTIC EFSM
MODELS 147 MARKO KAEAERAMEES, JURI VAIN, AND KULLO RAIEND A GENERIC
APPROACH TO RUN MUTATION ANALYSIS 155 SIAMAK HASCHEMI AND STEPHAN
WEISSLEDER CHALLENGE PAPER THE PRACTICAL ASSESSMENT OF TEST SETS WITH
INDUCTIVE INFERENCE TECHNIQUES 165 NEIL WALKINSHAW EXPERIENCE REPORTS
MINING API POPULARITY 173 YANA MOMCHILOVA MILEVA, VALENTIN DALLMEIER,
AND ANDREAS ZEILER AUTOMATIC DISCOVERY OF UNSPECIFIED BEHAVIORS IN
AUTOMOTIVE CONTROL SOFTWARE 181 MUZAMMIL SHAHBAZ AND ROBERT ESCHBACH
FAST ABSTRACTS AN EMPIRICAL EVALUATION TO STUDY BENEFITS OF VISUAL
VERSUS TEXTUAL TEST COVERAGE INFORMATION 189 VAHID GAROUSI AND NEGAR
KOOCHAKZADEH A TABLE OF CONTENTS XIII IMPROVED TESTING THROUGH
REFACTORING: EXPERIENCE FROM THE PROTEST PROJECT 198 HUIQING LI AND
SIMON THOMPSON TOWARDS RUN-TIME MONITORING OF WEB SERVICES CONFORMANCE
TO BUSINESS-LEVEL AGREEMENTS 203 KONSTANTINOS BRATANIS, DIMITRIS
DRANIDIS, AND ANTHONY J.H. SIMONS A NEW APPROACH FOR SOFTWARE
TESTABILITY 207 LYDIE DU BOUSQUET DOM TRANSACTIONS FOR TESTING
JAVASCRIPT 211 PHILLIP HEIDEGGER, ANNETTE BIENIUSA, AND PETER THIEMANN
THE GZOLTAR PROJECT: A GRAPHICAL DEBUGGER INTERFACE 215 ANDRE RIBOIRA
AND RUI ABREU AUTHOR INDEX 219 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036654419 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)666964547 (DE-599)DNB1005224005 |
| 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">BV036654419</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100906s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005224005</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642155840</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15584-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642155840</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80021484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)666964547</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005224005</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-91G</subfield><subfield code="a">DE-11</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">Testing - practice and research techniques</subfield><subfield code="b">5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings</subfield><subfield code="c">Leonardo Bottaci ... (ed.)</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">XIII, 218 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">6303</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">New Windsor</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bottaci, Leonardo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAIC PART</subfield><subfield code="n">5</subfield><subfield code="d">2010</subfield><subfield code="c">Windsor</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16080606-9</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">6303</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6303</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=3518859&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=020573862&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-020573862</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 New Windsor gnd-content |
| genre_facet | Konferenzschrift 2010 New Windsor |
| id | DE-604.BV036654419 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:48Z |
| institution | BVB |
| institution_GND | (DE-588)16080606-9 |
| isbn | 9783642155840 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020573862 |
| oclc_num | 666964547 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XIII, 218 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 | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings Leonardo Bottaci ... (ed.) Berlin [u.a.] Springer 2010 XIII, 218 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6303 Literaturangaben Softwaretest (DE-588)4132652-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 New Windsor gnd-content Softwaretest (DE-588)4132652-0 s DE-604 Bottaci, Leonardo Sonstige oth TAIC PART 5 2010 Windsor Sonstige (DE-588)16080606-9 oth Lecture notes in computer science 6303 (DE-604)BV000000607 6303 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3518859&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=020573862&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings Lecture notes in computer science Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)1071861417 |
| title | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings |
| title_auth | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings |
| title_exact_search | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings |
| title_full | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings Leonardo Bottaci ... (ed.) |
| title_fullStr | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings Leonardo Bottaci ... (ed.) |
| title_full_unstemmed | Testing - practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings Leonardo Bottaci ... (ed.) |
| title_short | Testing - practice and research techniques |
| title_sort | testing practice and research techniques 5th international academic and industrial conference taic part 2010 windsor uk september 3 5 2010 proceedings |
| title_sub | 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3 - 5, 2010 ; proceedings |
| topic | Softwaretest (DE-588)4132652-0 gnd |
| topic_facet | Softwaretest Konferenzschrift 2010 New Windsor |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3518859&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=020573862&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bottacileonardo testingpracticeandresearchtechniques5thinternationalacademicandindustrialconferencetaicpart2010windsorukseptember352010proceedings AT taicpartwindsor testingpracticeandresearchtechniques5thinternationalacademicandindustrialconferencetaicpart2010windsorukseptember352010proceedings |