An integrated verification environment for JML: architecture and early results. - Patrice Chalin; Perry R. James; George Karabotsos (SAVCBS, 2007)

JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. - Patrice Chalin; Perry R. James; George Karabotsos (VSTTE, 2008)

Towards an industrial grade IVE for Java and next generation research platform for JML. - Patrice Chalin; Robby; Perry R. James; Jooyong Lee; George Karabotsos (Int. J. Softw. Tools Technol. Transf., 2010)