Sabemos que escribir pruebas JUnit demuestra una ruta particular a través de su código. Uno de mis asociados comentó: La escritura manual de pruebas unitarias es prueba por ejemplo . Provenía de Haskell, que tiene herramientas como Quickcheck y la capacidad de razonar sobre el comportamiento...