Tests and Proofs (Lecture Notes in Computer Science) de Martina Seidl

Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings: Lecture Notes in Computer Science, cartea 8570

Martina Seidl

Nikolai Tillmann

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 1061^.55 lei
20%

Preț: 307^.71 lei
20%

Preț: 438^.69 lei
20%

Preț: 645^.28 lei
Preț: 410^.88 lei
15%

Preț: 580^.46 lei
17%

Preț: 427^.22 lei
20%

Preț: 596^.46 lei
Preț: 449^.57 lei
20%

Preț: 353^.50 lei
20%

Preț: 1414^.79 lei
20%

Preț: 309^.90 lei
20%

Preț: 583^.40 lei
20%

Preț: 1075^.26 lei
20%

Preț: 310^.26 lei
20%

Preț: 655^.02 lei
20%

Preț: 580^.93 lei
20%

Preț: 340^.32 lei
18%

Preț: 938^.83 lei
20%

Preț: 591^.51 lei
15%

Preț: 438^.59 lei
20%

Preț: 337^.00 lei
Preț: 389^.48 lei
20%

Preț: 607^.39 lei
20%

Preț: 1024^.44 lei
20%

Preț: 579^.30 lei
20%

Preț: 763^.23 lei
20%

Preț: 453^.32 lei
20%

Preț: 575^.48 lei
20%

Preț: 585^.88 lei
20%

Preț: 825^.93 lei
20%

Preț: 763^.23 lei
17%

Preț: 360^.19 lei
20%

Preț: 1183^.14 lei
20%

Preț: 340^.32 lei
20%

Preț: 504^.57 lei
20%

Preț: 369^.12 lei
20%

Preț: 583^.40 lei
20%

Preț: 343^.62 lei
20%

Preț: 350^.21 lei
20%

Preț: 764^.89 lei
20%

Preț: 583^.40 lei
20%

Preț: 649^.49 lei
20%

Preț: 341^.95 lei
20%

Preț: 238^.01 lei
20%

Preț: 538^.29 lei

Specificații

ISBN-13: 9783319090986
ISBN-10: 3319090984
Pagini: 228
Ilustrații: XII, 214 p. 76 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:2014
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Model-Based Mutation Testing of an Industrial Measurement Device.- Computing with an SMT Solver.- An Abstraction Technique for Testing Decomposable Systems by Model Checking.- An All-in-One Toolkit for Automated White-Box Testing.- Behaviour Driven Development for Tests and Verification.- Quality Assurance in MBE Back and Forth.- Visualizing Unbounded Symbolic Execution.- Film stripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.- Generating Classified Parallel Unit Tests.- JTACO: Test Execution for Faster Bounded Verification.- Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.- A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing.- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses: Tutorial Synopsis.- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers.- Lightweight State Capturing for Automated Testing of Multithreaded Programs.- How Test Generation Helps Software Specification and Deductive Verification in Frama-C.