Testing Software and Systems

24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

  • Brian Nielsen
  • Carsten Weise
Conference proceedings ICTSS 2012

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

Table of contents

  1. Front Matter
  2. Invited Keynote Talks

  3. Testing in Practice

    1. Jörg Brauer, Jan Peleska, Uwe Schulze
      Pages 8-23
    2. Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien
      Pages 39-54
    3. Daniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer
      Pages 55-70
  4. Test Frameworks for Distributed Systems

  5. Testing of Embedded Systems

    1. Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
      Pages 119-135
    2. Hengyi Yang, Bardh Hoxha, Georgios Fainekos
      Pages 136-151
  6. Test Optimization

    1. Angelo Gargantini, Marco Guarnieri, Eros Magri
      Pages 168-183
    2. Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick
      Pages 184-199
  7. New Testing Methods

    1. Joanna Strug, Barbara Strug
      Pages 200-214
    2. Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
      Pages 231-246
    3. Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski
      Pages 247-262
  8. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.


adaptable systems machine learning model-based testing protocol testing runtime

Editors and affiliations

  • Brian Nielsen
    • 1
  • Carsten Weise
    • 2
  1. 1.Department of Computer ScienceAalborg UniversityAalborgDenmark
  2. 2.IVU Traffic Technologies AGAachenGermany

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-34690-3
  • Online ISBN 978-3-642-34691-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site