-
Automated translation of VDM to JML-annotated Java
Tran-Jørgensen, Peter W. V. ; Larsen, Peter Gorm ; Leavens, Gary T.
-
Online Genetic Improvement on the java virtual machine with ECSELR
Yeboah-Antwi, Kwaku ; Baudry, Benoît
-
Provably correct control flow graphs from Java bytecode programs with exceptions
Amighi, Afshin ; Gomes, Pedro de Carvalho ; Gurov, Dilian ; Huisman, Marieke
-
Leveraging annotation-based modeling with JUMP
Bergmayr, Alexander ; Grossniklaus, Michael ; Wimmer, Manuel ; Kappel, Gerti 2016 Bibliothek der Universität Konstanz