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

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

Table of contents

  1. Front Matter
  2. Model-Based Testing

    1. Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
      Pages 1-16
    2. Hai-Feng Guo, Zongyan Qiu
      Pages 17-32
    3. Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
      Pages 33-48
    4. Wen-ling Huang, Jan Peleska
      Pages 49-64
  3. Testing Timed and Concurrent Systems

    1. Alexandre David, Kim G. Larsen, Marius Mikučionis, Omer L. Nguena Timo, Antoine Rollet
      Pages 65-81
    2. Christophe Gaston, Robert M. Hierons, Pascale Le Gall
      Pages 82-97
    3. Hernán Ponce de León, Stefan Haar, Delphine Longuet
      Pages 98-113
  4. Test Suite Selection and Effort Estimation

    1. Mourad Badri, Linda Badri, William Flageol
      Pages 114-132
    2. Peter Schrammel, Tom Melham, Daniel Kroening
      Pages 133-148
    3. Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek
      Pages 149-163
  5. Tools and Languages

    1. Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong
      Pages 164-179
    2. João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro
      Pages 180-195
  6. Debugging

    1. Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage
      Pages 223-238
    2. Feyzullah Koca, Hasan Sözer, Rui Abreu
      Pages 239-254
    3. Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
      Pages 255-270
  7. Short Contributions

    1. Daniel Mauser, Alexander Klaus, Konstantin Holl
      Pages 271-276
    2. Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia
      Pages 277-282
    3. Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke
      Pages 283-289
  8. Back Matter

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

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-41706-1
  • Online ISBN 978-3-642-41707-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment