Testing software and systems: 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
8254 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XIV, 289 S. graph. Darst. |
| ISBN: | 364241706X 9783642417061 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV041422291 | ||
| 003 | DE-604 | ||
| 005 | 20140225 | ||
| 007 | t| | ||
| 008 | 131118s2013 gw d||| |||| 10||| eng d | ||
| 015 | |a 13,N40 |2 dnb | ||
| 016 | 7 | |a 1042341117 |2 DE-101 | |
| 020 | |a 364241706X |9 3-642-41706-X | ||
| 020 | |a 9783642417061 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) |9 978-3-642-41706-1 | ||
| 024 | 3 | |a 9783642417061 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86337431 |
| 035 | |a (OCoLC)864597711 | ||
| 035 | |a (DE-599)DNB1042341117 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 004 | |
| 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 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings |c Hüsnü Yenigün ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XIV, 289 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 8254 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Testen |0 (DE-588)4367264-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationssystem |0 (DE-588)4125542-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Ålborg |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Istanbul |2 gnd-content | |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 1 | 1 | |a Kommunikationssystem |0 (DE-588)4125542-2 |D s |
| 689 | 1 | 2 | |a Testen |0 (DE-588)4367264-4 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 2 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 2 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Yenigün, Hüsnü |e Sonstige |0 (DE-588)1045800589 |4 oth | |
| 711 | 2 | |a ICTSS |n 25. |d 2013 |c Istanbul |j Sonstige |0 (DE-588)1044284447 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-41707-8 |
| 830 | 0 | |a Lecture notes in computer science |v 8254 |w (DE-604)BV000000607 |9 8254 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4462924&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=026869332&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026869332 | |
Record in the Search Index
| _version_ | 1820875531649810432 |
|---|---|
| adam_text |
TABLE OF CONTENTS
MODEL-BASED TESTING
USING LOGIC COVERAGE TO IMPROVE TESTING FUNCTION BLOCK DIAGRAMS . 1
EDUARD PAUL ENOIU, DANIEL SUNDMARK, AND PAUL PETTERSSON
AUTOMATIC GRAMMAR-BASED TEST GENERATION 17
HAI-FENG GUO AND ZONGYAN QIU
ADAPTIVE HOMING AND DISTINGUISHING EXPERIMENTS FOR NONDETERMINISTIC
FINITE STATE MACHINES 33
NATALIA KUSHIK, KHALED EL-FAKIH, AND NINA YEVTUSHENKO
EXHAUSTIVE MODEL-BASED EQUIVALENCE CLASS TESTING 49
WEN-LING HUANG AND JAN PELESKA
TESTING TIMED AND CONCURRENT SYSTEMS
REMOTE TESTING OF TIMED SPECIFICATIONS 65
ALEXANDRE DAVID, KIM G. LARSEN, MARIUS MIKUCIONIS,
OMER L. NGUENA TIMO, AND ANTOINE B.OLLET
AN IMPLEMENTATION RELATION AND TEST FRAMEWORK FOR TIMED
DISTRIBUTED SYSTEMS 82
CHRISTOPHE GASTON, ROBERT M. HIERONS, AND PASCALE LE GALL
UNFOLDING-BASED TEST SELECTION FOR CONCURRENT CONFORMANCE 98
HERNAN PONCE DE LEON, STEFAN HAAR, AND DELPHINE LONGUET
TEST SUITE SELECTION AND EFFORT ESTIMATION
PREDICTING THE SIZE OF TEST SUITES FROM USE CASES: AN EMPIRICAL
EXPLORATION 114
MOURAD BADRI, LINDA BADRI, AND WILLIAM FLAGEOL
CHAINING TEST CASES FOR REACTIVE SYSTEM TESTING 133
PETER SCHRAMMEL, TOM MELHAM, AND DANIEL KROENING
VARIATIONS OVER TEST SUITE REDUCTION 149
DENNIS GIITTINGER, VITALY KOZYURA, DORNINIK KREMER, AND
SEBASTIAN WIECZOREK
HTTP://D-NB.INFO/1042341117
XIV TABLE OF CONTENTS
TOOLS AND LANGUAGES
CASE STUDIES IN LEARNING-BASED TESTING 164
LEI FENG, SIMON LUNDMARK, KARL MEINKE, FEI NIU,
MUDDASSAR A. SINDHU, AND PETER Y.H. WONG
TECHNIQUES AND TOOLSET FOR CONFORMANCE TESTING AGAINST UML SEQUENCE
DIAGRAMS 180
JOAO PASCOAL FARIA, ANA C.R. PAIVA, AND MARIO VENTURA DE CASTRO
PARALLEL SMT-CONSTRAINED SYMBOLIC EXECUTION FOR ECLIPSE
CDT/CODAN 196
ANDREAS IBING
CHALLENGES OF TESTING PERIODIC MESSAGES IN AVIONICS SYSTEMS USING
TTCN-3 207
BERNARD STEPIEN AND LIARN PEYTON
DEBUGGING
GUIDED ALGEBRAIC SPECIFICATION MINING FOR FAILURE SIMPLIFICATION 223
ALEXANDER ELYASOV, I.S. WISHNU B. PRASETYA, AND JURRIAAN HAGE
SPECTRUM-BASED FAULT LOCALIZATION FOR DIAGNOSING CONCURRENCY
FAULTS 239
FEYZULLAH KOCA, HASAN SOZER, AND RUI ABREU
A DYNAMIC APPROACH TO LOCATING MEMORY LEAKS 255
KOSTYANTYN VOROBYOV, PADMANABHAN KRISHNAN, AND PHIL STOCKS
SHORT CONTRIBUTIONS
TOWARDS A GUI TEST MODEL USING STATE CHARTS AND PROGRAMMING
CODE 271
DANIEL MAUSER, ALEXANDER KLAUS, AND KONSTANTIN HOLL
A TOOL FOR SUPPORTING DEVELOPERS IN ANALYZING THE SECURITY
OF WEB-BASED SECURITY PROTOCOLS 277
GIANCARLO PELLEGRINO, LUCA, CORNPAGNA, AND THOMAS MORREGGIA
FINDING ERRORS IN PYTHON PROGRAMS USING DYNAMIC SYMBOLIC
EXECUTION 283
SAMIR SAPRA, MARIUS MINEA, SAGAR CHAKI, ARIE GURFINKEL, AND
EDMUND, M. CLARKE
AUTHOR INDEX 291 |
| any_adam_object | 1 |
| author_GND | (DE-588)1045800589 |
| building | Verbundindex |
| bvnumber | BV041422291 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)864597711 (DE-599)DNB1042341117 |
| dewey-full | 004 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 004.24 |
| dewey-search | 004 004.24 |
| dewey-sort | 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 a22000008cb4500</leader><controlfield tag="001">BV041422291</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140225</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">131118s2013 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N40</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1042341117</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364241706X</subfield><subfield code="9">3-642-41706-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642417061</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-41706-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642417061</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86337431</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864597711</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1042341117</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings</subfield><subfield code="c">Hüsnü Yenigün ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 289 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">8254</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">Testen</subfield><subfield code="0">(DE-588)4367264-4</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">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">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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">2012</subfield><subfield code="z">Ålborg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Istanbul</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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</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="689" ind1="2" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yenigün, Hüsnü</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1045800589</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTSS</subfield><subfield code="n">25.</subfield><subfield code="d">2013</subfield><subfield code="c">Istanbul</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044284447</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-642-41707-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8254</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8254</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=4462924&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=026869332&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-026869332</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Ålborg gnd-content (DE-588)1071861417 Konferenzschrift 2013 Istanbul gnd-content |
| genre_facet | Konferenzschrift 2012 Ålborg Konferenzschrift 2013 Istanbul |
| id | DE-604.BV041422291 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:06Z |
| institution | BVB |
| institution_GND | (DE-588)1044284447 |
| isbn | 364241706X 9783642417061 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026869332 |
| oclc_num | 864597711 |
| open_access_boolean | |
| owner | DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | XIV, 289 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.) Berlin [u.a.] Springer 2013 XIV, 289 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8254 Formale Methode (DE-588)4333722-3 gnd rswk-swf Testen (DE-588)4367264-4 gnd rswk-swf Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Ålborg gnd-content (DE-588)1071861417 Konferenzschrift 2013 Istanbul gnd-content Softwaretest (DE-588)4132652-0 s DE-604 Verteiltes System (DE-588)4238872-7 s Kommunikationssystem (DE-588)4125542-2 s Testen (DE-588)4367264-4 s Formale Methode (DE-588)4333722-3 s Eingebettetes System (DE-588)4396978-1 s Yenigün, Hüsnü Sonstige (DE-588)1045800589 oth ICTSS 25. 2013 Istanbul Sonstige (DE-588)1044284447 oth Erscheint auch als Online-Ausgabe 978-3-642-41707-8 Lecture notes in computer science 8254 (DE-604)BV000000607 8254 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4462924&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=026869332&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Kommunikationssystem (DE-588)4125542-2 gnd Softwaretest (DE-588)4132652-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4367264-4 (DE-588)4125542-2 (DE-588)4132652-0 (DE-588)4396978-1 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings |
| title_auth | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings |
| title_exact_search | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings |
| title_full | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.) |
| title_fullStr | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.) |
| title_full_unstemmed | Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings Hüsnü Yenigün ... (eds.) |
| title_short | Testing software and systems |
| title_sort | testing software and systems 25th ifip eg 6 1 international conference ictss 2013 istanbul turkey november 13 15 2013 proceedings |
| title_sub | 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Kommunikationssystem (DE-588)4125542-2 gnd Softwaretest (DE-588)4132652-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Formale Methode Testen Kommunikationssystem Softwaretest Eingebettetes System Verteiltes System Konferenzschrift 2012 Ålborg Konferenzschrift 2013 Istanbul |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4462924&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=026869332&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT yenigunhusnu testingsoftwareandsystems25thifipeg61internationalconferenceictss2013istanbulturkeynovember13152013proceedings AT ictssistanbul testingsoftwareandsystems25thifipeg61internationalconferenceictss2013istanbulturkeynovember13152013proceedings |