Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово jml [34 articles]

Recent papers classified by the tag jml.
  • JML reference manual
    (2002)
    by G Leavens, E Poll, C Clifton, Y Cheon, C Ruby
    posted to jml softnet specification by sjgaller on 2008-04-30 14:59:44 as **
  • A Logic for the Java Modeling Language JML
    Lecture Notes in Computer Science, Vol. 2029 (2001)
    by Bart Jacobs, Erik Poll
    posted to java jml logic softnet by sjgaller on 2007-06-05 08:08:15 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Korat: Automated testing based on Java predicates
    (2002), pp. 123-133.
    by C Boyapati, S Khurshid, D Marinov
    posted to java jml softnet test-case-generation by sjgaller on 2007-06-05 09:18:10 as read along with 2 people and 3 groups joaoarthurbm newdawn software testing Context-driven-testers Desgin-by-Contract
  • Extending JML Specifications with Temporal Logic
    Vol. 2422/2002 (September 2002), 334.
    by K Trentelman, M Huisman
    posted to design-by-contract java jml softnet temporal-logic by sjgaller on 2007-06-05 07:25:21 as ** along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract
  • JAG : J ML A nnotation G eneration for Verifying Temporal Properties
    Fundamental Approaches to Software Engineering (2006), pp. 373-376.
    by Alain Giorgetti, Julien Groslambert
    posted to java jml softnet specification specification-generation temporal-logic by sjgaller on 2007-09-11 07:17:02 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • A specification-based fitness function for evolutionary testing of object-oriented programs
    (2006), pp. 1953-1954.
    by Yoonsik Cheon, Myoung Kim
    posted to automatic java jml softnet testing unit-testing unit-tests by sjgaller on 2008-04-30 14:45:27 as **
  • Specifying and checking method call sequences of Java programs
    Software Quality Journal, Vol. 15, No. 1. (March 2007), pp. 7-25.
    by Cheon Yoonsik, Perumandla Ashaveena
    posted to jml softnet by sjgaller on 2007-07-12 16:43:31 as ***** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Desugaring JML Method Specifications
    No. 00-03a. (2000)
    by Arun D Raghavan, Gary T Leavens
    posted to design-by-contract java jml softnet by sjgaller on 2007-06-05 07:23:05 as ** along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract
  • Design by Contract with JML
    (2003)
    by G Leavens, Y Cheon
    posted to design-by-contract jml overview softnet by sjgaller on 2007-06-01 09:26:24 as read along with 3 people and 2 groups dsilva pdagarwal msakai Context-driven-testers Desgin-by-Contract
  • Preliminary design of JML: a behavioral interface specification language for java
    SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 1-38.
    by Gary T Leavens, Albert L Baker, Clyde Ruby
    posted to java jml softnet specification testing by sjgaller on 2008-04-30 14:57:51 as ** along with 1 person leonardo
  • The KeY Tool
    Software and Systems Modeling (April 2004), pp. 32-54.
    by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H Schmitt
    posted to tool java jml key softnet verification by sjgaller on 2007-06-27 14:04:23 as ***** along with 2 groups Context-driven-testers Desgin-by-Contract
  • The LOOP Compiler for Java and JML
    Lecture Notes in Computer Science, Vol. 2031 (2001)
    by Joachim van den Berg, Bart Jacobs
    posted to compiler java jml softnet by sjgaller on 2007-06-05 08:09:51 as ** along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract
  • A Case Study in Class Library Verification: Java's Vector Class
    Vol. 1743 (1999), pp. 109-110.
    by Marieke Huisman, Bart Jacobs, Joachim van den Berg
    edited by A Moreira, D Demeyer
    posted to case-study design-by-contract java jml softnet by sjgaller on 2007-06-05 07:38:23 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Measuring a Java Test Suite Coverage Using JML Specifications
    Electronic Notes in Theoretical Computer Science, Vol. 190, No. 2. (31 August 2007), pp. 21-32.
    by F Dadeau, Y Ledru, L du Bousquet
    posted to code-coverage java jml softnet by sjgaller on 2007-08-30 07:55:11 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • The Krakatoa Tool for Certification of Java/JavaCard Programs Annotated in JML
    Journal of Logic and Algebraic Programming, Vol. 58, No. 1-2. (2004), pp. 89-106.
    by C Marche, Paulin C Mohring, X Urbain
    posted to java jml softnet by sjgaller on 2007-06-05 08:15:13 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • A JML Compiler Based on AspectJ
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 541-544.
    by H Rebelo, R Lima, M Cornelio, S Soares
    posted to aspectj jml softnet testing by sjgaller on 2008-08-13 09:33:42 as read
  • Filtering TOBIAS Combinatorial Test Suites
    Fundamental Approaches to Software Engineering, Vol. 2984/2004 (1 March 2004), pp. 281-294.
    by Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
    posted to tool jml softnet testing vdm by sjgaller on 2007-07-11 16:06:31 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • A case study in JML-based software validation
    Automated Software Engineering, 2004. Proceedings. 19th International Conference on (2004), pp. 294-297.
    by L du Bousquet, Y Ledru, O Maury, C Oriat, JL Lanet
    posted to case-study jml softnet by sjgaller on 2007-06-27 15:51:50 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
    No. 01--12. (10-14 June 2002)
    by Yoonsik Cheon, Gary T Leavens
    posted to java jml softnet test-case-generation by sjgaller on 2007-06-05 13:48:35 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • An overview of JML tools and applications
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 3. (June 2005), pp. 212-232.
    by L Burdy, Y Cheon, D Cok, M Ernst, J Kiniry, G Leavens, K Leino, E Poll
    posted to jml overview softnet tool application by sjgaller on 2007-05-01 15:23:40 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
    Lecture Notes in Computer Science : Formal Methods for Components and Objects (2006), pp. 342-363.
    by Patrice Chalin, Joseph R Kiniry, Gary T Leavens, Erik Poll
    posted to jml specification verification by schuh on 2006-10-16 12:08:05 as **
  • An overview of JML tools and applications
    International Journal on Software Tools for Technology Transfer (STTT), Vol. V7, No. 3. (1 June 2005), pp. 212-232.
    by Lilian Burdy, Yoonsik Cheon, David R Cok, Michael D Ernst, Joseph R Kiniry, Gary T Leavens, Rustan, Erik Poll
    posted to jml by schuh on 2006-10-16 14:12:52 as **
  • Simplify: A theorem prover for program checking
    (2003)
    by D Detlefs, G Nelson, J Saxe
    posted to jml by rgrig on 2005-12-15 08:30:44 as **** along with 1 group SRG_at_UCD
  • A runtime assertion checker for the Java Modeling Language
    (2002)
    by Y Cheon, G Leavens
    posted to jml by rgrig on 2005-12-15 08:27:24 as **** along with 1 person and 1 group pdagarwal SRG_at_UCD
  • An overview of JML tools and applications
    (2003)
    by L Burdy, Y Cheon, D Cok, M Ernst, J Kiniry, G Leavens, K Leino, E Poll
    posted to jml by rgrig on 2005-12-15 08:11:03 as read along with 1 person and 1 group pdagarwal SRG_at_UCD
  • Extending JML with Temporal Logic
    by Kerry Trentelman
    posted to jml logic temporal by pdagarwal on 2007-08-23 02:27:25 as *****
  • How the design of JML accommodates both runtime assertion checking and formal verification
    (2003)
    by G Leavens, Y Cheon, C Clifton, C Ruby, D Cok
    posted to jml rac by pdagarwal on 2007-08-23 02:38:36 as **
  • Model-driven development of reactive information systems: from graph transformation rules to JML contracts
    International Journal on Software Tools for Technology Transfer, Vol. 9, No. 2. (March 2007), pp. 193-207.
    by Reiko Heckel, Marc Lohmann
    posted to 2007 graph_transformation jml mdd rules statecharts by leonardo on 2007-10-18 23:56:13 as **
  • Checking JML specifications using an extensible software model checking framework
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 8, No. 3. (17 June 2006), pp. 280-299.
    by Robby, Robby, Edwin Rodríguez, Matthew Dwyer, John Hatcliff
    posted to bogor java jml model_checking software by bfraser on 2008-03-07 23:45:19 as ****
  • Experiences evaluating the effectiveness of JML-JUnit testing
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 5. (September 2004), pp. 1-4.
    by Roy P Tan, Stephen H Edwards
    posted to jml by amorkan on 2005-11-14 11:38:16 as read along with 1 person stedwar2
  • Extended static checking for Java
    (2002)
    by C Flanagan, K Leino, M Lillibridge, C Nelson, J Saxe, R Stata
    posted to jml by amorkan on 2005-11-22 11:55:18 as ** along with 2 people and 2 groups sjgaller srccheck Context-driven-testers Desgin-by-Contract
  • ESC/Java2: Uniting ESC/Java and JML
    by David R Cok, Joseph R Kiniry
    posted to jml by amorkan on 2005-11-14 15:11:58 as **
  • Weakest Precondition Reasoning for Java Programs with JML Annotations
    by Bart Jacobs
    posted to jml by amorkan on 2006-05-15 17:33:15 as **
  • Modular Specification of Frame Properties in JML
    by Peter Müller, Arnd P Heffter, Gary T Leavens
    posted to jml by amorkan on 2005-11-29 15:29:17 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/jml

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.