Go to main content

Tests and proofs [electronic resource] : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings / Bernhard K. Aichernig, Carlo A. Furia (eds.).

TAP (Conference) (10th : 2016 : Vienna, Austria); Aichernig, Bernhard K., 1969- editor.; Furia, Carlo A., 1979- editor.; STAF (Federation of conferences) (2016 : Vienna, Austria), jointly held conference.
2016
QA76.76.T48 .T37 2016eb
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

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 [electronic resource] : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings / Bernhard K. Aichernig, Carlo A. Furia (eds.).
Meeting Name
TAP (Conference) (10th : 2016 : Vienna, Austria)
ISBN
9783319411354 (electronic book)
3319411357 (electronic book)
9783319411347
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource.
Call Number
QA76.76.T48 .T37 2016eb
Dewey Decimal Classification
005.1/4
Summary
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. 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.
Note
International conference proceedings.
Includes author index.
Access Note
Access limited to authorized users.
Added Author
Aichernig, Bernhard K., 1969- editor.
Furia, Carlo A., 1979- editor.
Added Meeting Name
STAF (Federation of conferences) (2016 : Vienna, Austria), jointly held conference.
Series
Lecture notes in computer science ; 9762.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export