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

shimomura Chen [8 articles]

最近 shimomura さんのライブラリに追加された論文の中から 著者が Chen. であるものをリストアップしています. You can also see everyone's Chen.
  • Setuid demystified
    (2002)
    by H Chen, D Wagner, D Dean
    posted to 2002 modelchecking by shimomura on 2008-06-11 09:20:38 as ** along with 2 people msakai heiko_reese
  • MOPS: an Infrastructure for Examining Security Properties of Software
    (2002)
    by Hao Chen, David A Wagner
    posted to 2002 modelchecking technicalreport 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 2002 modelchecking read 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 2004 blast modelchecking read 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 2005 blast modelchecking 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 2002 gui modelchecking 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 2002 gui modelchecking 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 2002 gui java read testing by shimomura on 2008-02-16 13:21:32 as read along with 1 person keigoi
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/shimomura/author/Chen

    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.