Failure-driven Software Safety. | AMiner