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

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gabmeyer, Sebastian. (Editor), Johnsen, Einar Broch. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Programming and Software Engineering ; 10375
Subjects:	Software engineering. Computer organization. Computer logic. Artificial intelligence. Computer-aided engineering. Computer programming. Software Engineering. Computer Systems Organization and Communication Networks. Logics and Meanings of Programs. Artificial Intelligence. Computer-Aided Engineering (CAD, CAE) and Design. Programming Techniques.

Table of Contents:

Abstraction Refinement for the Analysis of Software Product Lines
Hybrid Information Flow Analysis for Real-World C Code
Symbolic Execution of Transition Systems with Function Summaries
Unit Testing of Database-Driven Java Enterprise Edition Applications
Model-Based Testing of Probabilistic Systems with Stochastic Time
Test Suite Reduction in Idempotence Testing of Infrastructure as Code
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms
Skolem Function Continuation for Quantified Boolean Formulas
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions
Testing a Saturation-Based Theorem Prover: Experiences and Challenges. .

Similar Items