Quality Assurance, Quality Control, and Verification