Testing Temporal Logic on Infinite Java Traces | Publicación