Testing software and systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture Notes in Computer Science
6435 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 265 S. graph. Darst. |
| ISBN: | 9783642165726 3642165729 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036723587 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t| | ||
| 008 | 101018s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N38 |2 dnb | ||
| 016 | 7 | |a 1006975918 |2 DE-101 | |
| 020 | |a 9783642165726 |c Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.) |9 978-3-642-16572-6 | ||
| 020 | |a 3642165729 |c Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.) |9 3-642-16572-9 | ||
| 024 | 3 | |a 9783642165726 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80024649 |
| 035 | |a (OCoLC)700302278 | ||
| 035 | |a (DE-599)DNB1006975918 | ||
| 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 | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 245 | 1 | 0 | |a Testing software and systems |b 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings |c Alexandre Petrenko ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XII, 265 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6435 | |
| 650 | 0 | 7 | |a Testmustergenerierung |0 (DE-588)4234817-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationssystem |0 (DE-588)4125542-2 |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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Natal Rio Grande do Norte |2 gnd-content | |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kommunikationssystem |0 (DE-588)4125542-2 |D s |
| 689 | 1 | 1 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 2 | |a Testmustergenerierung |0 (DE-588)4234817-1 |D s |
| 689 | 1 | 3 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Petrenko, Alexandre |e Sonstige |4 oth | |
| 711 | 2 | |a ICTSS |n 22 |d 2010 |c Natal, Rio Grande do Norte |j Sonstige |0 (DE-588)16086060-X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6435 |w (DE-604)BV000000607 |9 6435 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3537183&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=020641413&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020641413 | |
Datensatz im Suchindex
| _version_ | 1820875272135639040 |
|---|---|
| adam_text |
TABLE OF CONTENTS TEST AUTOMATION WITH TTCN-3 - STATE OF THE ART AND A
FUTURE PERSPECTIVE (INVITED TALK) 1 INA SCHIEFERDECKER A MODEL-BASED
APPROACH TO TESTING SOFTWARE FOR CRITICAL BEHAVIOR AND PROPERTIES
(ABSTRACT OF INVITED TALK) 15 CONSTANCE HEITMEYER A PARETO ANT COLONY
ALGORITHM APPLIED TO THE CLASS INTEGRATION AND TEST ORDER PROBLEM 16
RAFAEL DA VEIGA CABRAI, AURORA POZO, AND SILVIA REGINA VERGUIO MORE
TESTABLE PROPERTIES 30 YLIES FALCONE, JEAN-CLAUDE FERNANDEZ, THIERRY
JERON, HERVE MARCHAND, AND LAURENT MOUNIER ALTERNATING SIMULATION AND
IOCO 47 MARGUS VEANES AND NIKOLAJ BJ0RNER REDUCING THE COST OF
MODEL-BASED TESTING THROUGH TEST CASE DIVERSITY 63 HADI HEMMATI, ANDREA
ARCURI, AND LIONEL BRIAND BUILT-IN DATA-FLOW INTEGRATION TESTING IN
LARGE-SCALE COMPONENT-BASED SYSTEMS 79 ERIC PIEL, ALBERTO
GONZALEZ-SANCHEZ, AND HANS-GERHARD GROSS BLACK-BOX SYSTEM TESTING OF
REAL-TIME EMBEDDED SYSTEMS USING RANDOM AND SEARCH-BASED TESTING 95
ANDREA ARCURI, MUHAMMAD ZOHAIB IQBAL, AND LIONEL BRIAND TESTING PRODUCT
GENERATION IN SOFTWARE PRODUCT LINES USING PAIRWISE FOR FEATURES
COVERAGE ILL BEATRIZ PEREZ LAMANCHA AND MACARIO POLO USAOLA INCREASING
FUNCTIONAL COVERAGE BY INDUCTIVE TESTING: A CASE STUDY . 126 NEIL
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1006975918 DIGITALISIERT
DURCH XII TABLE OF CONTENTS TEST DATA GENERATION FOR PROGRAMS WITH
QUANTIFIED FIRST-ORDER LOGIC SPECIFICATIONS 158 CHRISTOPH D. GLADISCH
EFFICIENT DISTRIBUTED TEST ARCHITECTURES FOR LARGE-SCALE SYSTEMS 174
EDUARDO CUNHA DE ALMEIDA, JONO EUGENIO MARYNOWSKI, GERSON SUNYE, YVES LE
TRAON, AND PATRICK VALDURIEZ GENERATING MODELS OF INFINITE-STATE
COMMUNICATION PROTOCOLS USING REGULAR INFERENCE WITH ABSTRACTION 188
FIDES AARTS, BENGT JONSSON, AND JOHAN UIJEN PRACTICAL END-TO-END
PERFORMANCE TESTING TOOL FOR HIGH SPEED 3G-BASED NETWORKS 205 HIROYUKI
SHINBO, ATSUSHI TAGAMI, SHIGEHIRO ANO, TORU HASEGAWA, AND KENJI SUZUKI A
LEARNING-BASED APPROACH TO UNIT TESTING OF NUMERICAL SOFTWARE . 221
KARL MEINKE AND FEI NIU FROM SCENARIOS TO TEST IMPLEMENTATIONS VIA
PROMELA 236 ANDREAS ULRICH, EL-HACHEMI ALIKACEM, HESHAM H. HALLAL, AND
SERGIY BORODAY VIDOCK: A TOOL FOR IMPACT ANALYSIS OF ASPECT WEAVING ON
TEST CASES 250 ROMAIN DELAMARE, FREDDY MUNOZ, BENOIT BAUDRY, AND YVES LE
TRAON AUTHOR INDEX 267 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036723587 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)700302278 (DE-599)DNB1006975918 |
| dewey-full | 005.14 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.14 004.24 |
| dewey-search | 005.14 004.24 |
| 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">BV036723587</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">101018s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N38</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1006975918</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642165726</subfield><subfield code="c">Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.)</subfield><subfield code="9">978-3-642-16572-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642165729</subfield><subfield code="c">Pb. : EUR 64.20 (DE) (freier Pr.), sfr 86.50 (freier Pr.)</subfield><subfield code="9">3-642-16572-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642165726</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80024649</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700302278</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1006975918</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="082" ind1="0" ind2=" "><subfield code="a">004.24</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 software and systems</subfield><subfield code="b">22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings</subfield><subfield code="c">Alexandre Petrenko ... (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">XII, 265 S.</subfield><subfield code="b">graph. Darst.</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">6435</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Natal Rio Grande do Norte</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="689" ind1="1" ind2="0"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="2"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petrenko, Alexandre</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTSS</subfield><subfield code="n">22</subfield><subfield code="d">2010</subfield><subfield code="c">Natal, Rio Grande do Norte</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16086060-X</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">6435</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6435</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=3537183&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=020641413&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-020641413</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Natal Rio Grande do Norte gnd-content |
| genre_facet | Konferenzschrift 2010 Natal Rio Grande do Norte |
| id | DE-604.BV036723587 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:00Z |
| institution | BVB |
| institution_GND | (DE-588)16086060-X |
| isbn | 9783642165726 3642165729 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020641413 |
| oclc_num | 700302278 |
| 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 | XII, 265 S. graph. Darst. |
| 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 software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.) Berlin [u.a.] Springer 2010 XII, 265 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6435 Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Natal Rio Grande do Norte gnd-content Softwaretest (DE-588)4132652-0 s DE-604 Kommunikationssystem (DE-588)4125542-2 s Testmustergenerierung (DE-588)4234817-1 s Model Checking (DE-588)4434799-6 s Petrenko, Alexandre Sonstige oth ICTSS 22 2010 Natal, Rio Grande do Norte Sonstige (DE-588)16086060-X oth Lecture Notes in Computer Science 6435 (DE-604)BV000000607 6435 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3537183&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=020641413&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Lecture Notes in Computer Science Testmustergenerierung (DE-588)4234817-1 gnd Kommunikationssystem (DE-588)4125542-2 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4234817-1 (DE-588)4125542-2 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)1071861417 |
| title | Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings |
| title_auth | Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings |
| title_exact_search | Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings |
| title_full | Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.) |
| title_fullStr | Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.) |
| title_full_unstemmed | Testing software and systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings Alexandre Petrenko ... (eds.) |
| title_short | Testing software and systems |
| title_sort | testing software and systems 22nd ifip wg 6 1 international conference ictss 2010 natal brazil november 8 10 2010 proceedings |
| title_sub | 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 ; proceedings |
| topic | Testmustergenerierung (DE-588)4234817-1 gnd Kommunikationssystem (DE-588)4125542-2 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd |
| topic_facet | Testmustergenerierung Kommunikationssystem Model Checking Softwaretest Konferenzschrift 2010 Natal Rio Grande do Norte |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3537183&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=020641413&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT petrenkoalexandre testingsoftwareandsystems22ndifipwg61internationalconferenceictss2010natalbrazilnovember8102010proceedings AT ictssnatalriograndedonorte testingsoftwareandsystems22ndifipwg61internationalconferenceictss2010natalbrazilnovember8102010proceedings |