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

shimomura testing [3 articles]

最近 shimomura さんのライブラリに追加された論文の中から タグ testing. You can also see everyone's testing.
  • Random Generators for Dependent Types
    Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to testing dependenttype 2005 by shimomura on 2008-06-23 18:22:09 as ** along with 1 person msakai
  • Verifying Haskell programs by combining testing, model checking and interactive theorem proving
    Information and Software Technology, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to type testing proof modelchecking 2004 by shimomura on 2008-04-15 08:35:02 as ** along with 1 person msakai
  • 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
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/shimomura/tag/testing

    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.