Esperar a que aparezcan race conditions es una estrategia de pruebas terrible
Por qué el model checking supera a días de ejecución en producción para encontrar bugs de concurrencia, y cómo aplicarlo a tu propio código.
Esperar a que las race conditions surjan en producción no es testing. Es esperanza disfrazada de diligencia. Puedes ejecutar tu app durante semanas, vigilar…