Timothy J. Shimeall

A library of failure regions

1991

Analytical derivation of sotfware failure regions

1991

FALTER--a fault annotation tool

1989

REACHER--a reachability condition derivation tool

1989