Maurício Aniche: How code coverage can be used and abused to guide testing.