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

cyph3r library [171 articles]

最近 cyph3r さんのライブラリ .
  • Automatic generation of program specifications
    (2002), pp. 229-239.
    by Jeremy W Nimmer, Michael D Ernst
    posted to automatic cite-it da project-planning specifications by cyph3r on 2008-08-24 19:40:23 as **
  • Test input generation with java PathFinder
    Vol. 29, No. 4. (July 2004), pp. 97-107.
    by Willem Visser, Corina S P&\#462;s&\#462;reanu, Sarfraz Khurshid
    posted to ai da path project-planning test-data-generation by cyph3r on 2008-08-24 19:37:12 as ** along with 3 people and 3 groups jolilius sjgaller joaoarthurbm Context-driven-testers TUCS-ES_Lab Desgin-by-Contract
  • Test input generation for java containers using state matching
    (2006), pp. 37-48.
    by Willem Visser, Corina S Pasareanu, Radek Pelanek
    posted to ai da project-planning state test-data-generation by cyph3r on 2008-08-24 19:30:40 as **** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • notes Generating Java unit tests with AI planning
    (2007), pp. 2-6.
    by Eddie Dingels, Timothy Fraser, Alexander Quinn
    posted to ai da planning project-planning test-data-generation by cyph3r on 2008-08-24 19:26:58 as *****
  • The economic impacts of inadequate infrastructure for software testing
    (2002)
    by G Tassey
    posted to cite-it da economic project-planning testing by cyph3r on 2008-08-22 09:10:23 as **
  • Automatic Test Generation for Dynamic Data Structures
    Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on (2007), pp. 545-549.
    by Ruilian Zhao, Qing Li
    posted to automated path project-planning test-data-generation by cyph3r on 2008-08-22 09:07:17 as **
  • The ASTOOT approach to testing object-oriented programs
    ACM Trans. Softw. Eng. Methodol., Vol. 3, No. 2. (April 1994), pp. 101-130.
    by Roong-Ko Doong, Phyllis G Frankl
    posted to ai da oo project-planning testing to_read by cyph3r on 2008-08-21 14:59:42 as ****
  • Automated test-data generation for exception conditions
    Software: Practice and Experience, Vol. 30, No. 1. (2000), pp. 61-79.
    by N Tracey, J Clark, K Mander, J Mcdermid
    posted to automated da excpetion project-planning test-data-generation by cyph3r on 2008-08-21 13:35:47 as ***** along with 3 people sjgaller elvinado joaoarthurbm
  • notes Test data generation based on binary search for class-level testing
    (2003)
    by Sami Beydeda, Volker Gruhn
    posted to binary da project-planning search test-data-generation by cyph3r on 2008-08-21 07:57:25 as **
  • BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
    Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on (2006), pp. 75-84.
    by Jun Yan, Zhongjie Li, Yuan Yuan, Wei Sun, Jian Zhang
    posted to da path project-planning test-data-generation by cyph3r on 2008-08-20 18:18:13 as **
  • Search-based software test data generation: a survey
    Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
    by Phil Mcminn
    posted to da project-planning search survey test-data-generation by cyph3r on 2008-08-20 18:02:35 as ** along with 2 people sjgaller nigno
  • Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004. ISBN: 981-238-854-0. pp. 208
    Software Testing, Verification and Reliability, Vol. 15, No. 2. (2005), pp. 135-136.
    by Robert M Hierons
    posted to book-review da project-planning software testing by cyph3r on 2008-08-20 17:58:43 as **
  • Search-based software test data generation for string data using program-specific search operators
    Software Testing, Verification and Reliability, Vol. 16, No. 3. (2006), pp. 175-203.
    by Mohammad Alshraideh, Leonardo Bottaci
    posted to da project-planning search test-data-generation by cyph3r on 2008-08-20 17:56:09 as **
  • Substra: a framework for automatic generation of integration tests
    (2006), pp. 64-70.
    by Hai Yuan, Tao Xie
    posted to automatic da project-planning test-data-generation by cyph3r on 2008-08-14 13:53:48 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • Improving effectiveness of automated software testing in the absence of specifications
    (2005)
    by Tao Xie
    posted to automated da project-planning test-data-generation by cyph3r on 2008-08-14 13:51:24 as *
  • Observations and lessons learned from automated testing
    Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 571-579.
    by S Berner, R Weber, RK Keller
    posted to automated da project-planning by cyph3r on 2008-08-14 13:50:11 as *** along with 1 person joaoarthurbm
  • Automated Robustness Testing of Off-the-Shelf Software Components
    (1998), pp. 230-239.
    by Nathan P Kropp, Philip J Koopman, Daniel P Siewiorek
    posted to automated da project-planning testing by cyph3r on 2008-08-14 13:48:13 as ** along with 1 person newdawn
  • Automatic Generation of Software Test Cases from Formal Specifications
    (1998)
    by Christophe Meudec
    posted to automatic da project-planning specifications test-data-generation torkar-thesis by cyph3r on 2008-08-14 13:45:58 as ****
  • DART: directed automated random testing
    Vol. 40, No. 6. (June 2005), pp. 213-223.
    by Patrice Godefroid, Nils Klarlund, Koushik Sen
    posted to automated da directed project-planning random testing torkar-thesis by cyph3r on 2008-08-14 13:43:27 as *** along with 8 people and 3 groups jolilius bec newdawn pfrancis sjgaller ahgharaibeh joaoarthurbm bfraser Context-driven-testers TUCS-ES_Lab Desgin-by-Contract
  • On Test Data Generation of Object-Oriented Software
    Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 72-76.
    by Andrea Arcuri, Xin Yao
    posted to project-planning test-data-generation by cyph3r on 2008-08-13 13:04:58 as ** along with 1 person joaoarthurbm
  • A Method for Systematically Generating Tests from Object-Oriented Class Interfaces
    (2003)
    by Mahesh B Mungara
    posted to da project-planning test-data-generation by cyph3r on 2008-08-13 13:01:42 as **
  • Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting
    by Phil Mcminn, Mark Harman, David Binkley
    posted to da project-planning test-data-generation by cyph3r on 2008-08-13 08:14:35 as **
  • Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques
    Empirical Software Engineering, Vol. 12, No. 2. (April 2007), pp. 183-239.
    by Xiao, Man, El-Attar, Mohamed, Reformat, Marek, Miller, James
    posted to automatic goal-oriented project-planning test-data-generation by cyph3r on 2008-08-13 08:10:47 as ****
  • A multi-objective approach to search-based test data generation
    (2007), pp. 1098-1105.
    by Kiran Lakhotia, Mark Harman, Phil Mcminn
    posted to da project-planning search test-data-generation by cyph3r on 2008-08-13 08:06:05 as **
  • Towards Automated Software Testing Techniques, Classifications and Frameworks
    (2006)
    by Richard Torkar
    posted to da project-planning testing by cyph3r on 2008-08-13 07:59:22 as *****
  • A Survey on Testing and Reuse
    (2003)
    by Richard Torkar, Stefan Mankefors
    posted to project-planning reuse survey testing by cyph3r on 2008-08-13 07:56:19 as **
  • Search-based Testing using State-based Fitness
    icstw, Vol. 0 (2008)
    by Raluca Lefticaru, Florentin Ipate
    posted to da project-planning search testing by cyph3r on 2008-08-13 07:55:28 as *
  • notes Assertion-oriented automated test data generation
    Software Engineering, 1996., Proceedings of the 18th International Conference on (1996), pp. 71-80.
    by B Korel, AM Al-Yami
    posted to automatic project-planning test-data-generation by cyph3r on 2008-08-13 07:46:41 as *****
  • Generation of All-Paths Unit Test with Function Calls
    icst, Vol. 0 (2008), pp. 32-41.
    by Patricia Mouy, Bruno Marre, Nicky Willams, Pascale Le Gall
    posted to da path project-planning test-data-generation by cyph3r on 2008-08-12 12:23:33 as ** along with 1 person sjgaller
  • Efficient Test Data Generation for Variables with Complex Dependencies
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 3-11.
    by A Beer, S Mohacsi
    posted to da project-planning test-data-generation by cyph3r on 2008-08-12 12:20:21 as ** along with 1 person sjgaller
  • An Automated Approach for Goal-driven, Specification-based Testing
    (2006), pp. 289-292.
    by Kristina Winbladh, Thomas A Alspaugh, Hadar Ziv, Debra J Richardson
    posted to ai da goal-oriented graphs planning project-planning by cyph3r on 2008-08-09 12:21:46 as **
  • An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing
    Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 59-68.
    by Marcelo D'amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D Ernst
    posted to da project-planning test-data-generation by cyph3r on 2008-08-09 12:13:22 as ** along with 1 person pfrancis
  • notes The chaining approach for software test data generation
    ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 1. (January 1996), pp. 63-86.
    by Bogdan Korel, Roger Ferguson
    posted to ai da planning project-planning test-data-generation by cyph3r on 2008-08-06 17:50:25 as ** along with 3 people pfrancis sjgaller gvdh
  • notes Feedback-Directed Random Test Generation
    (2007), pp. 75-84.
    by Carlos Pacheco, Shuvendu K Lahiri, Michael D Ernst, Thomas Ball
    posted to ai da feedback project-planning random test-data-generation by cyph3r on 2008-08-06 17:48:19 as ***** along with 2 people pfrancis newdawn
  • notes EXE: automatically generating inputs of death
    (2006), pp. 322-335.
    by Cristian Cadar, Vijay Ganesh, Peter M Pawlowski, David L Dill, Dawson R Engler
    posted to ai da project-planning test-data-generation by cyph3r on 2008-08-06 17:46:16 as ** along with 3 people pfrancis sjgaller KarlKlose
  • notes Generating test data from state-based specifications
    Software Testing, Verification and Reliability, Vol. 13, No. 1. (2003), pp. 25-53.
    by Jeff Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann
    posted to project-planning specifications state test-data-generation by cyph3r on 2008-08-06 17:44:20 as **
  • notes Generating software test data by evolution
    Software Engineering, IEEE Transactions on, Vol. 27, No. 12. (2001), pp. 1085-1110.
    by CC Michael, G Mcgraw, MA Schatz
    posted to evolution project-planning test-data-generation by cyph3r on 2008-08-06 17:42:49 as ** along with 1 person sjgaller
  • On path-wise automatic generation of test data for both white-box and black-box testing
    Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 237-240.
    by Jin-Hui Shan, Ji Wang, Zhi-Chang Qi
    posted to automatic da project-planning test-data-generation by cyph3r on 2008-08-06 17:40:48 as **
  • Automatic test data generation using genetic algorithm and program dependence graphs
    Information and Software Technology, Vol. 48, No. 7. (July 2006), pp. 586-605.
    by James Miller, Marek Reformat, Howard Zhang
    posted to automatic da genetic-algorithm graphs project-planning test-data-generation by cyph3r on 2008-08-06 17:39:58 as **
  • Eclat: Automatic Generation and Classification of Test Inputs
    ECOOP 2005 - Object-Oriented Programming (2005), pp. 504-527.
    by Carlos Pacheco, Michael D Ernst
    posted to automatic da project-planning test-data-generation by cyph3r on 2008-08-06 17:37:49 as ** along with 2 people pfrancis joaoarthurbm
  • Experiments with Test Case Generation and Runtime Analysis
    Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (2003), 87.
    by Cyrille Artho, Doron Drusinksy, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Grigore Rosu, Willem Visser
    posted to ai da project-planning runtime-analysis test-data-generation by cyph3r on 2008-08-06 17:37:00 as ** along with 1 person gfraser
  • Automated Test Data Generation Using an Iterative Relaxation Method
    (1998), pp. 231-244.
    by Neelam Gupta, Aditya P Mathur, Mary L Soffa
    posted to ai da project-planning relaxation test-data-generation by cyph3r on 2008-08-05 12:10:36 as **
  • Understanding and Extending Graphplan
    (1997), pp. 260-272.
    by Subbarao Kambhampati, Eric Parker, Eric Lambrecht
    posted to ai da graphplan planning project-planning by cyph3r on 2008-08-05 12:07:54 as **
  • Mining object behavior with ADABU
    (2006), pp. 17-24.
    by Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski, Andreas Zeller
    posted to object-state project-planning by cyph3r on 2008-08-04 18:11:41 as ** along with 1 person sjgaller
  • notes Automatic extraction of abstract-object-state machines from unit-test executions
    (2006), pp. 835-838.
    by Tao Xie, Evan Martin, Hai Yuan
    posted to da object-state project-planning testing unit-test by cyph3r on 2008-08-04 18:10:22 as ** along with 1 person newdawn
  • Toward a theory of test data selection
    (1975), pp. 493-510.
    by John B Goodenough, Susan L Gerhart
    posted to ai da project-planning test-data-generation testing by cyph3r on 2008-08-04 18:09:50 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
  • Automated testing in software engineering: using ant colony and self-regulated swarms
    (2006), pp. 443-448.
    by PK Mahanti, Soumya Banerjee
    posted to ant project-planning test-data-generation by cyph3r on 2008-08-02 11:19:45 as **
  • Application of AI Planning Techniques to Automated Code Synthesis and Testing
    (2002)
    by I-Ling Yen, Farokh B Bastani, Fiaz Mohamed, Hui Ma, John Linn
    posted to ai automatic da planning project-planning testing by cyph3r on 2008-08-02 11:14:05 as **
  • Planner Based Error Recovery Testing
    (2000)
    by Anneliese von Mayrhauser, Michael Scheetz, Eric Dahlman, Adele E Howe
    posted to ai da planning project-planning testing by cyph3r on 2008-08-02 11:12:39 as **
  • Rapid goal-oriented automated software testing using MEA-graph planning
    Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
    by Manish Gupta, Jicheng Fu, Farokh Bastani, Latifur Khan, Yen
    posted to ai da mea planning project-planning test-data-generation testing by cyph3r on 2008-08-02 11:05:24 as ** along with 1 person sjgaller
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/cyph3r

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