| 书目名称 | Testing Software and Systems |
| 副标题 | 29th IFIP WG 6.1 Int |
| 编辑 | Nina Yevtushenko,Ana Rosa Cavalli,Hüsnü Yenigün |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017...The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.. |
| 出版日期 | Conference proceedings 2017 |
| 关键词 | theorem proving and SAT solving; fault models and test metrics; testing with distributed and oarallel |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-67549-7 |
| isbn_softcover | 978-3-319-67548-0 |
| isbn_ebook | 978-3-319-67549-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | IFIP International Federation for Information Processing 2017 |
发表于 2025-3-21 16:54:00
