Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings - Gabmeyer, Sebastian; Johnsen, Einar Broch; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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. .
Keywords: 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