Muutke küpsiste eelistusi

Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings 2014 ed. [Pehme köide]

  • Formaat: Paperback / softback, 211 pages, kõrgus x laius: 235x155 mm, kaal: 3518 g, 63 Illustrations, black and white; XIV, 211 p. 63 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 8763
  • Ilmumisaeg: 23-Sep-2014
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3662448564
  • ISBN-13: 9783662448564
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 211 pages, kõrgus x laius: 235x155 mm, kaal: 3518 g, 63 Illustrations, black and white; XIV, 211 p. 63 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 8763
  • Ilmumisaeg: 23-Sep-2014
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3662448564
  • ISBN-13: 9783662448564
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.

Testing Methodologies.- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints.- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences.- Plan It! Automated Security Testing Based on Planning.- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria.- Tools and Frameworks.- An Approach to Derive Usage Models Variants for Model-Based Testing.- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.- Well-Defined Coverage Metrics for the Glass Box Test.- Industrial Experiences.- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment.- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study.- What Characterizes a Good Software Tester? A Survey in Four Norwegian Companies.- Short Contributions.- A Customizable Monitoring Infrastructure for Hardware/Software Em

bedded Systems.- Towards Testing Self-organizing, Adaptive Systems.- Design of Prioritized N-Wise Testing.- Change Detection System for the Maintenance of Automated Testing.- On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment.- Search-Based Testing for Embedded Telecom Software with Complex Input Structures.
Testing Methodologies
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions
1(16)
Antonia Estero-Botaro
Antonio Garcia-Dominguez
Juan Jose Dominguez-Jimenez
Francisco Palomo-Lozano
Inmaculada Medina-Bulo
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints
17(15)
Shaukat Ali
Tao Yue
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences
32(16)
Uraz Cengiz Turker
Tonguc Unluyurt
Husnu Yenigun
Plan It! Automated Security Testing Based on Planning
48(15)
Franz Wotawa
Josip Bozic
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria
63(17)
Anurag Dwarakanath
Aruna Jankiti
Tools and Frameworks
An Approach to Derive Usage Models Variants for Model-Based Testing
80(17)
Hamza Samih
Helene Le Guen
Ralf Bogusch
Mathieu Acher
Benoit Baudry
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems
97(16)
Mariem Abdelmoula
Daniel Gaffe
Michel Auguin
Well-Defined Coverage Metrics for the Glass Box Test
113(16)
Rainer Schmidberger
Industrial Experiences
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment
129(16)
Manuel Palmieri
Antonio Cicchetti
Anders Oberg
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study
145(16)
Morten Mossige
Arnaud Gotlieb
Hein Meling
What Characterizes a Good Software Tester? -- A Survey in Four Norwegian Companies
161(12)
Anca Deak
Short Contributions
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems
173(7)
Martial Chabot
Laurence Pierre
Towards Testing Self-organizing, Adaptive Systems
180(6)
Benedikt Eberhardinger
Hella Seebach
Alexander Knapp
Wolfgang Reif
Design of Prioritized N-Wise Testing
186(6)
Eun-Hye Choi
Takashi Kitamura
Cyrille Artho
Yutaka Oiwa
Change Detection System for the Maintenance of Automated Testing
192(6)
Miroslav Bures
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment
198(7)
Khaled El-Fakih
Tariq Salameh
Nina Yevtushenko
Search-Based Testing for Embedded Telecom Software with Complex Input Structures
205(6)
Kivanc Doganay
Sigrid Eldh
Wasif Afzal
Markus Bohlin
Author Index 211