86 search results - page 4 / 18 » A toolset for automated failure analysis |
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
105
click to vote
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
— Frequent failure occurrences are becoming a serious concern to the community of high-end computing, especially when the applications and the underlying systems rapidly grow in ...
144
click to vote
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...