Advertisement

Testing of Software and Communicating Systems

20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

  • Editors
  • Kenji Suzuki
  • Teruo Higashino
  • Andreas Ulrich
  • Toru Hasegawa
Conference proceedings FATES 2008, TestCom 2008

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. General Software Testing

    1. Klaus Havelund
      Pages 7-22
    2. Victor Kuliamin
      Pages 23-37
    3. Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen
      Pages 38-53
  4. Testing Continuous and Real-Time Systems

    1. Juergen Grossmann, Ina Schieferdecker, Hans-Werner Wiesbrock
      Pages 70-85
  5. Network Testing

    1. Achim D. Brucker, Lukas Brügger, Burkhart Wolff
      Pages 103-118
    2. Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee
      Pages 119-134
    3. George Din, Ina Schieferdecker, Razvan Petre
      Pages 135-152
  6. Test Generation

    1. Adenilso Simão, Alexandre Petrenko
      Pages 153-168
    2. Gregor v. Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan
      Pages 169-183
    3. Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
      Pages 184-199
  7. Concurrent System Testing

    1. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
      Pages 200-215
    2. Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz
      Pages 216-233
  8. Applications of Testing

    1. Jens R. Calamé, Jaco van de Pol
      Pages 250-265
    2. Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini
      Pages 266-282
    3. Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch
      Pages 283-301
  9. Back Matter

About these proceedings

Introduction


This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008.

The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.

Keywords

action refinement all-IP networks aspect oriented programming automated testing communicating systems testing computer communication systems conformance testing error recovery fault protection finite state automata functional testing graph tran real-time testing tools

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68524-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-68514-2
  • Online ISBN 978-3-540-68524-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site