Risk-Based Approach to Mission-Critical Software Testing

By Stefan P. Jaskiel. Computer, 2002

599 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Hyperproperties (2010, background): “It has been shown that every property is the intersection of a safety property and a liveness property,1 where ∗Supported in part by AFOSR grant F9550-06-0019, National Science Foundation Grants 0430161 and CCF-0424422 (TRUST), an Intel Foundation PhD Fellowship, and a gift from Microsoft…”
Verdi: a framework for implementing and formally verifying distributed systems (2015, methodology): “First, while tools like TLA [19] and Alloy [15] provide techniques for reasoning about abstract distributed algorithms, few practical distributed system implementations have been formally verified.”