Advertisement

Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

  • Khaled El-Fakih
  • Gerassimos Barlas
  • Nina Yevtushenko

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9447)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Model Based Testing

    1. Front Matter
      Pages 1-1
    2. Alexandre Petrenko, Adenilso Simao
      Pages 3-18
    3. Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün
      Pages 19-34
    4. Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
      Pages 35-51
  3. Test Derivation Methods

    1. Front Matter
      Pages 53-53
    2. Sylvain Hallé, Edmond La Chance, Sébastien Gaboury
      Pages 55-70
    3. Cleverton Hentz, Jurgen J. Vinju, Anamaria M. Moreira
      Pages 71-85
    4. Stephan Weißleder, Florian Wartenberg, Hartmut Lackner
      Pages 86-101
  4. Monitoring and Fault Localization

    1. Front Matter
      Pages 103-103
    2. Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi
      Pages 105-123
    3. Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa
      Pages 124-140
    4. Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa
      Pages 141-157
  5. Model and System Testing

    1. Front Matter
      Pages 159-159
    2. Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat
      Pages 161-177
    3. Ramsay Taylor, John Derrick
      Pages 178-193
    4. Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
      Pages 194-207
  6. Real-Time Systems

    1. Front Matter
      Pages 209-209
    2. Muhammad Waqar Aziz, Syed Abdul Baqi Shah
      Pages 211-223
    3. Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
      Pages 224-239
  7. Short Papers

    1. Front Matter
      Pages 241-241
    2. Ammar Mohammed Sultan, Salmi Baharom, Abdul Azim Abd Ghani, Jamilah Din, Hazura Zulzalil
      Pages 249-256
    3. Martin A. Schneider, Marc-Florian Wendland, Andreas Hoffmann
      Pages 257-262
    4. Takeshi Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto, Shigehiro Ano
      Pages 263-268
  8. Back Matter
    Pages 269-269

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.

Keywords

formal software verification functional testing model based testing software engineering software validation adaptive systems code based testing coverage metrics distributed systems equivalence checking fault models formal methods model checking mutation testing product line quality assurance security testing software defect analysis software testing and debugging validation

Editors and affiliations

  • Khaled El-Fakih
    • 1
  • Gerassimos Barlas
    • 2
  • Nina Yevtushenko
    • 3
  1. 1.Dept. of Comp. Sci.&Engg. Coll. of EnggAmerican Univ of SharjahSharjahUnited Arab Emirates
  2. 2.Dept. of Comp. Sci.&Engg. Coll. of EnggAmerican Univ of SharjahSharjahUnited Arab Emirates
  3. 3.Department of Information TechnologiesTomsk State UniversityTomskRussia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-25945-1
  • Copyright Information IFIP International Federation for Information Processing 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-25944-4
  • Online ISBN 978-3-319-25945-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering