"Bullet-Proof Software"@cs .