Strategie di risoluzione per test di logica verticale