Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll  Home/Search
Context Related
| gemplus.com/smart/rd/pub...BCC_03jm.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: gemplus.com/smart/rd/publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification. (Update)
Cited by: More
Bridging the Gap Between Web Application Firewalls.. - Desmet, Piessens.. (2006) (Correct)
Static Verification of Indirect Data Sharing in.. - Desmet, Piessens.. (2006) (Correct)
Designing Voting Machines for Verification - Naveen Sastry Tadayoshi (Correct)
Similar documents (at the sentence level):
79.7%: An overview of JML tools and applications - Www Jmlspecs Org (2003) (Correct)
56.2%: An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (Correct)
Active bibliography (related documents): More All
0.3: A Runtime Assertion Checker for the Java Modeling Language - Cheon (2003) (Correct)
0.3: Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (Correct)
0.3: How the Design of JML Accommodates Both Runtime.. - Leavens, Cheon.. (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
9: Extended static checking for Java - Flanagan, Leino et al. - 2002
8: Object-oriented software construction (context) - Meyer - 1988
6: Java Applet Correctness: a Developer-Oriented Approach - Burdy, Requet et al. - 2003
BibTeX entry: (Update)
L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll, "An overview of JML tools and applications," in Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), ser. Electronic Notes in Theoretical Computer Science, T. Arts and W. Fokkink, Eds., vol. 80. Elsevier, June 2003, pp. 73--89, available from jmlspecs.org. http://citeseer.ist.psu.edu/article/burdy03overview.html More
@misc{ burdy03overview,
author = "L. Burdy and Y. Cheon and D. Cok and M. Ernst and J. Kiniry and G. Leavens
and K. Leino and E. Poll",
title = "An overview of JML tools and applications",
text = "L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M.
Leino, and E. Poll, An overview of JML tools and applications, in Eighth
International Workshop on Formal Methods for Industrial Critical Systems
(FMICS '03), ser. Electronic Notes in Theoretical Computer Science, T. Arts
and W. Fokkink, Eds., vol. 80. Elsevier, June 2003, pp. 73--89, available
from jmlspecs.org.",
year = "2003",
url = "citeseer.ist.psu.edu/article/burdy03overview.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1997
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1998
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
181 The Object Constraint Language: Precise Modeling with UML (context) - Warmer, Kleppe - 1999
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 2001
145 ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
140 Extended static checking for Java - Flanagan, Rustan et al. - 2002
140 Preliminary design of JML: A behavioral interface specificat.. - Leavens, Baker et al. - 2003
134 PVS: Combining specification (context) - Owre, Rajan et al. - 1996
79 JML: A notation for detailed design - Leavens, Baker et al. - 1999
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000
51 iContract -- the Java design by contract tool (context) - Kramer - 1998
51 annotation assistant escjava (context) - Flanagan, Houdini et al. - 2001
49 Reasoning about Java classes - Jacobs, van den Berg et al. - 1998
45 A logic for the Java Modeling Language JML - Jacobs, Poll - 2001
44 Checking Java programs via guarded commands - Rustan, Leino et al. - 1999
42 Reasoning about Java Programs in higher order logic with PVS.. (context) - Huisman - 2001
42 Test infected: Programmers love writing tests (context) - Beck, Gamma - 1998
40 A runtime assertion checker for the Java Modeling Language - Cheon, Leavens - 2002
36 A simple and practical approach to unit testing: The JML and.. - Cheon, Leavens - 2002
33 Using test oracles generated from program documentation - Peters, Parnas - 1998
31 Jass --- Java with assertions - Bartetzko, Fischer et al. - 2001
30 Forcing behavioral subtyping through specification inheritan.. - Dhara, Leavens - 1996
27 The design of distributed hyperlinked programming documentat.. - Friendly - 1995
25 Automatically checking an implementation against its formal .. - Antoy, Hamlet - 2000
22 Specifying and verifying a decimal representation in Java fo.. - Breunesse, van den Berg et al. - 2002
21 Invariant inference for static checking: An empirical evalua.. - Nimmer, Ernst - 2002
20 ESCJava user's manual (context) - Greg, James et al. - 2000
20 Automatic generation of program specifications - Nimmer, Ernst - 2002
19 How the design of JML accommodates both runtime assertion ch.. - Leavens, Cheon et al. - 2002
19 Weakest precondition reasoning for Java programs with JML an.. - Jacobs - 2002
18 Formal specification of the Java Card API in JML: the APDU c.. - Poll, van den Berg et al. - 2001
17 proposal formal OCL semantic IsabelleHOL - Brucker, proposal et al. - 2002
15 CHASE: A static checker for JML's assignable clause (context) - Catano, Huisman - 2003
14 A Java reference model of transacted memory for smart cards - Poll, Hartel et al. - 2002
14 Java Applet Correctness Kit (context) - Burdy, Lanet et al. - 2002
14 Model variables: Cleanly supporting abstraction in design by.. - Cheon, Leavens et al. - 2003
13 Krakatoa tool JMLJava program certification (context) - Christine, Xavier et al. - 2003
11 Formal specification of Gemplus's electronic purse case stud.. (context) - Catano, Huisman - 2002
6 Security properties and Java Card specificities to be studie.. - Marlet, Le Metayer - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.gemplus.com/smart/rd/publications/index.html): More
Externalized Fingerprint Matching - Barral, Coron, Naccache (2004) (Correct)
Statistics and Secret Leakage - Coron, Naccache, Kocher (2004) (Correct)
User Authentication with Smart Cards in Trusted Computing.. - George (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC