Innovative technologies for dependable OTS-based critical systems challenges and achievement of the CRITICAL STEP Project /

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink (Online service)
Group Author: Cotroneo, Domenico.
Published:
Literature type: Electronic eBook
Language: English
Subjects:
Online Access: http://dx.doi.org/10.1007/978-88-470-2772-5
Carrier Form: 1 online resource (viii, 215 p.) : ill.
Bibliography: Includes bibliographical references.
ISBN: 9788847027725 (electronic bk.)
8847027721 (electronic bk.)
Index Number: TA169
CLC: TB114.3
Contents: V&V in Safety Critical System --
Safety-Critical Standards for Verification and Validation /
Robustness Testing of Web Services /
JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware /
Fault Injection --
Tools for Injecting Software Faults at the Binary and Source-Code Level /
Survey on Software Faults Injection in Java Applications ...