30 papers:
SAC-2014-RiveraC #java #source code- Translating event-B to JML-specified Java programs (VR, NC), pp. 1264–1271.
ICEIS-v2-2012-HanadaOKM #java #ml #ocl #uml- Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
- SAC-2012-CatanoWRRY #ml #specification
- Translating B machines to JML specifications (NC, TW, CR, VR, DY), pp. 1271–1277.
SEFM-2010-HussainL #ml #named #runtime #specification- temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.
FASE-2009-HuismanT #automaton #ml #security- A Formal Connection between Security Automata and JML Annotations (MH, AT), pp. 340–354.
MoDELS-2009-LloydJ #analysis #authentication #ml #security #using- Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
- MoDELS-2009-LloydJ #analysis #authentication #ml #security #using
- Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
- SAC-2009-CatanoW #case study #java #ml #specification
- Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
- SAC-2009-JamesC #ml #multi #static analysis
- Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.
ICST-2009-MurphySK #ml #runtime #testing #using- Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.
FM-2008-ChalinR #fault #ml #performance #runtime #using- JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
- ICST-2008-RebeloLCS #aspectj #compilation #ml
- A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.
ASE-2007-Leavens #java #ml #modelling #tutorial- Tutorial on JML, the java modeling language (GTL), p. 573.
CAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #tutorial #verification- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
MBT-2007-DadeauLB #java #ml #specification #testing #using- Measuring a Java Test Suite Coverage Using JML Specifications (FD, YL, LdB), pp. 21–32.
- FASE-2006-GiorgettiG #generative #ml #named #verification
- JAG: JML Annotation Generation for Verifying Temporal Properties (AG, JG), pp. 373–376.
- FM-2006-BouquetDL #automation #bound #generative #ml #specification #testing
- Automated Boundary Test Generation from JML Specifications (FB, FD, BL), pp. 428–443.
TACAS-2005-BouquetDLU #ml #named #specification #using- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP (FB, FD, BL, MU), pp. 551–556.
- FM-2005-BouquetDLU #animation #ml #specification
- Symbolic Animation of JML Specifications (FB, FD, BL, MU), pp. 75–90.
ECOOP-2005-RodriguezDFHLR #composition #concurrent #ml #multi #source code #specification #thread #verification- Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.
CADE-2005-DufayFM #data flow #information management #ml #privacy- Privacy-Sensitive Information Flow with JML (GD, APF, SM), pp. 116–130.
- ASE-2004-BousquetLMOL #case study #validation
- Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
PASTE-2004-Leavens #exclamation #ml- Invited Talk: JML framed! (GTL), p. 1.
- FME-2003-Chalin #effectiveness #ml
- Improving JML: For a Safer and More Effective Language (PC), pp. 440–461.
FATES-2003-XuY #automation #framework #ml #named #novel #testing- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit (G(X, ZY), pp. 70–85.
VMCAI-2003-CatanoH #ml #named #static analysis- CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.
- ECOOP-2002-CheonL #approach #ml #testing
- A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (YC, GTL), pp. 231–255.
- FASE-2001-JacobsP #java #logic #ml #modelling
- A Logic for the Java Modeling Language JML (BJ, EP), pp. 284–299.
- TACAS-2001-BergJ #compilation #java #ml
- The LOOP Compiler for Java and JML (JvdB, BJ), pp. 299–312.
- SAC-2000-BartaS #ml
- Syndication with JML (RAB, MWS), pp. 962–970.
