A dynamic code coverage approach to maximize fault localization efficiency
basic concepts and taxonomy of dependable and secure computing .