Describir: Regresión espuria en especificaciones dinámicas