Learn More
Robustness testing aims at verifying the acceptable behavior of a system under unexpected conditions. In this paper we propose a framework and a tool for robustness test cases generation. Our framework consists of two phases: (1) Construction of an <i>increased specication</i> by integrating hazards in the nominal specification model written in SDL. The(More)