Claiming coverage has anything to do with reliability is just fooling yourself, at least if it's done on line or branch level. Will your 100% line coverage catch the divide by zero bug in this function?
int foo(int x)
{
return 1 / (5 - x);
}
I think it's a question of field rather than philosophy - someone else in this thread said they do the same thing in avionics.