Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
SOFTWARE TESTING VERIFICATION & RELIABILITY
Journal
Identifier:
E156717
ISSN:
0960-0833
Overview
Overview
Outputs (8)
A contribution to the evaluation of the reliability of iterative-execution software
Academic Article
A framework for automatic generation of security controller
Academic Article
Assessing the risk due to software faults: Estimates of failure rate versus evidence of perfection
Academic Article
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012)
Academic Article
Formal analysis of some secure procedures for certificate delivery
Academic Article
Model checking fault tolerant systems
Academic Article
Preventing untestedness in data-flow based testing
Academic Article
Testing software components for integration: a survey of issues and techniques
Academic Article
No Results Found
