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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Gabmeyer, Sebastian. (Editor ), Johnsen, Einar Broch. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10375
Materias:	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.

Tabla de Contenidos:

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. .

Ejemplares similares