Sciweavers

327 search results - page 16 / 66
» Symbolic Fault Injection
Sort
View
TAICPART
2010
IEEE
336views Education» more  TAICPART 2010»
14 years 10 months ago
A Fault Injection Tool for Testing Web Services Composition
Fayçal Bessayah, Ana R. Cavalli, Willian Ma...
VTS
2002
IEEE
101views Hardware» more  VTS 2002»
15 years 4 months ago
Speeding Up The Byzantine Fault Diagnosis Using Symbolic Simulation
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine...
Shi-Yu Huang
FC
2010
Springer
183views Cryptology» more  FC 2010»
15 years 3 months ago
Automatically Preparing Safe SQL Queries
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakris...
COMPSAC
2004
IEEE
15 years 3 months ago
WS-FIT: A Tool for Dependability Analysis of Web Services
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
Nik Looker, Malcolm Munro, Jie Xu