Muutke küpsiste eelistusi

E-raamat: Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 7019
  • Ilmumisaeg: 02-Nov-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642245800
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, ProceedingsSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 7019
  • Ilmumisaeg: 02-Nov-2011
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642245800
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.
Counting for Random Testing 1(8)
Marie-Claude Gaudel
Formal Testing of Timed and Probabilistic Systems
9(6)
Manuel Nunez
Improved Usage Model for Web Application Reliability Testing
15(17)
Gregor v. Bochmann
Guy-Vincent Jourdan
Bo Wan
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
32(16)
Kalou Cabrera Castillos
Frederic Dadeau
Jacques Julliand
Safouan Taha
Conformance Relations for Distributed Testing Based on CSP
48(16)
Ana Cavalcanti
Marie-Claude Gaudel
Robert M. Hierons
Praspel: A Specification Language for Contract-Based Testing in PHP
64(16)
Ivan Enderlin
Frederic Dadeau
Alain Giorgetti
Abdallah Ben Othman
Using Testing Techniques for Vulnerability Detection in C Programs
80(17)
Amel Mammar
Ana Cavalli
Willy Jimenez
Wissam Mallouli
Edgardo Montes de Oca
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology
97(18)
Karl Meinke
Fei Niu
Monitoring Dynamical Signals while Testing Timed Aspects of a System
115(16)
Goran Frehse
Kim G. Larsen
Marius Mikucionis
Brian Nielsen
Model-Based Testing of Industrial Transformational Systems
131(15)
Petur Olsen
Johan Foederer
Jan Tretmans
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain
146(16)
Jan Peleska
Artur Honisch
Florian Lapschies
Helge Loding
Hermann Schmid
Peer Smuda
Elena Vorobev
Cornelia Zahlten
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
162(17)
Alexandre Petrenko
Nina Yevtushenko
Compositional Random Testing Using Extended Symbolic Transition Systems
179(16)
Christian Schwarzl
Bernhard K. Aichernig
Franz Wotawa
An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services
195(14)
Hiroyuki Shinbo
Toru Hasegawa
Assessing Test Adequacy for Black-Box Systems without Specifications
209(16)
Neil Walkinshaw
Author Index 225
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836422458002e.html
Märksõnad: