Her checklist specializes Jaffe’s guidewords and correctness criteria to the context of interface and robustness requirements. (Guidewords were introduced in Section 3.2.2.) Omissions are the primary target defects here as their consequences are in general the most serious. Here is a sample (Lutz, 1996).