Title: Structure and error detection in computer software
Subjects: Reliability, Testing, Computer programming, Computer programs