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

Group: Context-driven-testers - with tag java [49 articles]

Nye artikler sendt inn av medlemmer i Context-driven-testers -gruppen with tag java
  • 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
  • Design By Contract for Java - Revised
    (April 2007)
    by Johannes Rieken
    posted to tool softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-08-06 13:09:03 as * along with 1 group Desgin-by-Contract
  • Test input generation with java PathFinder
    Vol. 29, No. 4. (July 2004), pp. 97-107.
    by Willem Visser, Corina S P&\#462;s&\#462;reanu, Sarfraz Khurshid
    posted to test-input-generation softnet java-path-finder java by sjgaller to the group Context-driven-testers on 2007-07-10 10:27:55 as read along with 3 people and 2 groups cyph3r jolilius joaoarthurbm TUCS-ES_Lab Desgin-by-Contract
  • Jartege: A Tool for Random Generation of Unit Tests for Java Classes
    Quality of Software Architectures and Software Quality, Vol. 3712/2005 (September 2005), pp. 242-256.
    by Catherine Oriat
    posted to tools test-case-generation statistics softnet java by sjgaller to the group Context-driven-testers on 2007-06-27 15:57: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
  • JCrasher: An automatic robustness tester for Java
    Vol. 34 (September 2004), pp. 1025-1050.
    by Christoph Csallner, Yannis Smaragdakis
    posted to tools softnet jcrasher java by sjgaller to the group Context-driven-testers on 2007-06-21 16:50:49 as ***** along with 1 group Desgin-by-Contract
  • Automated Systematic Testing of Open Distributed Programs
    Vol. 3922 (2006), pp. 339-356.
    by K Sen, G Agha
    posted to tools softnet jcute java distributed-programs deadlock-detection by sjgaller to the group Context-driven-testers on 2007-06-21 12:37:03 as read along with 1 group Desgin-by-Contract
  • Automated Test Generation for AspectJ Programs
    (2005)
    by T Xie, J Zhao, D Marinov, D Notkin
    posted to wrasp test-case-generation softnet java aspectj by sjgaller to the group Context-driven-testers on 2007-06-20 12:19:02 as read along with 1 group Desgin-by-Contract
  • An overview of AspectJ
    Vol. 2072/2001 (2001), pp. 327-355.
    by G Kiczales, E Hilsdale, J Hugunin, M Kersten, J Palm, WG Griswold
    posted to java aspect-oriented-programming by sjgaller to the group Context-driven-testers on 2007-06-18 07:22:38 as *** along with 1 group Desgin-by-Contract
  • Evaluating the small scope hypothesis
    (2002)
    by A Andoni, D Daniliuc, S Khurshid, D Marinov
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-08 17:07:53 as *** along with 1 person and 1 group aq05752n Desgin-by-Contract
  • Data-flow-based unit testing of aspectoriented programs
    (2003)
    by J Zhao
    posted to test-case-generation softnet java control-flow-graph aspectj by sjgaller to the group Context-driven-testers on 2007-06-08 16:41:25 as read along with 1 group Desgin-by-Contract
  • Discovering Algebraic Specifications from Java Classes
    (July 2003)
    by Johannes Henkel, Amer Diwan
    edited by Luca Cardelli
    posted to unsupervised softnet java formalization by sjgaller to the group Context-driven-testers on 2007-06-08 16:36:05 as read along with 1 group Desgin-by-Contract
  • Tracking Down Software Bugs Using Automatic Anomaly Detection
    (# may # 2002)
    by Sudheendra Hangal, Monica S Lam
    posted to softnet java invariant-detection formalization dynamic diduce by sjgaller to the group Context-driven-testers on 2007-06-08 16:10:02 as read along with 4 people and 1 group hangal V cantoluna gameweld Desgin-by-Contract
  • Automatic Test Factoring for Java
    (2005), pp. 114-123.
    by David Saff, Shay Artzi, Jeff H Perkins, Michael D Ernst
    posted to unit-tests test-case-generation softnet mock java by sjgaller to the group Context-driven-testers on 2007-06-08 15:37:00 as read along with 1 group 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
  • Test Input Generation with Java PathFinder
    (11-14 July 2004)
    by Willem Visser, Corina S Pasareanu, Sarfraz Khurshid
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-05 09:44:19 as **** along with 1 person and 1 group gfraser Desgin-by-Contract
  • TestEra: Specification-based testing of Java programs using SAT
    (2004)
    by S Khurshid, D Marinov
    posted to test-case-generation softnet sat java by sjgaller to the group Context-driven-testers on 2007-06-05 09:41:24 as ***** along with 1 group Desgin-by-Contract
  • TestEra: A Novel Framework for Testing Java Programs
    (2003)
    by S Khurshid, D Marinov
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-05 09:39:54 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 1 group newdawn joaoarthurbm 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
  • Java Specification Extension for Automated Test Development
    Vol. 2244/2001 (2001), pp. 301-307.
    by Igor B Bourdonov, Alexey V Demakov, Andrew A Jarov, Alexander Kossatchev, Victor V Kuliamin, Alexandre Petrenko, Sergey V Zelenov
    posted to unitesk test-case-generation softnet java fsm by sjgaller to the group Context-driven-testers on 2007-06-05 09:01:51 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
  • UniTesK: Model Based Testing in Industrial Practice
    (11-12 December 2003), pp. 55-63.
    by Victor V Kuliamin, Alexander K Petrenko, Alexander S Kossatchev, Igor B Bourdonov
    posted to unitesk softnet java design-by-contract c-cpp by sjgaller to the group Context-driven-testers on 2007-06-05 08:36:30 as read 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
  • Java Program Verification via a Hoare Logic with Abrupt Termination
    Lecture Notes in Computer Science, Vol. 1783 (2000)
    by Marieke Huisman, Bart Jacobs
    posted to verification softnet java hoare by sjgaller to the group Context-driven-testers on 2007-06-05 08:06:50 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
  • The Challenges of Writing Reusable and Portable Aspects in AspectJ: Lessons from Contract4J
    (22 March 2006)
    by Dean Wampler
    posted to softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-04 15:23:10 as read along with 1 group Desgin-by-Contract
  • Contract4J for Design by Contract in Java: Design Pattern-Like Protocols and Aspect Interfaces
    (21 March 2006)
    by Dean Wampler
    posted to tools softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-04 15:20:27 as read along with 1 group Desgin-by-Contract
  • Adding Contracts to Java with Handshake
    No. TRCS98-32. (September, 1998)
    by Andrew Duncan, Urs Hoelzle
    posted to softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-04 11:50:27 as read along with 1 group Desgin-by-Contract
  • Java Applet Correctness: a Developer-Oriented Approach
    Vol. 2805/2003 (September 2003)
    by L Burdy, A Requet, J Lanet
    posted to verification tools softnet java b by sjgaller to the group Context-driven-testers on 2007-06-01 18:49:08 as read along with 1 group Desgin-by-Contract
  • jContractor: A Reflective Java Library to Support Design by Contract
    (1999), pp. 19-21.
    by Murat Karaorman, Urs Holzle, John Bruno
    posted to tools softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-01 18:26:23 as read along with 1 group Desgin-by-Contract
  • iContract-the Java design by Contract tool
    Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings (1998), pp. 295-307.
    by R Kramer
    posted to tools softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-01 17:49:07 as read along with 1 group Desgin-by-Contract
  • Jass - Java with assertions
    Electronic Notes in Theoretical Computer Science, Vol. 55, No. 2. (2001), pp. 1-15.
    by D Bartetzko, C Fischer, M Moller, H Wehrheim
    posted to tools softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-01 17:33:38 as read along with 1 person and 1 group pdagarwal Desgin-by-Contract
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/group/162/tag/java

    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.