software testing; software reliability estimation; software failure; fault-based coverage