Advertisement

Testing Software and Systems

26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

  • Mercedes G. Merayo
  • Edgardo Montes de Oca

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

Table of contents

  1. Front Matter
  2. Testing Methodologies

    1. Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo
      Pages 1-16
    2. Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
      Pages 32-47
    3. Franz Wotawa, Josip Bozic
      Pages 48-62
  3. Tools and Frameworks

    1. Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry
      Pages 80-96
    2. Mariem Abdelmoula, Daniel Gaffe, Michel Auguin
      Pages 97-112
    3. Rainer Schmidberger
      Pages 113-128
  4. Industrial Experiences

  5. Short Contributions

    1. Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
      Pages 180-185
    2. Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
      Pages 186-191
    3. Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko
      Pages 198-204
    4. Kivanc Doganay, Sigrid Eldh, Wasif Afzal, Markus Bohlin
      Pages 205-210
  6. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014.
The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences.

Keywords

adaptive systems coverage metrics distributed systems empirical software validation equivalence checking fault models and test metrics formal methods model checking model verification and validation multi-agent systems product line quality assurance security testing self-organizing software testing and debugging validation

Editors and affiliations

  • Mercedes G. Merayo
    • 1
  • Edgardo Montes de Oca
    • 2
  1. 1.Facultad de Informática. Deparmento Sistems Informáticos y ComputaciónUniversidad Complutense de MadridMadridSpain
  2. 2.MontimageParisFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-44857-1
  • Copyright Information IFIP International Federation for Information Processing 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44856-4
  • Online ISBN 978-3-662-44857-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