Title: Using Penelope to assess the correctness of NASA Ada software
Subjects: Quality assurance, Statistics, Computer software, Computer programs