Description |
1 online resource (x, 224 pages) |
Series |
Lecture notes in computer science, 0302-9743 ; 7019 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7019.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
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 |
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 |
Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
|
Mathematical Logic and Formal Languages |
|
Programming Techniques |
|
Models and Principles |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
In |
Springer eBooks |
Subject |
Computer software -- Testing -- Congresses
|
|
Software engineering -- Congresses
|
|
Electronic Data Processing
|
|
Informatique.
|
|
Computer software -- Testing
|
|
Software engineering
|
|
Kommunikationssystem
|
|
Model Checking
|
|
Softwaretest
|
|
Testen
|
|
Testmustergenerierung
|
|
Software
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Wolff, Burkhart, 1962-
|
|
Zaïdi, Fatiha
|
ISBN |
9783642245800 |
|
3642245803 |
|