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

Group: Context-driven-testers - with tag test-case-generation [45 articles]

グループ Context-driven-testers のメンバーが最近追加した論文の一覧 with tag test-case-generation
  • 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
  • Combining test case generation and runtime verification
    Theoretical Computer Science, Vol. 336, No. 2-3. (26 May 2005), pp. 209-234.
    by Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington
    posted to verification testing test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-08-28 07:22:59 as ** along with 3 people and 2 groups jolilius lcigler joaoarthurbm TUCS-ES_Lab Desgin-by-Contract
  • PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
    Dependable Computing - EDCC 2005, Vol. 3463/2005 (31 March 2005), pp. 281-292.
    by Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
    posted to test-case-generation softnet constraint-solving c-cpp by sjgaller to the group Context-driven-testers on 2007-08-27 09:41:50 as read along with 1 group Desgin-by-Contract
  • Optimal strategies for testing nondeterministic systems
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 55-64.
    by Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
    posted to testing test-case-generation spec-sharp softnet games finite-state-machine by sjgaller to the group Context-driven-testers on 2007-08-10 10:04:45 as read along with 1 group Desgin-by-Contract
  • Test Generation with Inputs, Outputs, and Quiescence
    (1996), pp. 127-146.
    by Jan Tretmans
    posted to test-case-generation softnet reading-group-testing by sjgaller to the group Context-driven-testers on 2007-07-19 15:27:48 as ***** along with 2 people and 1 group HaraldBrandl sidney Desgin-by-Contract
  • Preamble computation in automated test case generation using constraint logic programming
    Software Testing, Verification and Reliability, Vol. 14, No. 3. (2004), pp. 213-235.
    by Séverine Colin, Bruno Legeard, Fabien Peureux
    posted to testing test-case-generation softnet jmltt constraint-logic by sjgaller to the group Context-driven-testers on 2007-07-16 11:08:06 as read along with 1 group Desgin-by-Contract
  • Jartege: A Tool for Random Generation of Unit Tests for Java Classes
    Quality of Software Architectures and Software Quality, Vol. 3712/2005 (September 2005), pp. 242-256.
    by Catherine Oriat
    posted to tools test-case-generation statistics softnet java by sjgaller to the group Context-driven-testers on 2007-06-27 15:57:50 as read along with 1 group Desgin-by-Contract
  • JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP
    Tools and Algorithms for the Construction and Analysis of Systems, Vol. 3440/2005 (2005), pp. 551-556.
    by Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
    posted to tools test-case-generation softnet jmltt by sjgaller to the group Context-driven-testers on 2007-06-26 13:25:40 as read along with 1 group Desgin-by-Contract
  • Automated Random Testing to Detect Specification-Code Inconsistencies
    (2007)
    by Yoonsik Cheon
    posted to tools test-case-generation softnet jml jet java by sjgaller to the group Context-driven-testers on 2007-06-25 13:54:57 as read along with 1 group Desgin-by-Contract
  • Random Test Data Generation for Java Classes Annotated with JML Specifications
    (2007)
    by Yoonsik Cheon, Carlos E Rubio-Medrano
    posted to tools test-case-generation softnet jml jet java by sjgaller to the group Context-driven-testers on 2007-06-25 13:53:10 as read along with 1 person and 1 group joaoarthurbm Desgin-by-Contract
  • Automated Test Generation for AspectJ Programs
    (2005)
    by T Xie, J Zhao, D Marinov, D Notkin
    posted to wrasp test-case-generation softnet java aspectj by sjgaller to the group Context-driven-testers on 2007-06-20 12:19:02 as read along with 1 group Desgin-by-Contract
  • UniTesK Test Suite Architecture
    Vol. 2391/2002 (2002), pp. 121-152.
    by IB Bourdonov, A Kossatchev, VV Kuliamin, A Petrenko
    posted to unitesk test-case-generation softnet design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-15 11:06:57 as * along with 1 group Desgin-by-Contract
  • Using Test Oracles Generated from Program Documentation
    Software Engineering, Vol. 24, No. 3. (1998), pp. 161-173.
    by Dennis K Peters, David L Parnas
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-12 11:54:33 as ** along with 1 person and 1 group joaoarthurbm Desgin-by-Contract
  • UniTesK Approach to Test Development: Achievements and Prospects
    Vol. 5 (2004)
    by A Barantsev, I Burdonov, A Demakov, S Zelenov, A Kossatchev, V Kuliamin, V Omeltchenko, N Pakoulin, A Petrenko
    posted to unitesk test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-11 15:09:05 as read along with 1 group Desgin-by-Contract
  • Test Generation Derived from Model-Checking
    (1999), pp. 108-121.
    by Thierry Jeron, Pierre Morel
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-11 13:01:41 as ** along with 1 group Desgin-by-Contract
  • KVEST: Automated Generation of Test Suites from Formal Specifications
    Vol. 99 (1999), pp. 608-621.
    by I Burdonov, A Kossatchev, A Petrenko, D Galter
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-11 12:56:54 as read along with 1 group Desgin-by-Contract
  • Automatic testing based on design by contract
    Proceedings of Net. ObjectDays (2005), pp. 545-557.
    by I Ciupa, A Leitner
    posted to tools test-case-generation softnet eiffel design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-11 12:56:09 as read along with 1 person and 1 group cyph3r Desgin-by-Contract
  • Automatic Extraction of Object-Oriented Component Interfaces
    (July 2002)
    by John Whaley, Michael C Martin, Monica S Lam
    posted to unsupervised test-case-generation softnet formalization by sjgaller to the group Context-driven-testers on 2007-06-09 20:08:10 as *** along with 2 people and 2 groups jolilius newdawn TUCS-ES_Lab Desgin-by-Contract
  • Evaluating the small scope hypothesis
    (2002)
    by A Andoni, D Daniliuc, S Khurshid, D Marinov
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-08 17:07:53 as *** along with 1 person and 1 group aq05752n Desgin-by-Contract
  • Data-flow-based unit testing of aspectoriented programs
    (2003)
    by J Zhao
    posted to test-case-generation softnet java control-flow-graph aspectj by sjgaller to the group Context-driven-testers on 2007-06-08 16:41:25 as read along with 1 group Desgin-by-Contract
  • The ASTOOT approach to testing object-oriented programs
    ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 2. (1994), pp. 101-130.
    by Roong K Doong, Phyllis G Frankl
    posted to unsupervised test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 16:39:51 as ***** along with 1 group Desgin-by-Contract
  • Improving test suites via operational abstraction
    (2003)
    by M Harder, J Mellen, M Ernst
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 16:38:04 as ** along with 1 group Desgin-by-Contract
  • Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests
    (2004)
    by Tao Xie, Darko Marinov, David Notkin
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 16:30:58 as ** along with 2 people and 2 groups jolilius charlescearl TUCS-ES_Lab Desgin-by-Contract
  • Automatic Test Factoring for Java
    (2005), pp. 114-123.
    by David Saff, Shay Artzi, Jeff H Perkins, Michael D Ernst
    posted to unit-tests test-case-generation softnet mock java by sjgaller to the group Context-driven-testers on 2007-06-08 15:37:00 as read along with 1 group Desgin-by-Contract
  • SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
    (8-11 October 2000), pp. 304-316.
    by Amit Paradkar
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 15:35:51 as ***** along with 1 group Desgin-by-Contract
  • Substra: a framework for automatic generation of integration tests
    (2006), pp. 64-70.
    by Hai Yuan, Tao Xie
    posted to test-case-generation softnet integration-tests by sjgaller to the group Context-driven-testers on 2007-06-08 15:30:04 as read along with 1 person and 1 group cyph3r Desgin-by-Contract
  • Tool-assisted unit test selection based on operational violations
    Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on (2003), pp. 40-48.
    by Tao Xie, D Notkin
    posted to tools test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-08 15:24:16 as *** along with 1 person and 1 group pfrancis Desgin-by-Contract
  • An informal formal method for systematic JUnit test case generation
    (2002)
    by P Stotts, M Lindsey, A Antley
    posted to test-case-generation softnet formalization by sjgaller to the group Context-driven-testers on 2007-06-08 13:18:42 as read along with 1 person and 1 group joaoarthurbm Desgin-by-Contract
  • JAOUT: automated generation of aspect-oriented unit test
    (2004), pp. 374-381.
    by Guoqing Xu, Zongyuan Yang, Haitao Huang, Qian Chen, Ling Chen, Fengbin Xu
    posted to unit-tests test-case-generation temporal-logic softnet aspectj by sjgaller to the group Context-driven-testers on 2007-06-06 13:39:52 as read along with 1 group Desgin-by-Contract
  • Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)
    (1997), pp. 525-535.
    by Lalita J Jagadeesan, Adam A Porter, Carlos Puchol, Christopher J Ramming, Lawrence G Votta
    posted to test-case-generation temporal-logic softnet fsm formalization by sjgaller to the group Context-driven-testers on 2007-06-06 13:15:50 as read along with 1 group Desgin-by-Contract
  • Toward a theory of test data selection
    (1975), pp. 493-510.
    by John B Goodenough, Susan L Gerhart
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-06 12:54:49 as ** along with 2 people and 1 group pedagand cyph3r Desgin-by-Contract
  • Alcoa: the alloy constraint analyzer
    (2000), pp. 730-733.
    by Daniel Jackson, Ian Schechter, Hya Shlyahter
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-06 07:41:38 as ** along with 1 person and 1 group bfraser Desgin-by-Contract
  • A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
    No. 01--12. (10-14 June 2002)
    by Yoonsik Cheon, Gary T Leavens
    posted to test-case-generation softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 13:48:35 as read along with 1 group Desgin-by-Contract
  • Eclat: Automatic Generation and Classification of Test Inputs
    (2005), pp. 504-527.
    by SMC Pacheco, Dept, Computer Science, Massachusetts
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-05 13:40:56 as read along with 1 group Desgin-by-Contract
  • A test and verification environment for Java programs
    (2006)
    by Felix Berger
    posted to unit-tests test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-05 13:36:58 as read along with 1 group Desgin-by-Contract
  • An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing
    (2006), pp. 59-68.
    by Marcelo D'amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D Ernst
    posted to unit-tests test-case-generation symclat softnet java-path-finder by sjgaller to the group Context-driven-testers on 2007-06-05 13:33:24 as read along with 1 group Desgin-by-Contract
  • Execution generated test cases: How to make systems code crash itself
    (2005)
    by C Cadar, D Engler
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-05 09:49:27 as ** along with 1 group Desgin-by-Contract
  • Test Input Generation with Java PathFinder
    (11-14 July 2004)
    by Willem Visser, Corina S Pasareanu, Sarfraz Khurshid
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-05 09:44:19 as **** along with 1 person and 1 group gfraser Desgin-by-Contract
  • TestEra: Specification-based testing of Java programs using SAT
    (2004)
    by S Khurshid, D Marinov
    posted to test-case-generation softnet sat java by sjgaller to the group Context-driven-testers on 2007-06-05 09:41:24 as ***** along with 1 group Desgin-by-Contract
  • TestEra: A Novel Framework for Testing Java Programs
    (2003)
    by S Khurshid, D Marinov
    posted to test-case-generation softnet java by sjgaller to the group Context-driven-testers on 2007-06-05 09:39:54 as read along with 1 group Desgin-by-Contract
  • Korat: Automated testing based on Java predicates
    (2002), pp. 123-133.
    by C Boyapati, S Khurshid, D Marinov
    posted to test-case-generation softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 09:18:10 as read along with 2 people and 2 groups joaoarthurbm newdawn software testing Desgin-by-Contract
  • JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
    Vol. 2931/2004 (2003), pp. 70-85.
    by Guoqing Xu, Zongyuang Yang
    posted to test-case-generation softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 09:16:20 as read along with 1 group Desgin-by-Contract
  • Java Specification Extension for Automated Test Development
    Vol. 2244/2001 (2001), pp. 301-307.
    by Igor B Bourdonov, Alexey V Demakov, Andrew A Jarov, Alexander Kossatchev, Victor V Kuliamin, Alexandre Petrenko, Sergey V Zelenov
    posted to unitesk test-case-generation softnet java fsm by sjgaller to the group Context-driven-testers on 2007-06-05 09:01:51 as read along with 1 group Desgin-by-Contract
  • An automatic test case generator derived from state-based testing
    Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific (1998), pp. 270-277.
    by Bor-Yuan Tsai, S Stobart, N Parrington, I Mitchell
    posted to test-case-generation softnet by sjgaller to the group Context-driven-testers on 2007-06-05 08:59:13 as ** along with 1 person and 1 group joaoarthurbm Desgin-by-Contract
  • Automatic Test Case Generation for OCL: a Mutation Approach
    (2005)
    by Percy A Salas, Bernhard K Aichernig
    posted to test-case-generation softnet ocl by sjgaller to the group Context-driven-testers on 2007-06-05 08:57:20 as ** along with 1 group Desgin-by-Contract
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/group/162/tag/test-case-generation

    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.