82 search results - page 17 / 17 » Source-Based Software Risk Assessment |
MBEES
2008
13 years 6 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
SCS
2004
13 years 6 months ago
2004
Industry is increasingly adopting software and system safety standards that mandate the use of hazard logs in the development and operation of safety critical systems. Hazard logs...