Testing Software and Systems

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

  • Hüsnü Yenigün
  • Cemal Yilmaz
  • Andreas Ulrich
Conference proceedings ICTSS 2013

DOI: 10.1007/978-3-642-41707-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8254)

Table of contents (20 papers)

  1. Front Matter
  2. Model-Based Testing

    1. Using Logic Coverage to Improve Testing Function Block Diagrams
      Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
      Pages 1-16
    2. Automatic Grammar-Based Test Generation
      Hai-Feng Guo, Zongyan Qiu
      Pages 17-32
    3. Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines
      Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
      Pages 33-48
    4. Exhaustive Model-Based Equivalence Class Testing
      Wen-ling Huang, Jan Peleska
      Pages 49-64
  3. Testing Timed and Concurrent Systems

    1. Remote Testing of Timed Specifications
      Alexandre David, Kim G. Larsen, Marius Mikučionis, Omer L. Nguena Timo, Antoine Rollet
      Pages 65-81
    2. An Implementation Relation and Test Framework for Timed Distributed Systems
      Christophe Gaston, Robert M. Hierons, Pascale Le Gall
      Pages 82-97
    3. Unfolding-Based Test Selection for Concurrent Conformance
      Hernán Ponce de León, Stefan Haar, Delphine Longuet
      Pages 98-113
  4. Test Suite Selection and Effort Estimation

    1. Predicting the Size of Test Suites from Use Cases: An Empirical Exploration
      Mourad Badri, Linda Badri, William Flageol
      Pages 114-132
    2. Chaining Test Cases for Reactive System Testing
      Peter Schrammel, Tom Melham, Daniel Kroening
      Pages 133-148
    3. Variations over Test Suite Reduction
      Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek
      Pages 149-163
  5. Tools and Languages

    1. Case Studies in Learning-Based Testing
      Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong
      Pages 164-179
    2. Techniques and Toolset for Conformance Testing against UML Sequence Diagrams
      João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro
      Pages 180-195
  6. Debugging

    1. Guided Algebraic Specification Mining for Failure Simplification
      Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage
      Pages 223-238
    2. Spectrum-Based Fault Localization for Diagnosing Concurrency Faults
      Feyzullah Koca, Hasan Sözer, Rui Abreu
      Pages 239-254
    3. A Dynamic Approach to Locating Memory Leaks
      Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
      Pages 255-270
  7. Short Contributions

    1. Towards a GUI Test Model Using State Charts and Programming Code
      Daniel Mauser, Alexander Klaus, Konstantin Holl
      Pages 271-276
    2. A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols
      Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia
      Pages 277-282

About these proceedings


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.


distributed systems human machine interface model checking timed systems use cases

Editors and affiliations

  • Hüsnü Yenigün
    • 1
  • Cemal Yilmaz
    • 1
  • Andreas Ulrich
    • 2
  1. 1.Faculty of Engineering and Natural SciencesSabanci UniversityIstanbulTurkey
  2. 2.Corporate Technology, CT RTC SAD SDT-DESiemens AGMunich,Germany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-41706-1
  • Online ISBN 978-3-642-41707-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349