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

shimomura 2003 [13 articles]

最近 shimomura さんのライブラリに追加された論文の中から タグ 2003. You can also see everyone's 2003.
  • notes Automated Compositional Abstraction Re nement for Concurrent C Programs: A Two-Level Approach
    by Sagar Chaki, Karen Yorav, Edmund Clarke
    posted to verification read modelchecking concurrent blast 2003 by shimomura on 2008-10-10 03:18:37 as read
  • A compositional logic for proving security properties of protocols
    Journal of Computer Security, Vol. 11 (2003)
    by Nancy Durgin, John Mitchell, Dusko Pavlovic
    posted to proof pi 2003 by shimomura on 2008-09-23 16:07:56 as **
  • Thread-Modular Model Checking
    Model Checking Software (2003), pp. 624-624.
    by Cormac Flanagan, Shaz Qadeer
    posted to verification modelchecking concurrent abstraction 2003 by shimomura on 2008-09-23 14:29:48 as **
  • Thread-Modular Abstraction Refinement
    Computer Aided Verification (2003), pp. 262-274.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
    posted to verification concurrent 2003 by shimomura on 2008-09-23 14:29:11 as **
  • Firewall regression testing of GUI sequences and their interactions
    Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 398-409.
    by L White, H Almezen, S Sastry
    posted to testing gui 2003 by shimomura on 2008-09-09 11:45:22 as **
  • Regression testing of GUIs
    (2003), pp. 118-127.
    by Atif M Memon, Mary L Soffa
    posted to testing gui 2003 by shimomura on 2008-09-09 11:30:34 as ** along with 1 person kevin3stone
  • DART: a framework for regression testing "nightly/daily builds" of GUI applications
    Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 410-419.
    by A Memon, I Banerjee, N Hashmi, A Nagarajan
    posted to testing gui 2003 by shimomura on 2008-09-09 11:25:22 as **
  • notes What Test Oracle Should I Use for Effective GUI Testing?
    ase, Vol. 0 (2003)
    by Atif Memon, Ishan Banerjee, Adithya Nagarajan
    posted to testing read gui 2003 by shimomura on 2008-09-09 11:17:57 as read
  • Bounded Model Checking
    ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
    by A Biere, A Cimatti, Clarke, O Strichman, Y Zhu
    posted to 2003 modelchecking by shimomura on 2008-07-14 01:28:36 as ** along with 1 person voronov
  • Correspondence assertions for process synchronization in concurrent communications
    (2003)
    by E Bonelli, A Compagnoni, E Gunter
    posted to 2003 sessiontype by shimomura on 2008-05-15 16:20:33 as **
  • A generic type system for the Pi-calculus
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to 2003 modelchecking pi type by shimomura on 2008-05-14 14:37:02 as ** along with 1 person and 1 group rgrig SRG_at_UCD
  • Software Verification with BLAST
    Model Checking Software (2003), pp. 624-624.
    by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    posted to 2003 blast modelchecking slam by shimomura on 2008-05-14 06:37:15 as ** along with 1 person msakai
  • Bounded Model Checking for Past LTL
    Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 18-33.
    by Marco Benedetti, Alessandro Cimatti
    posted to 2003 bounded ltl modelchecking by shimomura on 2008-05-12 09:49:40 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/shimomura/tag/2003

    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.