Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / edited by Sebastian Gabmeyer, Einar Broch Johnsen.
Gabmeyer, Sebastian. editor.; Johnsen, Einar Broch. editor.
2017
QA76.758
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / edited by Sebastian Gabmeyer, Einar Broch Johnsen.
ISBN 9783319614670
3319614673
9783319614663
DOI https://doi.org/10.1007/978-3-319-61467-0
Published Cham : Springer International Publishing : Imprint: Springer, 2017.
Language English
Description 1 online resource (xi, 163 pages) : illustrations.
Other Standard Identifiers 10.1007/978-3-319-61467-0 doi
Call Number QA76.758
Dewey Decimal Classification 005.1
Summary This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Added Author Gabmeyer, Sebastian. editor.
Johnsen, Einar Broch. editor.
Series Lecture notes in computer science ; 10375. 0302-9743
Available in Other Form Print version: 9783319614663
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Abstraction Refinement for the Analysis of Software Product Lines
Hybrid Information Flow Analysis for Real-World C Code
Symbolic Execution of Transition Systems with Function Summaries
Unit Testing of Database-Driven Java Enterprise Edition Applications
Model-Based Testing of Probabilistic Systems with Stochastic Time
Test Suite Reduction in Idempotence Testing of Infrastructure as Code
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms
Skolem Function Continuation for Quantified Boolean Formulas
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions
Testing a Saturation-Based Theorem Prover: Experiences and Challenges. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export