This week's Java roundup for May 26th, 2025 features news highlighting: the twelfth milestone release of GlassFish 8.0; four ...

In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including ...