Muutke küpsiste eelistusi

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings [Pehme köide]

  • Formaat: Paperback / softback, 267 pages, kaal: 428 g, 76 Illustrations, black and white; XII, 267 p. 76 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 6435
  • Ilmumisaeg: 08-Oct-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642165729
  • ISBN-13: 9783642165726
Teised raamatud teemal:
  • 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, 267 pages, kaal: 428 g, 76 Illustrations, black and white; XII, 267 p. 76 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 6435
  • Ilmumisaeg: 08-Oct-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642165729
  • ISBN-13: 9783642165726
Teised raamatud teemal:
Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aimed at tryingtosolvebothnewchallengesimposedbytheadvancementinvariousareas of computer science and long-standing problems. Testing has evolved during the last decades from an ad-hoc and under-exposed area of systems development to an important and active research area. The22ndInternationalConferenceonTestingSoftwareandSystems(ICTSS) involved the merger of two traditional and important events which have served the testing community as an important venue for discussing advancements in the area. Those events, namely, TestCom (the IFIP TC 6/WG 6.1 Inter- tional Conference on Testing of Communicating Systems), and FATES (Inter- tional Workshop on Formal Approaches to Testing of Software), together form a large event on testing, validation, and speci cation of software and systems. They have a long history. TestCom is an IFIP-sponsored series of international conferences,previouslyalsocalledInternationalWorkshoponProtocolTestS- tems(IWPTS)orInternationalWorkshoponTestingofCommunicatingSystems (IWTCS). It is devoted to testing of communicating systems, including testing of communication protocols, services, distributed platforms, and middleware.
Test Automation with TTCN-3 - State of the Art and a Future Perspective (Invited Talk)
1(14)
Ina Schieferdecker
A Model-Based Approach to Testing Software for Critical Behavior and Properties (Abstract of Invited Talk)
15(1)
Constance Heitmeyer
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem
16(14)
Rafael da Veiga Cabral
Aurora Pozo
Silvia Regina Vergilio
More Testable Properties
30(17)
Ylies Falcone
Jean-Claude Fernandez
Thierry Jeron
Herve Marchand
Laurent Mounier
Alternating Simulation and IOCO
47(16)
Margus Veanes
Nikolaj Bjorner
Reducing the Cost of Model-Based Testing through Test Case Diversity
63(16)
Hadi Hemmati
Andrea Arcuri
Lionel Briand
Built-in Data-Flow Integration Testing in Large-Scale Component-Based Systems
79(16)
Eric Piel
Alberto Gonzalez-Sanchez
Hans-Gerhard Gross
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing
95(16)
Andrea Arcuri
Muhammad Zohaib Iqbal
Lionel Briand
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage
111(15)
Beatriz Perez Lamancha
Macario Polo Usaola
Increasing Functional Coverage by Inductive Testing: A Case Study
126(16)
Neil Walkinshaw
Kirill Bogdanov
John Derrick
Javier Paris
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
142(16)
Kiran Lakhotia
Nikolai Tillmann
Mark Harman
Jonathan de Halleux
Test Data Generation for Programs with Quantified First-Order Logic Specifications
158(16)
Christoph D. Gladisch
Efficient Distributed Test Architectures for Large-Scale Systems
174(14)
Eduardo Cunha de Almeida
Joao Eugenio Marynowski
Gerson Sunye
Yves Le Traon
Patrick Valduriez
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
188(17)
Fides Aarts
Bengt Jonsson
Johan Uijen
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks
205(16)
Hiroyuki Shinbo
Atsushi Tagami
Shigehiro Ano
Toru Hasegawa
Kenji Suzuki
A Learning-Based Approach to Unit Testing of Numerical Software
221(15)
Karl Meinke
Fei Niu
From Scenarios to Test Implementations via Promela
236(14)
Andreas Ulrich
El-Hachemi Alikacem
Hesham H. Hallal
Sergiy Boroday
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases
250(17)
Romain Delamare
Freddy Munoz
Benoit Baudry
Yves Le Traon
Author Index 267