Sciweavers

77
Voted
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 13 days ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden