Testing Software and Systems

Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.

The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

Table of Contents

Chapter 1. Fragility-Oriented Testing with Model Execution and Reinforcement Learning
Chapter 2. Fault-Based Testing for Refinement in CSP
Chapter 3. Effective Infinite-State Model Checking by Input Equivalence Class Partitioning
Chapter 4. Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques
Chapter 5. AI for Localizing Faults in Spreadsheets
Chapter 6. n-Complete Test Suites for IOCO
Chapter 7. Multiple Mutation Testing from Finite State Machines with Symbolic Inputs
Chapter 8. From Passive to Active FSM Inference via Checking Sequence Construction
Chapter 9. Safety-Complete Test Suites
Chapter 10. Testing TLS Using Combinatorial Methods and Execution Framework
Chapter 11. Using Data Integration for Security Testing
Chapter 12. A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction
Chapter 13. Quality Estimation of Virtual Machine Placement in Cloud Infrastructures
Chapter 14. Homing Sequence Derivation with Quantified Boolean Satisfiability
Chapter 15. Synchronizing Heuristics: Speeding up the Slowest
Chapter 16. GREP: Games for the Runtime Enforcement of Properties
Chapter 17. Constraint-Based Oracles for Timed Distributed Systems
Chapter 18. Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
Chapter 19. Ongoing Work on Automated Verification of Noisy Nonlinear Systems with ARIADNE
Chapter 20. Generating Checking Sequences for User Defined Fault Models
Chapter 21. Adaptive Localizer Based on Splitting Trees
Chapter 22. Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation