TY  - BOOK
AU  - Seidl,Martina
AU  - Tillmann,Nikolai
TI  - Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings 
SN  - 9783319090993
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
KW  - Computer simulation
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-319-09099-3
ER  -