Sciweavers

327 search results - page 16 / 66
» Symbolic Fault Injection
Sort
View
TAICPART
2010
IEEE
336views Education» more  TAICPART 2010»
13 years 6 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»
14 years 15 days 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»
13 years 11 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
13 years 11 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