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

shimomura Chen [8 articles]

Recent papers posted to shimomura library by the author Chen. You can also see Chen everyone.
  • Setuid demystified
    (2002)
    by H Chen, D Wagner, D Dean
    posted to modelchecking 2002 by shimomura on 2008-06-11 09:20:38 as ** along with 2 people heiko_reese msakai
  • MOPS: an Infrastructure for Examining Security Properties of Software
    (2002)
    by Hao Chen, David A Wagner
    posted to technicalreport modelchecking 2002 by shimomura on 2008-06-11 09:20:08 as **
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to read modelchecking 2002 by shimomura on 2008-05-16 04:51:17 as read along with 2 people and 1 group srccheck rdyer Laboratory for Software Design
  • Model checking one million lines of C code
    (2004)
    by H Chen, D Dean, D Wagner
    posted to read modelchecking blast 2004 by shimomura on 2008-05-14 06:49:02 as read along with 1 person msakai
  • Automated Model Checking and Testing for Composite Web Services
    (2005), pp. 300-307.
    by Hai Huang, Wei-Tek Tsai, Raymond Paul, Yinong Chen
    posted to modelchecking blast 2005 by shimomura on 2008-05-14 06:46:27 as **
  • Formal Modelling of Java GUI Event Handling
    (2002), pp. 359-370.
    by Jessica Chen
    posted to modelchecking gui 2002 by shimomura on 2008-04-07 22:36:33 as ** along with 1 person keigoi
  • Formal Modelling of Java GUI Event Handling
    Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370.
    by Jessica Chen
    posted to modelchecking gui 2002 by shimomura on 2008-04-07 22:36:11 as ** along with 1 person keigoi
  • Specification-based Testing for Gui-based Applications
    Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
    by Jessica Chen, Suganthan Subramaniam
    posted to testing read java gui 2002 by shimomura on 2008-02-16 13:21:32 as read along with 1 person keigoi
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/shimomura/author/Chen

    RIS BibTeX RSS
    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.