Title: Supplement to IEEE standard for software verification and validation
Subjects: Validation, Computer programs, Standards