sjgaller's planning [8 articles] Export Sort

Recent papers added to sjgaller's library classified by the tag planning. You can also see everyone's planning.

Hide details

	Automatically Generating Abstractions for Planning [My Copy] Artificial Intelligence, Vol. 68, No. 2. (1994), pp. 243-302. by Craig A. Knoblock posted to planning softnet by sjgaller on 2008-07-01 09:21:09 as along with 1 person cyph3r
	Hierarchical GUI Test Case Generation Using Automated Planning [My Copy] IEEE Trans. Softw. Eng., Vol. 27, No. 2. (2001), pp. 144-155. by Atif M. Memon, Martha E. Pollack, Mary L. Soffa posted to planning project-planning softnet test-data-generation testing by sjgaller on 2008-07-01 09:19:17 as
	System Testing with an AI Planner [My Copy] (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
	Automatic Testing through Planning [My Copy] (2005) by Andreas Leitner, Roderick Bloem posted to planning project-planning softnet test-data-generation testing by sjgaller on 2008-06-03 14:13:57 as along with 1 person cyph3r
	Test Case Generation as an AI Planning Problem [My Copy] 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 along with 1 person cyph3r
	Generating test cases from an OO model with an AI planning system [My Copy] Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on In Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 250-259. by M. Scheetz, A. von Mayrhauser, R. France posted to planning softnet test-data-generation testing by sjgaller on 2008-01-10 14:20:39 as along with 1 person cyph3r
	Rapid goal-oriented automated software testing using MEA-graph planning [My Copy] Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263. by Manish Gupta, Jicheng Fu, Farokh Bastani, Latifur Khan, Yen posted to planning softnet test-data-generation testing by sjgaller on 2008-01-10 11:56:08 as along with 1 person cyph3r
	Automated test data generation using MEA-graph planning [My Copy] Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on In Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on (2004), pp. 174-182. by Manish Gupta, F. Bastani, L. Khan, I. L. Yen posted to planning softnet test-data-generation testing by sjgaller on 2008-01-10 10:26:23 as along with 2 people elvinado cyph3r

Note: You may cite this page as: http://www.citeulike.org/user/sjgaller/tag/planning

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

softnet	264
testing	112
scr	59
test-data-generation	54
java	54
test-case-generation	47
wsn	41
jml	40
tool	36
design-by-contract	30
unit-test	18
neuralnetwork	17
mock	17
specification	17
constraint-problem	16
formalization	15
symbolic-execution	13
random-testing	13
eiffel	11
robocup	11
verification	10
specification-based-testing	10
case-study	9
overview	9
genetic-algorithm	8
planning	8
vision	8
localization	8
reading-group-testing	8
unsupervised	8
project-automaticmocking	8
automatic	7
application	7
spec-sharp	6
unitesk	6
monitoring	6
finite-state-machine	6
model-checker	6
temporal-logic	6
games	6
ai	6
mobile	5
static-analysis	5
da	5
robot	5
automatic-testing	5
satisfiability-modulo-theories	5
project-planning	5
mutation-testing	5
navigation	5
aggregation	4
som	4
java-path-finder	4
specification-generation	4
pex	4
classification	4
aspectj	4
satisfiability	4
white-box-testing	4
languages	3
diagnostic	3
algorithm	3
statistics	3
synthesis	3
performance	3
conveyor	3
dynamic-analysis	3
c-cpp	3
survey	3
jet	3
monte-carlo	3
jmltt	3
code-coverage	2
daikon	2
clustering	2
search-based-testing	2
data	2
supervised	2
rbf	2
introductory-work	2
energy	2
autotest	2
protocol	2
z3	2
software-engineering	2
key	2
b	2
string-generation	2
jmock	2
aspect-oriented-programming	2
vibration	2
invariant-detection	2
symclat	2
bearings	2
berkely	1
jcamel	1
logic	1
optimizer	1
purity-analysis	1
jamlunit	1
deployment	1
plant	1
design	1
jcute	1
data-dependency	1
testera	1
algebraic-testing	1
black-box-testing	1
datamining	1
project-effectsofmethodcalls	1
larch	1
jml4	1
compiler	1
symstra	1
tracking	1
test-quality-measurment	1
backpropagation	1
utjml	1
z	1
gazebo-player-stage	1
diduce	1
harvard	1
propabilistic	1
distributed-programs	1
ad-hoc	1
testgen	1
simulation	1
program-execution	1
color-independent-vision	1
jcrasher	1
dynamic-weight-adaption	1
jml5	1
csg	1
control-flow-graph	1
wlan	1
knowledge-discovery	1
hoare	1
ocl	1
programming-languages	1
integration-tests	1
rostra	1
design-pattern	1
jaout	1
testin	1
concurrent-programs	1
project-stringgeneration	1
standardization	1
stereo-vision	1
deadlock-detection	1
c-sharp	1
behavioral-specification	1
warehouse	1
boolean-abstraction	1
heap-games	1
vdm	1
wrasp	1
dag	1
jaml	1
svm	1
state-explosion	1
pca	1
behavior-engine	1
theorem-prover	1
prediction	1

sjgaller's planning [8 articles] Export Sort

sjgaller's tags