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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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. .