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

sjgallers Cheon [14 articles]

Nylige artikler sendt til sjgallers bibliotek av forfatteren Cheon. Du kan også see everyone s Cheon.
  • 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 *****
  • Integrating Random Testing with Constraints for Improved Efficiency and Diversity
    (February 2008)
    by Yoonsik Cheon, Antonio Cortes, Martine Ceberio, Gary T Leavens
    posted to constraint-problem softnet test-data-generation testing by sjgaller on 2008-05-23 08:19:22 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 **
  • 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 **
  • 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 *
  • 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
  • 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
  • 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
  • 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/author/Cheon

    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.