• (1) stima rapida delle frecce totali TOT
  • (2) lunghezza (totale) dei test case L
  • calcolo la copertura massima MAX = L/TOT
    • non può essere > MAX
    • dovro’ scegliere tra