SWE-135 - Static Analysis
SWE-147 - Specify Reusability Requirements
SWE-190 - Verify Code Coverage
HR-33 - Inadvertent Operator Action