International Competition on Software Testing (Test-Comp)
Gespeichert in:
| Veröffentlicht in: | Tools and Algorithms for the Construction and Analysis of Systems Jg. 11429 |
|---|---|
| Format: | Buchkapitel |
| Sprache: | Englisch |
| Veröffentlicht: |
Switzerland
Springer International Publishing AG
2019
|
| ISBN: | 3030175014, 9783030175016 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| BookMark | eNpFj81LxDAQxSN-oF33P_DQox6iM_lsjrKsurDgwfVc0jRdqzWpbcR_31YFYeDN-zHM42XkKMTgCblAuEYAfWN0QTkFDhS1BEZ5iXhAMj6RH8AO_w2KE5IhGMWZNEyekuU4vgIAQ66FxDNiNiH5IdjUxmC7fBXfe5_a2eXTPMUmfdnB5zs_pjbs88t5ofPV1Tk5bmw3-uWfLsjz3Xq3eqDbx_vN6nZL98yIRDlzUjipXONU0Thnq1oWvHayqsF4xQrUylpfixpZZRotrUbui6YAJbxEwxdE_P7th_jxOcWXvorxzfmQBtu5F9tPBcZyqgcIqkQpSzSMfwNRg1S4 |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-030-17502-3_11 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3030175022 9783030175023 |
| Editor | Beyer, Dirk Kordon, Fabrice Steffen, Bernhard Huisman, Marieke |
| Editor_xml | – sequence: 1 fullname: Kordon, Fabrice – sequence: 2 fullname: Beyer, Dirk – sequence: 3 fullname: Steffen, Bernhard – sequence: 4 fullname: Huisman, Marieke |
| ExternalDocumentID | EBC5920106_155_192 |
| GroupedDBID | 0DA 38. AABBV AAJYQ AAKKN AALJR AAQKC AATVQ ABBUY ABCYT ABEEZ ACDTA ACDUY ADOGT AEDXK AEHEY AEJLV AEKFX AEZAY AGWHU AHNNE AIFIR AIQUZ ALEXF ALMA_UNASSIGNED_HOLDINGS ALNDD ATJMZ AYMPB BBABE CXBFT CZZ EIXGO EXGDT FCSXQ FFUUA I4C IEZ MGZZY NSQWD OORQV SBO TPJZQ TSXQS V1H Z83 Z88 |
| ID | FETCH-LOGICAL-g294t-32c54c56cfc68fccabd583dc5bd09e628176aaed4d12b9f75a713e8f8064e5193 |
| ISBN | 3030175014 9783030175016 |
| ISICitedReferencesCount | 9 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000681183400011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Tue Oct 21 02:56:31 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA75.5-76.95 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-g294t-32c54c56cfc68fccabd583dc5bd09e628176aaed4d12b9f75a713e8f8064e5193 |
| OCLC | 1096325925 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_11.pdf |
| PQID | EBC5920106_155_192 |
| ParticipantIDs | proquest_ebookcentralchapters_5920106_155_192 |
| PublicationCentury | 2000 |
| PublicationDate | 2019 |
| PublicationDateYYYYMMDD | 2019-01-01 |
| PublicationDate_xml | – year: 2019 text: 2019 |
| PublicationDecade | 2010 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III |
| PublicationTitle | Tools and Algorithms for the Construction and Analysis of Systems |
| PublicationYear | 2019 |
| Publisher | Springer International Publishing AG |
| Publisher_xml | – name: Springer International Publishing AG |
| SSID | ssj0002137451 |
| Score | 2.2430656 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | International Competition on Software Testing (Test-Comp) |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5920106&ppg=192 |
| Volume | 11429 |
| WOSCitedRecordID | wos000681183400011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3PT4MwFG7UeDAe_B1_h4MHPTSx0NL2qMt0J-Nhmt0IlFZNFqZu0f35vkdhg-llBxNCSFOg5YPH16997xFy4azVkYs5lTl3FN4QRZXKcsoMj7mTDsYUPtmEfHhQg4F-rHK2jst0ArIo1HSq3_8VaigDsNF1dgm4ZxeFAjgG0GEPsMN-gRG3tVeP-mg09FGXb4YvIxj4v_qACyW_xOScdbhYX6cRkaQZuryxvH2uFnZKhv3mGSYYBbDf37hsrI9xOrzegIcU69X6QiUnoAdTS06o5cQFQbKhid3ct4agEY6pgHZ4j8mZTWXc3-iXhW4uyoBTKZ4b0iipTG4rIDbzafIWAmJ3bztC4yR-nAAZSrDS-wfFPGI4314lVVklq0Bswb49s95McwtZJLlg6OJTt9rHhmz0ouFe-Vcjf_2ySx7S3yab6JsSoNMItHWHrNhil2zVmTmCylDvEd16rkEDugC2Grqggi64nAF3tU-e7rr9To9WSTLoS6j5hEahEdyI2DgTKwffY5YLFeVGZPm1tnGomIzT1OY8Z2GmnRSpZJFVTgEXtUjfD8haMSrsIQmMcLEEQhw5YbnItE4zJqyxwvFcZak-IrTue1JO5Vfrh43v9DhZgOV4yfonZGP-Rp6SNfgi7BlZN1-Tt_HneQnlD2G6WBA |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Tools+and+Algorithms+for+the+Construction+and+Analysis+of+Systems&rft.atitle=International+Competition+on+Software+Testing+%28Test-Comp%29&rft.date=2019-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783030175016&rft.volume=11429&rft_id=info:doi/10.1007%2F978-3-030-17502-3_11&rft.externalDBID=192&rft.externalDocID=EBC5920106_155_192 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5920106-l.jpg |