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

Group: Context-driven-testers - with tag specification-based-testing [5 articles]

グループ Context-driven-testers のメンバーが最近追加した論文の一覧 with tag specification-based-testing
  • Case studies on fault detection effectiveness of model based test generation techniques
    Vol. 30, No. 4. (July 2005), pp. 1-7.
    by Amit Paradkar
    posted to testing test-case-generation specification-based-testing softnet model-based-testing case-study by sjgaller to the group Context-driven-testers on 2007-09-21 08:25:31 as ** along with 1 person and 2 groups jolilius TUCS-ES_Lab Desgin-by-Contract
  • Generalized Symbolic Execution for Model Checking and Testing
    Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings, Vol. 2619/2003 (19 February 2003), pp. 553-568.
    by Sarfraz Khurshid, Corina S Pasareanu
    posted to testing symbolic-execution specification-based-testing specification softnet model-checker by sjgaller to the group Context-driven-testers on 2007-08-13 12:53:34 as *** along with 2 people and 1 group bfraser nigno Desgin-by-Contract
  • Online testing with model programs
    (2005), pp. 273-282.
    by Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
    posted to testing spec-sharp specification-based-testing softnet games finite-state-machine by sjgaller to the group Context-driven-testers on 2007-08-10 09:55:32 as read along with 1 group Desgin-by-Contract
  • Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
    (May 2005)
    by Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    posted to tools testing spec-sharp specification-based-testing softnet by sjgaller to the group Context-driven-testers on 2007-08-10 09:47:37 as read along with 1 group Desgin-by-Contract
  • Approaches to Specification-Based Testing
    (1989), pp. 86-96.
    by Debra J Richardson, Owen T O'Malley, C Tittle
    posted to specification-based-testing softnet by sjgaller to the group Context-driven-testers on 2007-06-12 13:23:33 as *** along with 1 person and 1 group mishra_satish Desgin-by-Contract
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/162/tag/specification-based-testing

    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.