Formal Methods and Testing
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...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/26353 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-26353 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-263532020-07-08T01:32:56Z Formal Methods and Testing Hierons, Robert M. Bowen, Jonathan P. Harman, Mark Computer Science Software Engineering ; Formal methods (Computer science) ; Computer software--Testing 005.1 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). 2017-04-11T08:50:33Z 2017-04-11T08:50:33Z 2008 Book 978-3-540-78916-1 http://repository.vnu.edu.vn/handle/VNU_123/26353 en 379 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Computer Science Software Engineering ; Formal methods (Computer science) ; Computer software--Testing 005.1 |
| spellingShingle |
Computer Science Software Engineering ; Formal methods (Computer science) ; Computer software--Testing 005.1 Formal Methods and Testing |
| description |
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). |
| author2 |
Hierons, Robert M. |
| author_facet |
Hierons, Robert M. |
| format |
Book |
| title |
Formal Methods and Testing |
| title_short |
Formal Methods and Testing |
| title_full |
Formal Methods and Testing |
| title_fullStr |
Formal Methods and Testing |
| title_full_unstemmed |
Formal Methods and Testing |
| title_sort |
formal methods and testing |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/26353 |
| _version_ |
1680965499605745664 |