Automated Software Component Verification and Test-Driven Development | AMiner