Draft: Resolve "Argomento 14: Processi di review"

Closes #40

src/14_review/02_analisi-mutazionale/03_automazione.md

@@ -23,3 +23,7 @@ Spesso viene quindi posto un timeout sull'algoritmo dipendente sia dal tempo tot
 Per verificare la validità del test, è necessario controllare il __numero di mutanti generati__: se questo numero è elevato, il test non era affidabile.
 In alternativa, è possibile _"nascondere"_ i mutanti, a patto che non sia richiesta una copertura totale.
 In questo modo, è possibile __analizzare programmi__ che sono __funzionalmente uguali ma sintatticamente diversi__, al fine di dimostrarne l'equivalenza o scoprire casi in cui essa non è valida.
+
+!!!!!!!!!!
+
+in questo caso non abbiamo un oracolo, qui verifichiamo solo che sia differente dal programma vero, in questo modo se il test sul mutante differisce da quello vero posso aggiungere un test in in modo (riguarda anno scorso). facendo cosi riesco a differire al massimo tra mutanti e programma originale, questo aumenta la possibilità che il test trovi errori.