Sciweavers

408 search results - page 70 / 82
» Statistical Fault Injection
Sort
View
ICSM
2005
IEEE
15 years 3 months ago
An Empirical Comparison of Test Suite Reduction Techniques for User-Session-Based Testing of Web Applications
Automated cost-effective test strategies are needed to provide reliable, secure, and usable web applications. As a software maintainer updates an application, test cases must accu...
Sara Sprenkle, Sreedevi Sampath, Emily Gibson, Lor...
DFG
2004
Springer
15 years 3 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
DATE
2003
IEEE
131views Hardware» more  DATE 2003»
15 years 3 months ago
High Speed and Highly Testable Parallel Two-Rail Code Checker
In this article we propose a high speed and highly testable parallel two-rail code checker, which features a compact structure and is Totally-Self-Checking or Strongly Code-Disjoi...
Martin Omaña, Daniele Rossi, Cecilia Metra
EUROPAR
2009
Springer
15 years 2 months ago
Modelling Pilot-Job Applications on Production Grids
Pilot-job systems have emerged as a computation paradigm to cope with heterogeneity of production grids, greatly improving fault ratios and latency. Tools like DIANE, WISDOM-II, To...
Tristan Glatard, Sorina Camarasu-Pop
APSEC
1997
IEEE
15 years 1 months ago
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan...