Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4949)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
Keywords
About this book
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).
Bibliographic Information
Book Title: Formal Methods and Testing
Book Subtitle: An Outcome of the FORTEST Network. Revised Selected Papers
Editors: Robert M. Hierons, Jonathan P. Bowen, Mark Harman
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-78917-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-78916-1Published: 08 April 2008
eBook ISBN: 978-3-540-78917-8Published: 13 April 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 370
Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Management of Computing and Information Systems