• JML

  • Referenced in 189 articles [sw04597]
  • Java Modeling Language (JML) is a behavioral interface specification language that can be used...
  • ESC/Java

  • Referenced in 137 articles [sw07217]
  • find common run-time errors in JML-annotated Java programs by static analysis...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • certification of JAVA/JAVACARD programs annotated in JML. We describe the basic structure of an environment ... proving JAVA programs annotated with JML specifications. Our method is generic with respect...
  • JUnit

  • Referenced in 33 articles [sw07262]
  • practical approach to unit testing: The JML and JUnit way. Writing unit test code ... this idea using the Java Modeling Language (JML) and the JUnit testing framework...
  • LOOP

  • Referenced in 29 articles [sw10292]
  • LOOP compiler for Java and JML. This paper describes the architecture of the LOOP tool ... Java. The LOOP tool translates Java and JML (a specification language tailored to Java) classes...
  • OpenJML

  • Referenced in 6 articles [sw19841]
  • OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. OpenJML is a tool ... building the tool on the foundation of JML, OpenJDK and Eclipse, as well...
  • TACO

  • Referenced in 7 articles [sw07668]
  • technique for the SAT-based analysis of JML-annotated Java sequential programs dealing with complex...
  • JACK

  • Referenced in 7 articles [sw07878]
  • validation of Java applications, annotated with JML specifications. JACK has been especially designed to improve...
  • DynaMate

  • Referenced in 2 articles [sw14286]
  • programs correct with respect to a given JML functional specification. DYNAMATE improves the flexibility ... Java methods of java.util annotated with JML pre- and postconditions, it automatically discharged over...
  • JCML

  • Referenced in 2 articles [sw06406]
  • modelling language) a specification language derived from JML (Java modelling language) and its implementation...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • jContractor: Introducing design-by-contract to Java using...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • SPSS

  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • The Daikon system for dynamic detection of likely...