Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Conformance Testing with Respect to Partial-Order Specifications....Pages 3-17
Back-to-Back Testing of Self-organization Mechanisms....Pages 18-35
Test Generation by Constraint Solving and FSM Mutant Killing....Pages 36-51
Risk-Based Interoperability Testing Using Reinforcement Learning....Pages 52-69
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing....Pages 70-85
Front Matter....Pages 87-87
Controllability Through Nondeterminism in Distributed Testing....Pages 89-105
Parallelizing Heuristics for Generating Synchronizing Sequences....Pages 106-122
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness....Pages 123-138
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications....Pages 139-152
Front Matter....Pages 153-153
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking....Pages 155-171
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice....Pages 172-190
From Simulation Data to Test Cases for Fully Automated Driving and ADAS....Pages 191-206
Front Matter....Pages 207-207
Searching Critical Values for Floating-Point Programs....Pages 209-217
UTTOS: A Tool for Testing UEFI Code in OS Environment....Pages 218-224
Towards Model Construction Based on Test Cases and GUI Extraction....Pages 225-230
Set-Based Algorithms for Combinatorial Test Set Generation....Pages 231-240
Automated Localisation Testing in Industry with Test \(^*\)  ....Pages 241-248
Distribution Visualization for User Behavior Analysis on LTE Network....Pages 249-255
Back Matter....Pages 257-257