118
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
140
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
116
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
161
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
119
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
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 ...