Testing Software and Systems

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