新規登録 | ログイン | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Context-driven-testers - with tag jml [30 articles]

グループ Context-driven-testers のメンバーが最近追加した論文の一覧 with tag jml
  • The Architecture of JML4, a Proposed Integrated Verification Environment for JML
    (2007)
    by Patrice Chalin, Perry James, George Karabotsos
    posted to verification specification softnet jml4 jml java by sjgaller to the group Context-driven-testers on 2007-09-19 14:39:06 as read along with 1 group 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 verification specification softnet jml4 jml java by sjgaller to the group Context-driven-testers on 2007-09-19 14:34:24 as read along with 1 group 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 temporal-logic specification-generation specification softnet jml java by sjgaller to the group Context-driven-testers on 2007-09-11 07:17:02 as ** along with 1 group 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 softnet jml java code-coverage by sjgaller to the group Context-driven-testers on 2007-08-30 07:55:11 as ** along with 1 group Desgin-by-Contract
  • A Runtime Assertion Checker for the Java Modeling Language
    (2003)
    by Yoonsik Cheon, Gary T Leavens
    posted to softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-08-16 16:27:53 as read along with 1 group 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 verification softnet jml java by sjgaller to the group Context-driven-testers on 2007-08-09 15:51:46 as **** along with 1 group 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 softnet jml by sjgaller to the group Context-driven-testers on 2007-07-12 16:43:31 as **** along with 1 group 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 vdm tools testing softnet jml by sjgaller to the group Context-driven-testers on 2007-07-11 16:06:31 as read along with 1 group Desgin-by-Contract
  • Automated Boundary Test Generation from JML Specifications
    Formal Methods 2006, Vol. 4085 (August 2006), pp. 428-443.
    by F Bouquet, F Dadeau, B Legeard
    posted to tools softnet jmltt jml by sjgaller to the group Context-driven-testers on 2007-06-27 16:18:59 as read along with 1 group 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 softnet jml case-study by sjgaller to the group Context-driven-testers on 2007-06-27 15:51:50 as read along with 1 group 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 softnet key jml java case-study by sjgaller to the group Context-driven-testers on 2007-06-27 14:22:54 as read along with 1 group 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 verification tools softnet key jml java by sjgaller to the group Context-driven-testers on 2007-06-27 14:04:23 as ***** along with 1 group Desgin-by-Contract
  • Automated Random Testing to Detect Specification-Code Inconsistencies
    (2007)
    by Yoonsik Cheon
    posted to tools test-case-generation softnet jml jet java by sjgaller to the group Context-driven-testers on 2007-06-25 13:54:57 as read along with 1 group Desgin-by-Contract
  • Random Test Data Generation for Java Classes Annotated with JML Specifications
    (2007)
    by Yoonsik Cheon, Carlos E Rubio-Medrano
    posted to tools test-case-generation softnet jml jet java by sjgaller to the group Context-driven-testers on 2007-06-25 13:53:10 as read along with 1 person and 1 group joaoarthurbm 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 unit-tests softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 14:04:07 as read along with 1 group Desgin-by-Contract
  • The JML and JUnit Way of Unit Testing and its Implementation
    (February 2004)
    by Y Cheon, GT Leavens
    posted to unit-tests softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 13:51:20 as read along with 1 group 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 test-case-generation softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 13:48:35 as read along with 1 group Desgin-by-Contract
  • Korat: Automated testing based on Java predicates
    (2002), pp. 123-133.
    by C Boyapati, S Khurshid, D Marinov
    posted to test-case-generation softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 09:18:10 as read along with 2 people and 2 groups joaoarthurbm newdawn software testing 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 test-case-generation softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 09:16:20 as read along with 1 group 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 softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 08:49:13 as ** along with 1 group 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 softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 08:15:13 as ** along with 1 group 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 softnet jml java compiler by sjgaller to the group Context-driven-testers on 2007-06-05 08:09:51 as ** along with 1 person and 1 group pdagarwal 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 softnet logic jml java by sjgaller to the group Context-driven-testers on 2007-06-05 08:08:15 as ** along with 1 group 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 softnet jml java design-by-contract case-study by sjgaller to the group Context-driven-testers on 2007-06-05 07:38:23 as ** along with 1 group Desgin-by-Contract
  • Extending JML Specifications with Temporal Logic
    Vol. 2422/2002 (September 2002), 334.
    by K Trentelman, M Huisman
    posted to temporal-logic softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-05 07:25:21 as ** along with 1 person and 1 group pdagarwal Desgin-by-Contract
  • Desugaring JML Method Specifications
    No. 00-03a. (2000)
    by Arun D Raghavan, Gary T Leavens
    posted to softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-05 07:23:05 as ** along with 1 person and 1 group pdagarwal 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 softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-05 07:17:44 as read along with 1 group 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 softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-05 07:08:58 as read along with 1 group Desgin-by-Contract
  • Design by Contract with JML
    (2003)
    by G Leavens, Y Cheon
    posted to softnet overview jml design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-01 09:26:24 as read along with 3 people and 1 group dsilva pdagarwal msakai 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 tools softnet overview jml applications by sjgaller to the group Context-driven-testers on 2007-05-01 15:23:40 as read along with 1 group Desgin-by-Contract
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/162/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.