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

shimomuras library [121 articles]

Nye artikler sendt til shimomuras bibliotek.
  • Modular Verification of Software Components in C
    IEEE Transactions on Software Engineering, Vol. 30, No. 6. (2004), pp. 388-402.
    by Sagar Chaki, Edmund M Clarke, Alex Groce, Somesh Jha, Helmut Veith
    posted to verification modelchecking 2004 by shimomura on 2008-10-10 07:41:00 as ***
  • Automated Compositional Abstraction Re nement for Concurrent C Programs: A Two-Level Approach
    by Sagar Chaki, Karen Yorav, Edmund Clarke
    posted to verification modelchecking concurrent blast 2003 by shimomura on 2008-10-10 03:18:37 as ****
  • Smoke and mirrors: setting the stage for a successful usability test
    Behaviour & Information Technology, Vol. 13, No. 1. (1994), pp. 9-16.
    by Marilyn C Salzman, David S Rivers
    posted to usability testing gui 1994 by shimomura on 2008-09-29 07:11:04 as **
  • State-Based Model Checking of Event-Driven System Requirements
    IEEE Transactions on Software Engineering, Vol. 19, No. 1. (1993), pp. 24-40.
    by JM Atlee, J Gannon
    posted to modelchecking event 1993 by shimomura on 2008-09-24 12:29:58 as **
  • A derivation system and compositional logic for security protocols
    J. Comput. Secur., Vol. 13, No. 3. (2005), pp. 423-482.
    by Anupam Datta, Ante Derek, John C Mitchell, Dusko Pavlovic
    posted to proof pi 2005 by shimomura on 2008-09-23 16:09:47 as **
  • 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 **
  • A compositional logic for protocol correctness
    Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE (2001), pp. 241-255.
    by N Durgin, J Mitchell, D Pavlovic
    posted to proof pi logic 2001 by shimomura on 2008-09-23 16:03:27 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 **
  • Proof Systems for-Calculus Logics Mads Dam
    by Mads Dam
    posted to proof pi by shimomura on 2008-09-23 13:39:26 as **
  • An automated oracle for verifying GUI objects
    SIGSOFT Softw. Eng. Notes, Vol. 26, No. 4. (2001), pp. 83-88.
    posted to verification testing gui 2001 by shimomura on 2008-09-23 09:22:34 as **
  • Discrete-Time Rewards Model-Checked
    Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104.
    by Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
    posted to verification timed modelchecking 2005 by shimomura on 2008-09-13 10:11:14 as ** along with 2 people suer msakai
  • notes Automated test oracles for GUIs
    (2000)
    by Atif M Memon, Martha E Pollack, Mary L Soffa
    posted to verification testing specification read gui by shimomura on 2008-09-12 01:31:18 as read
  • A COMPREHENSIVE FRAMEWORK FOR TESTING GRAPHICAL USER INTERFACES
    (2001)
    by Atif M Memon
    posted to testing gui 2001 by shimomura on 2008-09-12 01:29:10 as **
  • Model-Based Testing Through a GUI
    Formal Approaches to Software Testing (2006), pp. 16-31.
    by Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
    posted to testing gui 2006 by shimomura on 2008-09-09 11:48:37 as **
  • A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
    Formal Methods and Software Engineering (2005), pp. 450-464.
    by Ana Paiva, João Faria, Nikolai Tillmann, Raul Vidal
    posted to testing gui 2005 by shimomura on 2008-09-09 11:48:23 as **
  • Automated GUI interface testing
    (1998)
    by Marsten H Parker, Laurence R Kepple, Leah R Sklar, David C Laroche
    posted to testing gui 1998 by shimomura on 2008-09-09 11:46:56 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 **
  • Finite state testing and analysis of graphical user interfaces
    Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 34-43.
    by F Belli
    posted to testing gui 2001 by shimomura on 2008-09-09 11:36:17 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
  • Automating regression testing for evolving GUI software
    Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 1. (2005), pp. 27-64.
    by Atif Memon, Adithya Nagarajan, Qing Xie
    posted to testing gui 2005 by shimomura on 2008-09-09 11:29:26 as **
  • 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 A visual test development environment for GUI systems
    SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (1998), pp. 82-92.
    by Thomas Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia
    posted to testing read gui 1998 by shimomura on 2008-09-09 11:24:13 as read
  • 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
  • GUI testing: pitfalls and process
    Computer, Vol. 35, No. 8. (2002), pp. 87-88.
    by AM Memon
    posted to testing read gui 2002 by shimomura on 2008-09-09 11:15:37 as read
  • notes A verification method for some GUI dialogue properties
    Systems and Computers in Japan, Vol. 31, No. 14. (2000), pp. 38-46.
    by Yoshihiro Tsujino
    posted to verification read gui 2000 by shimomura on 2008-09-09 11:06:30 as read
  • notes Specification-driven automated testing of GUI-based Java programs
    (2004), pp. 140-145.
    by Yanhong Sun, Edward L Jones
    posted to testing specification java gui 2004 by shimomura on 2008-09-09 10:58:05 as read
  • notes Automation of GUI testing using a model-driven approach
    (2006), pp. 9-14.
    by Marlon Vieira, Johanne Leduc, Bill Hasling, Rajesh Subramanyan, Juergen Kazmeier
    posted to verification testing testcasegeneration read gui 2006 by shimomura on 2008-09-09 10:54:42 as read along with 1 person kevin3stone
  • Helping users avoid bugs in GUI applications
    Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 107-116.
    by A Michail, Tao Xie
    posted to read gui 2005 by shimomura on 2008-09-09 10:47:25 as read
  • Programming in Scala A comprehensive step-by-step guide
    (17 August 2008)
    by Martin Odersky, Lex Spoon, Bill Venners
    posted to programming 2008 by shimomura on 2008-09-02 10:53:55 as ** along with 1 person msakai
  • The Coq Proof Assistant A Tutorial
    (8 February 2007)
    by Gerard Huet, Gilles Kahn, Christine Paulin-Mohring
    posted to dependenttype coq 2007 by shimomura on 2008-09-02 07:33:23 as ** along with 1 person msakai
  • Flap jax: Functional Reactive Web Programming
    (2006)
    by Leo Meyerovich
    posted to 2006 haskell by shimomura on 2008-08-20 16:21:40 as **
  • Directing JavaScript with Arrows
    (2008)
    by Khoo Y Phang, Michael Hicks, Jeffrey S Foster, Vibha Sazawal
    posted to 2008 arrow javascript read by shimomura on 2008-08-20 16:18:48 as read
  • Do we Need Dependent Types?
    (2001)
    by Daniel Fridlender, Mia Indrika
    posted to 2001 dependenttype read by shimomura on 2008-08-20 16:14:52 as read along with 1 person msakai
  • Timed Automata
    (1999)
    by Rajeev Alur
    posted to 1999 automata modelchecking timed verification by shimomura on 2008-08-10 15:11:48 as **
  • The theory of timed automata
    Real-Time: Theory in Practice (1992), pp. 45-73.
    by Rajeev Alur, David Dill
    posted to 1992 automata modelchecking read timed by shimomura on 2008-08-08 03:47:18 as read
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to 2004 science software type by shimomura on 2008-08-03 08:44:27 as ** along with 8 people and 1 group draganigajic sstrickl tautologico thsutton voigt lyongu msakai jimburton Lambda the Ultimate
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to 2002 science software type by shimomura on 2008-08-03 08:43:57 as **** along with 17 people and 2 groups draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice SRG_at_UCD Lambda the Ultimate
  • リファクタリング―プログラムの体質改善テクニック (Object Technology Series)
    by マーチン ファウラー, Martin Fowler, 児玉 公信, 平澤, 友野 晶夫, 梅沢 真史
    posted to 2000 engineer refactoring software by shimomura on 2008-08-03 08:43:02 as **
  • The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)
    (20 June 2006)
    by Dilsun K Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
    posted to 2006 automata timed by shimomura on 2008-07-25 08:35:36 as **
  • Race checking by context inference
    Vol. 39, No. 6. (May 2004), pp. 1-13.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to 2004 concurrent modelchecking verification by shimomura on 2008-07-14 11:05:12 as ***** along with 1 person bec
  • A theory of type polymorphism in programming
    Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
    by Robin Milner
    posted to 1978 type by shimomura on 2008-07-14 01:44:51 as ** along with 5 people amp269 jkominek tautologico lyongu calvins
  • Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
    Programming Languages and Systems (2008), pp. 16-31.
    by Jacob Matthews, Amal Ahmed
    posted to 2008 systemf type by shimomura on 2008-07-14 01:32:22 as ** along with 1 person msakai
  • 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
  • Type Checking with Open Type Functions
    (2008)
    by Tom Schrijvers, Simon P Jones, Manuel Chakravarty, Martin Sulzmann
    posted to 2008 gadt haskell type by shimomura on 2008-07-14 01:20:07 as ** along with 1 person msakai
  • Algebra of Programming using Dependent Types
    Vol. Volume 5133/2008 (2008), pp. 268-283.
    by Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
    posted to 2008 agda dependenttype by shimomura on 2008-07-14 01:10:58 as ** along with 1 person msakai
  • Translating dependent type theory into higher order logic
    Typed Lambda Calculi and Applications (1993), pp. 209-229.
    by Bart Jacobs, Tom Melham
    posted to 1993 dependenttype logic by shimomura on 2008-07-14 01:00:34 as ** along with 1 person msakai
  • Specification and Verification Using Dependent Types
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
    by FK Hanna, N Daeche, M Longley
    posted to 1990 dependenttype specification type verification by shimomura on 2008-07-14 00:51:06 as ** along with 1 person msakai
  • Three implementation models for scheme
    (1987)
    by RK Dybvig
    posted to 1987 implementation scheme by shimomura on 2008-07-14 00:44:31 as **
  • Programming with Dependent Types in Coq: A Study of Square Matrices
    by Nicolas Magaud
    posted to coq dependenttype by shimomura on 2008-07-07 09:45:04 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/shimomura

    Result page: 1 2 3 Next 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.