Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

sjgallers jml [40 articles]

Artikler nylig sendt til sjgallers bibliotek klassifisert med nøkkelordet jml. You can also see everyone's jml.
  • 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
  • A specification language design for the Java Modeling Language (JML) using Java 5 annotations
    (June 2008)
    by Kristina B Taylor
    posted to jml jml5 softnet testing by sjgaller on 2008-07-02 17:04:57 as read
  • A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs
    (9-11 April 2008)
    by Myoung Y Kim, Yoonsik Cheon
    posted to design-by-contract genetic-algorithm jet jml softnet test-data-generation testing by sjgaller on 2008-07-01 15:27:15 as *****
  • JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML
    (June 2008)
    by P Chalin, PR James, George Karabotsos
    posted to jml jml4 softnet by sjgaller on 2008-05-29 07:47:37 as read
  • 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 **
  • 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
  • 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 **
  • Effective and Efficient Runtime Assertion Checking for JML Through Strong Validity
    (2007)
    by F Rioux, P Chalin
    posted to jml softnet by sjgaller on 2008-02-04 09:33:27 as **
  • Discussion of Design Alternatives for JML Java 5 Annotations
    by Kristina P Boysen, Gary T Leavens
    posted to design-by-contract jml softnet testing by sjgaller on 2008-01-14 06:56:25 as read
  • Canica: An IDE for the Java Modeling Language
    (2006)
    by AB Perez, Y Cheon, AQ Gates
    posted to jml softnet testing tool by sjgaller on 2008-01-10 16:39:56 as *
  • The Architecture of JML4, a Proposed Integrated Verification Environment for JML
    (2007)
    by Patrice Chalin, Perry James, George Karabotsos
    posted to java jml softnet specification verification by sjgaller on 2007-09-19 14:39:06 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • An Integrated Verification Environment for JML: Architecture and Early Results
    (September 2007)
    by Patrice Chalin, Perry R James, George Karabotsos
    posted to java jml softnet specification verification by sjgaller on 2007-09-19 14:34:24 as read along with 2 groups 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
  • 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
  • A Runtime Assertion Checker for the Java Modeling Language
    (2003)
    by Yoonsik Cheon, Gary T Leavens
    posted to design-by-contract java jml softnet by sjgaller on 2007-08-16 16:27:53 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
    Vol. 4590 (2007), pp. 37-37.
    by Gary T Leavens, Joseph R Kiniry, Erik Poll
    edited by Werner Damm, Holger Hermanns
    posted to java jml softnet verification by sjgaller on 2007-08-09 15:51:46 as **** along with 2 groups Context-driven-testers Desgin-by-Contract
  • 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
  • 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
  • Automated Boundary Test Generation from JML Specifications
    Vol. 4085 (August 2006), pp. 428-443.
    by F Bouquet, F Dadeau, B Legeard
    posted to tool jml jmltt softnet by sjgaller on 2007-06-27 16:18:59 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 Case Study of Specification and Verification using JML in an Avionics Application
    (2006), pp. 107-116.
    by James J Hunt, Eric Jenn, Stéphane Leriche, Peter Schmitt, Isabel Tonin, Claus Wonnemann
    edited by Marc R Foy, Andy Wellings
    posted to case-study java jml key softnet by sjgaller on 2007-06-27 14:22:54 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • 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
  • Automated Random Testing to Detect Specification-Code Inconsistencies
    (2007)
    by Yoonsik Cheon
    posted to tool java jet jml softnet test-case-generation by sjgaller on 2007-06-25 13:54:57 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Random Test Data Generation for Java Classes Annotated with JML Specifications
    (2007)
    by Yoonsik Cheon, Carlos E Rubio-Medrano
    posted to tool java jet jml softnet test-case-generation by sjgaller on 2007-06-25 13:53:10 as read along with 1 person and 2 groups joaoarthurbm Context-driven-testers Desgin-by-Contract
  • A complete automation of unit testing for java programs
    (27-30 June 2005), pp. 290-295.
    by Y Cheon, M Kim, A Perumendla
    posted to java jml softnet testing unit-tests utjml white-box-testing by sjgaller on 2007-06-05 14:04:07 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • The JML and JUnit Way of Unit Testing and its Implementation
    (February 2004)
    by Y Cheon, GT Leavens
    posted to java jml softnet unit-tests by sjgaller on 2007-06-05 13:51:20 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
  • 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 2 groups joaoarthurbm newdawn Context-driven-testers Desgin-by-Contract
  • JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
    Vol. 2931/2004 (2003), pp. 70-85.
    by Guoqing Xu, Zongyuang Yang
    posted to java jml softnet test-case-generation by sjgaller on 2007-06-05 09:16:20 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • jmle: A Tool for Executing JML Specifications via Constraint Programming
    Lecture Notes in Computer Science, Vol. 4346 (26-27 August 2006), pp. 293-296.
    by Ben Krause, Tim Wahls
    posted to java jml softnet by sjgaller on 2007-06-05 08:49:13 as read 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
  • 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 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
  • 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
  • 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
  • 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
  • JML: A Notation for Detailed Design
    Behavioral Specifications of Businesses and Systems (1999), pp. 175-188.
    by Gary T Leavens, Albert L Baker, Clyde Ruby
    edited by Haim Kilov, Bernhard Rumpe, William Harvey
    posted to design-by-contract java jml softnet by sjgaller on 2007-06-05 07:17:44 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
    Formal Methods for Components and Objects (FMCO) 2005, Vol. 4111 (2006), pp. 342-363.
    by Patrice Chalin, Joseph R Kiniry, Gary T Leavens, Erik Poll
    posted to design-by-contract java jml softnet by sjgaller on 2007-06-05 07:08:58 as read along with 2 groups 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
  • 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
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/sjgaller/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.