Skip to:Content
|
Bottom
Cover image for Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Title:
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Author:
Blanchette, Jasmin Christian. editor.
ISBN:
9783319212159
Edition:
1st ed. 2015.
Physical Description:
XIX, 209 p. 57 illus. online resource.
Series:
Programming and Software Engineering, 9154
Contents:
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.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 519104-1001 XX(519104.1)
Searching...

On Order

Go to:Top of Page