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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Gabmeyer, Sebastian (Επιμελητής έκδοσης), Johnsen, Einar Broch (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:Lecture Notes in Computer Science, 10375
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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. .