registrieren | anmelden | FAQ      [?] 

Tag project-planning [78 articles]

Recent papers classified by the tag project-planning.
  • System Testing with an AI Planner
    (1995)
    by Richard T Mraz, Adele Howe, Anneliese von Mayrhauser, Li Li
    posted to planning project-planning softnet test-data-generation testing by sjgaller on 2008-07-01 09:13:02 as ***** along with 1 person cyph3r
  • Test Case Generation as an AI Planning Problem
    Automated Software Engineering, Vol. 4, No. 1. (1 January 1997), pp. 77-106.
    by Adele E Howe, Anneliese Mayrhauser, Richard T Mraz
    posted to planning project-planning softnet test-data-generation testing by sjgaller on 2008-01-10 14:26:32 as read along with 1 person cyph3r
  • Recent Advances in AI Planning
    AI Magazine, Vol. 20, No. 2. (1999), pp. 93-123.
    by Daniel S Weld
    posted to ai da planning project-planning by cyph3r to the group kickOffTUG-Robocup on 2008-06-27 09:49:45 as **** along with 1 person stavros
  • A comparative analysis of partial order planning and task reduction planning
    SIGART Bull., Vol. 6, No. 1. (January 1995), pp. 16-25.
    by Subbarao Kambhampati
    posted to ai da planning project-planning by cyph3r on 2008-06-27 10:00:27 as **
  • Systematic Nonlinear Planning
    Vol. 2 (1991), pp. 634-639.
    by David Mcallester, David Rosenblitt
    posted to ai da nonlinear planning project-planning by cyph3r on 2008-06-27 15:26:03 as ****
  • 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
  • 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
  • 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 **
  • Planning as Satisfiability
    (1992), pp. 359-363.
    by Henry A Kautz, Bart Selman
    posted to da planning project-planning sat by cyph3r on 2008-07-18 12:21:51 as **** along with 2 people stavros baisemain
  • notes Fast Planning Through Planning Graph Analysis
    (1995), pp. 1636-1642.
    by Avrim Blum, Merrick Furst
    posted to da graph-analysis graphplan planning project-planning by cyph3r on 2008-06-26 09:54:18 as ** along with 5 people and 2 groups mortimer stavros chadhogg kozlak arpradha UoY-CS-AIG AI
  • Automatically Generating Abstractions for Planning
    Artificial Intelligence, Vol. 68, No. 2. (1994), pp. 243-302.
    by Craig A Knoblock
    posted to abstraction ai da planning project-planning by cyph3r on 2008-06-26 09:49:33 as **** along with 1 person sjgaller
  • Encoding Plans in Propositional Logic
    (1996), pp. 374-384.
    by Henry A Kautz, David Mcallester, Bart Selman
    posted to ai da logic planning project-planning sat by cyph3r on 2008-07-23 20:10:56 as ** along with 1 person stavros
  • 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 **
  • 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
  • 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 **
  • FLECS: Planning with a Flexible Commitment Strategy
    Journal of Artificial Intelligence Research, Vol. 3 (1995), pp. 25-52.
    by Manuela M Veloso, Peter Stone
    posted to ai commitment da planning project-planning by cyph3r on 2008-06-27 15:37:16 as **
  • 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 **
  • 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 **
  • Planning for conjunctive goals
    Artificial Intelligence, Vol. 32, No. 3. (July 1987), pp. 333-377.
    by David Chapman
    posted to ai conjunctive da goals planning project-planning by cyph3r on 2008-06-27 10:06:20 as **
  • 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 *
  • Planning: What it is, what it could be, an introduction to the special issue on planning and scheduling
    Artificial Intelligence, Vol. 76, No. 1-2. (July 1995), pp. 1-16.
    by Drew Mcdermott, James Hendler
    posted to ai da planning project-planning by cyph3r on 2008-06-27 10:03:58 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 *****
  • 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
  • An Introduction to Least Commitment Planning
    AI Magazine, Vol. 15, No. 4. (1994), pp. 27-61.
    by Daniel S Weld
    posted to ai da planning project-planning by cyph3r on 2008-06-27 10:14:09 as ** along with 2 people chadhogg damile
  • Strips: A new approach to the application of theorem proving to problem solving
    Artificial Intelligence, Vol. 2, No. 3-4. ( 1971), pp. 189-208.
    by Richard E Fikes, Nils J Nilsson
    posted to da planning project-planning strips by cyph3r on 2008-06-27 10:07:52 as **
  • 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 **
  • 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 2 people and 2 groups pedagand 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 *****
  • UCPOP: A Sound, Complete, Partial Order Planner for ADL
    (1992), pp. 103-114.
    by Scott J Penberthy, Daniel S Weld
    edited by Bernhard Nebel, Charles Rich, William Swartout
    posted to ucpop project-planning planning da ai by cyph3r on 2008-09-12 14:11:02 as ** along with 1 person arpradha
  • 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 2 people and 2 groups newdawn sjgaller Context-driven-testers Desgin-by-Contract
  • 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
  • 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
  • Exploiting Competitive Planner Performance
    Recent Advances in AI Planning (2000), pp. 62-72.
    by Adele Howe, Eric Dahlman, Christopher Hansen, Michael Scheetz, Anneliese von Mayrhauser
    posted to ai da planning project-planning by cyph3r on 2008-06-26 09:27:33 as ** along with 1 person and 1 group nojhan Optimization
  • 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
  • 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 4 people and 3 groups newdawn jolilius sjgaller joaoarthurbm Context-driven-testers TUCS-ES_Lab Desgin-by-Contract
  • 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 *
  • Planning as search: a quantitative approach
    Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 65-68.
    by Richard E Korf
    posted to ai da planning project-planning search by cyph3r on 2008-06-27 10:10:56 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 **
  • 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 testing test-data-generation project-planning planning mea da ai by cyph3r on 2008-08-02 11:05:24 as ***** along with 1 person sjgaller
  • notes AI planning: systems and techniques
    (1990)
    by James Hendler, Austin Tate, Mark Drummond
    posted to da overview planning project-planning by cyph3r on 2008-07-13 15:23:38 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
  • notes Automated test data generation using MEA-graph planning
    Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on (2004), pp. 174-182.
    by Manish Gupta, F Bastani, L Khan, IL Yen
    posted to da graphplan mea planning project-planning test-data-generation by cyph3r on 2008-07-21 16:23:53 as read along with 2 people sjgaller elvinado
  • 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 **
  • 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 ****
  • 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 **
  • 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 **
  • 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 **
  • notes Korat: automated testing based on Java predicates
    Vol. 27, No. 4. (July 2002), pp. 123-133.
    by Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
    posted to da project-planning testing test-data-generation by cyph3r on 2008-07-24 09:55:43 as ** along with 2 people and 1 group newdawn jolilius TUCS-ES_Lab
  • A Survey on Case-Based Planning
    Artificial Intelligence Review, Vol. 16, No. 1. (2001), pp. 3-36.
    by Luca Spalzzi
    posted to da planning project-planning by cyph3r on 2008-07-08 15:37:47 as ** along with 2 people pthimon Benjii
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/project-planning

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