| 书目名称 | Formal Methods and Testing |
| 副标题 | An Outcome of the FO |
| 编辑 | Robert M. Hierons,Jonathan P. Bowen,Mark Harman |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST)...Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).. |
| 出版日期 | Book 2008 |
| 关键词 | Markov decision process; Scala; abstract state machines; algebraic specifications; automated testing; con |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-78917-8 |
| isbn_softcover | 978-3-540-78916-1 |
| isbn_ebook | 978-3-540-78917-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2008 |
发表于 2025-3-21 19:38:59
