SWE-135 - Static AnalysisSWE-147 - Specify Reusability RequirementsSWE-190 - Verify Code CoverageHR-33 - Inadvertent Operator Action