Finding safety errors with ACO | Publicación