Evaluación de técnicas de detección de errores en programas concurrentes, Frati, Fernando Emmanuel.