Overview

Full Product Details

Author:   Bernhard K. Aichernig ,  Carlo A. Furia
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2016
Volume:   9762
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   3.343kg
ISBN:  

9783319411347

ISBN 10:   3319411349
Pages:   199
Publication Date:   21 June 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Using Formal Methods for Verification and Validation in Railway.- Monadic Sequence Testing and Explicit Test-Refinements.- Advances in Property-Based Testing for alphaProlog.- Tests and Proofs for Enumerative Combinatorics.- Classifying Test Suite Effectiveness via Model Inference and ROBBDs.- Lighweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers.- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification.- Your Proof Fails? Testing Helps to Find the Reason.- Classifying Bugs with Interpolants.- Debugging meets testing in Erlang.- Combining Dynamic and Static Analysis to help develop Correct Graph Transformations.- Automatic predicate testing in formal certification.  

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions