<div class="description">
<dl><dd>Title from cover</dd>
<dd>"NPS-CS-91-003."</dd>
<dd>"September 1991."</dd>
<dd>AD A244 021</dd>
<dd>Includes bibliographical references (p. 29-30)</dd>
<dd>This paper proposes an analytical method for deriving software failure regions, which are regions of the input space that are mapped to failures by specific faults. Previous studies have used empirical rather than analytical approaches to derive failure regions. A manual technique is presented and proven to produce the necessary and sufficient conditions of a fault being executed and leading to a failure. Semiautomated tools to assist in the manual technique are discussed, as is the use of failure regions in regression testing</dd>
<dd>aq/aq cc:9116 06/08/98</dd></dl><br>Subjects: COMPUTER PROGRAM RELIABILITY.; COMPUTER PROGRAM VERIFICATION.</div>
<div class="fn value">
Shimeall, Timothy J.;Bolchoz, John Manning.;Griffin, Rachel.</div>
Internet Archive identifier