Coverage testing of Java programs and components | Publicación