Guidelines on Minimum Standards for Developer Verification of Software. - Paul E. Black; Barbara Guttman; Vadim Okun (CoRR, 2021)