SWE-135 - Static Analysis
SWE-147 - Specify Reusability Requirements
SWE-190 - Verify Code Coverage