Preliminary design of JML: a behavioral interface specification language for java

838 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Dafny: An Automatic Program Verifier for Functional Correctness (2010, background): “, [29]), whose values change as a consequence of other variables changing.”
Deductive Software Verification – The KeY Book (2016, background): “Yet, achieving complete functional verification of a complex piece of software still poses a grand challenge to current research ([Leino, 1995, Hoare and Misra, 2005, Leavens et al., 2006a, 2007, Klebanov et al., 2011, Huisman et al., 2015]).”
ACSL: ANSI/ISO C Specification Language (2008, methodology): “Axiomatized functions in specifications JML only allows pure Java methods to be called in specifications [16].”
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (2005, methodology): “, method pre- and post-con ditions and class invariants, written in the Java Modelling Language (J ML) [21].”