Generación Automática de Tácticas de Prueba para Lógicas de Valores Finitos