Testing Software and Systems

25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Editors:

ISBN: 978-3-642-41706-1 (Print) 978-3-642-41707-8 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. Model-Based Testing

    1. No Access

      Book Chapter

      Pages 1-16

      Using Logic Coverage to Improve Testing Function Block Diagrams

    2. No Access

      Book Chapter

      Pages 17-32

      Automatic Grammar-Based Test Generation

    3. No Access

      Book Chapter

      Pages 33-48

      Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines

    4. No Access

      Book Chapter

      Pages 49-64

      Exhaustive Model-Based Equivalence Class Testing

  3. Testing Timed and Concurrent Systems

    1. No Access

      Book Chapter

      Pages 65-81

      Remote Testing of Timed Specifications

    2. No Access

      Book Chapter

      Pages 82-97

      An Implementation Relation and Test Framework for Timed Distributed Systems

    3. No Access

      Book Chapter

      Pages 98-113

      Unfolding-Based Test Selection for Concurrent Conformance

  4. Test Suite Selection and Effort Estimation

    1. No Access

      Book Chapter

      Pages 114-132

      Predicting the Size of Test Suites from Use Cases: An Empirical Exploration

    2. No Access

      Book Chapter

      Pages 133-148

      Chaining Test Cases for Reactive System Testing

    3. No Access

      Book Chapter

      Pages 149-163

      Variations over Test Suite Reduction

  5. Tools and Languages

    1. No Access

      Book Chapter

      Pages 164-179

      Case Studies in Learning-Based Testing

    2. No Access

      Book Chapter

      Pages 180-195

      Techniques and Toolset for Conformance Testing against UML Sequence Diagrams

    3. No Access

      Book Chapter

      Pages 196-206

      Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan

    4. No Access

      Book Chapter

      Pages 207-222

      Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3

  6. Debugging

    1. No Access

      Book Chapter

      Pages 223-238

      Guided Algebraic Specification Mining for Failure Simplification

    2. No Access

      Book Chapter

      Pages 239-254

      Spectrum-Based Fault Localization for Diagnosing Concurrency Faults

    3. No Access

      Book Chapter

      Pages 255-270

      A Dynamic Approach to Locating Memory Leaks

  7. Short Contributions

    1. No Access

      Book Chapter

      Pages 271-276

      Towards a GUI Test Model Using State Charts and Programming Code

    2. No Access

      Book Chapter

      Pages 277-282

      A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols

    3. No Access

      Book Chapter

      Pages 283-289

      Finding Errors in Python Programs Using Dynamic Symbolic Execution

  8. Back Matter

    Pages -