Eintrag weiter verarbeiten
Online-Ressource

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Gespeichert in:

Personen und Körperschaften: Yenigün, Hüsnü (VerfasserIn), Yilmaz, Cemal (HerausgeberIn), Ulrich, Andreas (HerausgeberIn)
Titel: Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings/ edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 8254
Schlagwörter:
Computer Communication Networks
Logic design
Information Systems
Computer Science
Computer science
Software engineering
Compilers (Computer programs).
Computers, Special purpose.
Computer networks .
Electronic data processing
Konferenzschrift > 2012 > Ålborg
Konferenzschrift
Druckausg.: Testing software and systems, Heidelberg : Springer, 2013, XIV, 289 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06727cam a22014172 4500
001 0-1653050098
003 DE-627
005 20240122104835.0
007 cr uuu---uuuuu
008 131106s2013 gw |||||o 00| ||eng c
020 |a 9783642417078  |9 978-3-642-41707-8 
024 7 |a 10.1007/978-3-642-41707-8  |2 doi 
035 |a (DE-627)1653050098 
035 |a (DE-576)395820197 
035 |a (DE-599)BSZ395820197 
035 |a (OCoLC)862045756 
035 |a (DE-He213)978-3-642-41707-8 
035 |a (EBP)040552063 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE 
050 0 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a 54.52  |2 bkl 
100 1 |a Yenigün, Hüsnü  |4 aut 
245 1 0 |a Testing Software and Systems  |b 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings  |c edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XIV, 291 p. 84 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 8254 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a Model-Based TestingTesting Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   . 
520 |a This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging 
650 0 |a Computer Communication Networks 
650 0 |a Logic design 
650 0 |a Information Systems 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Computer Communication Networks 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Information Systems 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Compilers (Computer programs). 
650 0 |a Computers, Special purpose. 
650 0 |a Computer networks . 
650 0 |a Electronic data processing 
655 7 |a Konferenzschrift  |y 2012  |z Ålborg  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4132652-0  |0 (DE-627)105686085  |0 (DE-576)209637390  |a Softwaretest  |2 gnd 
689 0 |5 DE-101 
689 1 0 |D s  |0 (DE-588)4238872-7  |0 (DE-627)104657308  |0 (DE-576)210416696  |a Verteiltes System  |2 gnd 
689 1 1 |D s  |0 (DE-588)4125542-2  |0 (DE-627)105739456  |0 (DE-576)20957741X  |a Kommunikationssystem  |2 gnd 
689 1 2 |D s  |0 (DE-588)4367264-4  |0 (DE-627)181761459  |0 (DE-576)211692794  |a Testen  |2 gnd 
689 1 3 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 1 |5 DE-101 
689 2 0 |D s  |0 (DE-588)4132652-0  |0 (DE-627)105686085  |0 (DE-576)209637390  |a Softwaretest  |2 gnd 
689 2 |5 DE-101 
689 3 0 |D s  |0 (DE-588)4238872-7  |0 (DE-627)104657308  |0 (DE-576)210416696  |a Verteiltes System  |2 gnd 
689 3 1 |D s  |0 (DE-588)4396978-1  |0 (DE-627)191533580  |0 (DE-576)212005545  |a Eingebettetes System  |2 gnd 
689 3 2 |D s  |0 (DE-588)4132652-0  |0 (DE-627)105686085  |0 (DE-576)209637390  |a Softwaretest  |2 gnd 
689 3 |5 DE-101 
700 1 |a Yilmaz, Cemal  |e Hrsg.  |4 edt 
700 1 |a Ulrich, Andreas  |e Hrsg.  |4 edt 
776 1 |z 9783642417061 
776 0 8 |i Druckausg.  |t Testing software and systems  |d Heidelberg : Springer, 2013  |h XIV, 289 S.  |w (DE-627)769307973  |w (DE-576)403425522  |z 9783642417061  |z 364241706X 
830 0 |a Lecture notes in computer science  |v 8254  |9 8254  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-41707-8  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41707-8  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz395820197cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150316113309  |3 Cover 
889 |w (DE-627)772151849 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.52  |j Software engineering  |q SEPA  |0 (DE-627)106418882 
951 |a BO 
950 |a Distributed System 
950 |a Distributed Data Processing 
950 |a VDV-System 
950 |a Verteilte Datenverarbeitung 
950 |a Verteilte Verarbeitung 
950 |a Verteiltes Datenverarbeitungssystem 
950 |a Verteiltes Softwaresystem 
950 |a Datenverarbeitungssystem 
950 |a Rechnernetz 
950 |a Mehrrechnersystem 
950 |a Client-Server-Konzept 
950 |a Programmtest 
950 |a Software 
950 |a Testen 
950 |a Programm 
950 |a Kommunikationssysteme 
950 |a Коммуникационная система 
950 |a Formales Verfahren 
950 |a Methode 
950 |a Тестирование 
950 |a Embedded system 
950 |a Einbettung 
950 |a Cyber-physisches System 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41707-8  |9 DE-14 
852 |a DE-14  |x epn:3362476279  |z 2013-11-06T08:23:05Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41707-8  |9 DE-15 
852 |a DE-15  |x epn:3362476309  |z 2013-11-06T08:23:05Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41707-8  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3362476341  |z 2013-11-06T08:23:05Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41707-8  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3362476376  |z 2013-11-06T08:23:05Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41707-8  |9 DE-520 
852 |a DE-520  |x epn:3362476406  |z 2013-11-06T08:23:05Z 
980 |a 1653050098  |b 0  |k 1653050098  |o 395820197 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Testing+Software+and+Systems%3A+25th+IFIP+WG+6.1+International+Conference%2C+ICTSS+2013%2C+Istanbul%2C+Turkey%2C+November+13-15%2C+2013%2C+Proceedings&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Testing+Software+and+Systems%3A+25th+IFIP+WG+6.1+International+Conference%2C+ICTSS+2013%2C+Istanbul%2C+Turkey%2C+November+13-15%2C+2013%2C+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+8254&rft.au=Yenig%C3%BCn%2C+H%C3%BCsn%C3%BC&rft.pub=Springer&rft.edition=&rft.isbn=3642417078
SOLR
_version_ 1792258634349019136
access_facet Electronic Resources
author Yenigün, Hüsnü
author2 Yilmaz, Cemal, Ulrich, Andreas
author2_role edt, edt
author2_variant c y cy, a u au
author_facet Yenigün, Hüsnü, Yilmaz, Cemal, Ulrich, Andreas
author_role aut
author_sort Yenigün, Hüsnü
author_variant h y hy
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.758
callnumber-search QA76.758
callnumber-sort QA 276.758
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents Model-Based TestingTesting Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   ., This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging
ctrlnum (DE-627)1653050098, (DE-576)395820197, (DE-599)BSZ395820197, (OCoLC)862045756, (DE-He213)978-3-642-41707-8, (EBP)040552063
de15_date 2013-11-06T08:23:05Z
dech1_date 2013-11-06T08:23:05Z
doi_str_mv 10.1007/978-3-642-41707-8
era_facet 2012
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Softwaretest, Verteiltes System, Kommunikationssystem, Testen, Formale Methode, Eingebettetes System
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2012 Ålborg (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Ålborg
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 8254
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1653050098
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1653050098
is_hierarchy_title Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
isbn 9783642417078
isbn_isn_mv 9783642417061, 364241706X
issn_isn_mv 1611-3349
kxp_id_str 1653050098
language English
last_indexed 2024-02-29T18:23:46.119Z
local_heading_facet_dezwi2 Computer Communication Networks, Logic design, Information Systems, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computers, Special purpose., Computer networks ., Electronic data processing, Softwaretest, Verteiltes System, Kommunikationssystem, Testen, Formale Methode, Eingebettetes System
marc024a_ct_mv 10.1007/978-3-642-41707-8
match_str yenigun2013testingsoftwareandsystems25thifipwg61internationalconferenceictss2013istanbulturkeynovember13152013proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)8254
oclc_num 862045756
physical Online-Ressource (XIV, 291 p. 84 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 395820197
recordtype marcfinc
rsn_id_str_mv (DE-15)3263012
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 8254
series2 Lecture Notes in Computer Science ; 8254, SpringerLink ; Bücher
source_id 0
spelling Yenigün, Hüsnü aut, Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich, Berlin, Heidelberg Springer 2013, Online-Ressource (XIV, 291 p. 84 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 8254, SpringerLink Bücher, Literaturangaben, Model-Based TestingTesting Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   ., This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging, Computer Communication Networks, Logic design, Information Systems, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computers, Special purpose., Computer networks ., Electronic data processing, Konferenzschrift 2012 Ålborg (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4132652-0 (DE-627)105686085 (DE-576)209637390 Softwaretest gnd, DE-101, s (DE-588)4238872-7 (DE-627)104657308 (DE-576)210416696 Verteiltes System gnd, s (DE-588)4125542-2 (DE-627)105739456 (DE-576)20957741X Kommunikationssystem gnd, s (DE-588)4367264-4 (DE-627)181761459 (DE-576)211692794 Testen gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, s (DE-588)4396978-1 (DE-627)191533580 (DE-576)212005545 Eingebettetes System gnd, Yilmaz, Cemal Hrsg. edt, Ulrich, Andreas Hrsg. edt, 9783642417061, Druckausg. Testing software and systems Heidelberg : Springer, 2013 XIV, 289 S. (DE-627)769307973 (DE-576)403425522 9783642417061 364241706X, Lecture notes in computer science 8254 8254 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-41707-8 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-41707-8 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz395820197cov.jpg V:DE-576 X:springer image/jpeg 20150316113309 Cover, (DE-627)772151849, http://dx.doi.org/10.1007/978-3-642-41707-8 DE-14, DE-14 epn:3362476279 2013-11-06T08:23:05Z, http://dx.doi.org/10.1007/978-3-642-41707-8 DE-15, DE-15 epn:3362476309 2013-11-06T08:23:05Z, http://dx.doi.org/10.1007/978-3-642-41707-8 DE-Ch1, DE-Ch1 epn:3362476341 2013-11-06T08:23:05Z, http://dx.doi.org/10.1007/978-3-642-41707-8 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3362476376 2013-11-06T08:23:05Z, http://dx.doi.org/10.1007/978-3-642-41707-8 DE-520, DE-520 epn:3362476406 2013-11-06T08:23:05Z
spellingShingle Yenigün, Hüsnü, Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, Lecture notes in computer science, 8254, Model-Based TestingTesting Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   ., This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging, Computer Communication Networks, Logic design, Information Systems, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computers, Special purpose., Computer networks ., Electronic data processing, Konferenzschrift 2012 Ålborg, Konferenzschrift, Softwaretest, Verteiltes System, Kommunikationssystem, Testen, Formale Methode, Eingebettetes System
swb_id_str 395820197
title Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
title_auth Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
title_full Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
title_fullStr Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
title_full_unstemmed Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
title_in_hierarchy 8254. Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings (2013)
title_short Testing Software and Systems
title_sort testing software and systems 25th ifip wg 6 1 international conference ictss 2013 istanbul turkey november 13 15 2013 proceedings
title_sub 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
title_unstemmed Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
topic Computer Communication Networks, Logic design, Information Systems, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computers, Special purpose., Computer networks ., Electronic data processing, Konferenzschrift 2012 Ålborg, Konferenzschrift, Softwaretest, Verteiltes System, Kommunikationssystem, Testen, Formale Methode, Eingebettetes System
topic_facet Computer Communication Networks, Logic design, Information Systems, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Computers, Special purpose., Computer networks ., Electronic data processing, Konferenzschrift, Softwaretest, Verteiltes System, Kommunikationssystem, Testen, Formale Methode, Eingebettetes System
url https://doi.org/10.1007/978-3-642-41707-8, http://dx.doi.org/10.1007/978-3-642-41707-8, https://swbplus.bsz-bw.de/bsz395820197cov.jpg