| 書目名稱 | Formal Methods and Testing |
| 副標題 | An Outcome of the FO |
| 編輯 | Robert M. Hierons,Jonathan P. Bowen,Mark Harman |
| 視頻video | http://file.papertrans.cn/346/345757/345757.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 04:18
發(fā)表于 2025-3-21 19:38:59
