| 书目名称 | Testing Software and Systems |
| 副标题 | 31st IFIP WG 6.1 Int |
| 编辑 | Christophe Gaston,Nikolai Kosmatov,Pascale Le Gall |
| 视频video | http://file.papertrans.cn/904/903394/903394.mp4 |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. |
| 出版日期 | Conference proceedings 2019 |
| 关键词 | artificial intelligence; computer architecture; formal methods; model checking; model-based testing; sema |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-31280-0 |
| isbn_softcover | 978-3-030-31279-4 |
| isbn_ebook | 978-3-030-31280-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | IFIP International Federation for Information Processing 2019 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-17 18:23
发表于 2025-3-21 18:07:09
