Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings (Lecture Notes in Computer Science (8254))

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging. Front Matter....Pages - Using Logic Coverage to Improve Testing Function Block Diagrams....Pages 1-16 Automatic Grammar-Based Test Generation....Pages 17-32 Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines....Pages 33-48 Exhaustive Model-Based Equivalence Class Testing....Pages 49-64 Remote Testing of Timed Specifications....Pages 65-81 An Implementation Relation and Test Framework for Timed Distributed Systems....Pages 82-97 Unfolding-Based Test Selection for Concurrent Conformance....Pages 98-113 Predicting the Size of Test Suites from Use Cases: An Empirical Exploration....Pages 114-132 Chaining Test Cases for Reactive System Testing....Pages 133-148 Variations over Test Suite Reduction....Pages 149-163 Case Studies in Learning-Based Testing....Pages 164-179 Techniques and Toolset for Conformance Testing against UML Sequence Diagrams....Pages 180-195 Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan....Pages 196-206 Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3....Pages 207-222 Guided Algebraic Specification Mining for Failure Simplification....Pages 223-238 Spectrum-Based Fault Localization for Diagnosing Concurrency Faults....Pages 239-254 A Dynamic Approach to Locating Memory Leaks....Pages 255-270 Towards a GUI Test Model Using State Charts and Programming Code....Pages 271-276 A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols....Pages 277-282 Finding Errors in Python Programs Using Dynamic Symbolic Execution....Pages 283-289 Back Matter....Pages -