Daikon es un conjunto de programas informáticos que detecta invariantes que se mantienen en una serie de ejecuciones de un programa.