Title: Analytical derivation of sotfware failure regions
Subjects: Computer program verification, Computer program reliability