Checking Java Assertions Using Automated Test-Case Generation | Publicación