Coverart for item
The Resource Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings, Burkhart Wolff, Fatiha Zaïdi (eds.)

Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings, Burkhart Wolff, Fatiha Zaïdi (eds.)

Label
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings
Title
Testing software and systems
Title remainder
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings
Statement of responsibility
Burkhart Wolff, Fatiha Zaïdi (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
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 sofware systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Index
index present
LC call number
QA76.76.T48
LC item number
I28 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
ICTSS 2011
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Wolff, Burkhart
  • Zaïdi, Fatiha
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7019
http://library.link/vocab/subjectName
  • Computer software
  • Software engineering
  • Informatique
  • Computer software
  • Software engineering
  • Kommunikationssystem
  • Model Checking
  • Softwaretest
  • Testen
  • Testmustergenerierung
  • Software
Label
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings, Burkhart Wolff, Fatiha Zaïdi (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Counting for random testing / Marie-Claude Gaudel -- Formal testing of timed and probabilistic systems / Manuel Núñez -- Improved usage model for web application reliability testing / Gregor v. Bochmann, Guy-Vincent Jourdan, and Bo Wan -- Measuring test properties coverage for evaluating UML/OCL model-based tests / Kalou Cabrera Castillos [and others] -- Conformance relations for distributed testing based on CSP / Ana Cavalcanti, Marie-Claude Gaudel, and Robert M. Hierons -- Praspel: a specification language for contract-based testing in PHP / Ivan Enderlin [and others] -- Using testing techniques for vulnerability detection in C programs / Amel Mammar [and others] -- Learning-based testing for reactive systems using term rewriting technology / Karl Meinke and Fei Niu -- Monitoring dynamical signals while testing timed aspects of a system / Goran Frehse [and others] -- Model-based testing of industrial transformational systems / Petur Olsen, Johan Foederer, and Jan Tretmans -- A real-world benchmark model for testing concurrent real-time systems in the automotive domain / Jan Peleska [and others] -- Adaptive testing of deterministic implementations specified by nondeterministic FSMs / Alexandre Petrenko and Nina Yevtushenko -- Compositional random testing using extended symbolic transition systems / Christian Schwarzl, Bernhard K. Aichernig, and Franz Wotawa -- An empirical study on applying anomaly detection technique to detecting software and communication failures in mobile data communication services / Hiroyuki Shinbo and Toru Hasegawa -- Assessing test adequacy for black-box systems without specifications / Neil Walkinshaw
Control code
760901626
Dimensions
unknown
Extent
1 online resource (x, 224 pages).
File format
unknown
Form of item
online
Isbn
9783642245800
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-24580-0
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)760901626
Label
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings, Burkhart Wolff, Fatiha Zaïdi (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Counting for random testing / Marie-Claude Gaudel -- Formal testing of timed and probabilistic systems / Manuel Núñez -- Improved usage model for web application reliability testing / Gregor v. Bochmann, Guy-Vincent Jourdan, and Bo Wan -- Measuring test properties coverage for evaluating UML/OCL model-based tests / Kalou Cabrera Castillos [and others] -- Conformance relations for distributed testing based on CSP / Ana Cavalcanti, Marie-Claude Gaudel, and Robert M. Hierons -- Praspel: a specification language for contract-based testing in PHP / Ivan Enderlin [and others] -- Using testing techniques for vulnerability detection in C programs / Amel Mammar [and others] -- Learning-based testing for reactive systems using term rewriting technology / Karl Meinke and Fei Niu -- Monitoring dynamical signals while testing timed aspects of a system / Goran Frehse [and others] -- Model-based testing of industrial transformational systems / Petur Olsen, Johan Foederer, and Jan Tretmans -- A real-world benchmark model for testing concurrent real-time systems in the automotive domain / Jan Peleska [and others] -- Adaptive testing of deterministic implementations specified by nondeterministic FSMs / Alexandre Petrenko and Nina Yevtushenko -- Compositional random testing using extended symbolic transition systems / Christian Schwarzl, Bernhard K. Aichernig, and Franz Wotawa -- An empirical study on applying anomaly detection technique to detecting software and communication failures in mobile data communication services / Hiroyuki Shinbo and Toru Hasegawa -- Assessing test adequacy for black-box systems without specifications / Neil Walkinshaw
Control code
760901626
Dimensions
unknown
Extent
1 online resource (x, 224 pages).
File format
unknown
Form of item
online
Isbn
9783642245800
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-24580-0
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)760901626

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...