Defect Analysis After Test Case DesignerWhy “Test Case Count” Can Be a Misleading Metric in Model-Based Testing (And What To Do About It)