Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Description

This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. 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. Front Matter....Pages I-XI Front Matter....Pages 1-1 Abstraction Refinement for the Analysis of Software Product Lines....Pages 3-20 Front Matter....Pages 21-21 Hybrid Information Flow Analysis for Real-World C Code....Pages 23-40 Symbolic Execution of Transition Systems with Function Summaries....Pages 41-58 Unit Testing of Database-Driven Java Enterprise Edition Applications....Pages 59-76 Model-Based Testing of Probabilistic Systems with Stochastic Time....Pages 77-97 Test Suite Reduction in Idempotence Testing of Infrastructure as Code....Pages 98-115 Front Matter....Pages 117-117 Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms....Pages 119-128 Skolem Function Continuation for Quantified Boolean Formulas....Pages 129-138 WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions....Pages 139-151 Testing a Saturation-Based Theorem Prover: Experiences and Challenges....Pages 152-161 Back Matter....Pages 163-163