Fault model qualification by assertion mining