Finding deadlocks in large concurrent java programs using genetic algorithms | Publicación