Tests and proofs [electronic resource] : 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings / Jasmin Christian Blanchette, Nikolai Kosmatov (eds.).
TAP (Conference) (9th : 2015 : L'Aquila, Italy); Blanchette, Jasmin Christian, editor.; Kosmatov, Nikolai, editor.; STAF (Federation of conferences) (2015 : L'Aquila, Italy)
2015
QA76.76.T48
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 [electronic resource] : 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings / Jasmin Christian Blanchette, Nikolai Kosmatov (eds.).
Meeting Name TAP (Conference) (9th : 2015 : L'Aquila, Italy)
ISBN 9783319212159 electronic book
331921215X electronic book
9783319212142
DOI https://doi.org/10.1007/978-3-319-21215-9
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xx, 209 pages) : illustrations.
Item Number 10.1007/978-3-319-21215-9 doi
Call Number QA76.76.T48
Dewey Decimal Classification 005.1/4
Summary This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L̀ Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
Note International conference proceedings.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 23, 2015).
Added Author Blanchette, Jasmin Christian, editor.
Kosmatov, Nikolai, editor.
Added Meeting Name STAF (Federation of conferences) (2015 : L'Aquila, Italy)
Series Lecture notes in computer science ; 9154.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Abstracts of Invited Talks
Testing, Fixing and Proving with Contracts
Mind the Gap: At the Crossroads of Design, Implementation and Foundations
Reasoning about C Concurrency and Compilers
Accepted Papers
Scalable incremental test-case generation from large behavior models
Test Case Generation for Concurrent Systems Using Event Structures
Fast Model-Based Fault Localisation with Test Suites
Case Study: Automatic test case generation for a secure cache Implementation
Verifying Code Generation Tools for the B-Method Using Tests: a Case Study
Software Validation via Model Animation
Sequential generation of structured arrays and its deductive verification
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study
A constraint optimization model for analysis of telecommunication protocol logs
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
Testing Functional Requirements in UML Activity Diagrams
Coverage of OCL Operation Specifications and Invariants.

Browse Subjects

Show more subjects...

Statistics

from
to
Export