sjgaller's random-testing [13 articles] Export Sort

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

Hide details

	Random Test Run Length and Effectiveness [My Copy] Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (2008), pp. 19-28. by J. H. Andrews, A. Groce, M. Weston, Ru-Gang Xu posted to random-testing softnet testing by sjgaller on 2009-02-26 07:51:05 as
	An Empirical Study of the Robustness of Windows NT Applications Using Random Testing [My Copy] pp. 59-68. by Justin E. Forrester, Barton P. Miller posted to random-testing softnet testing by sjgaller on 2009-02-25 17:22:52 as along with 2 people cyph3r pfrancis
	Nighthawk: a two-level genetic-random unit test data generator [My Copy] In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007), pp. 144-153. by James H. Andrews, Felix C. H. Li, Tim Menzies posted to random-testing softnet testing by sjgaller on 2008-09-05 13:08:09 as
	On the Predictability of Random Tests for Object-Oriented Software [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 72-81. by I. Ciupa, A. Pretschner, A. Leitner, M. Oriol, B. Meyer posted to design-by-contract eiffel random-testing softnet testing by sjgaller on 2008-08-13 09:28:03 as
	ARTOO: Adaptive Random Testing for Object-Oriented Software [My Copy] In International Conference on Software Engineering 2008 (May 2008) by I. Ciupa, A. Leitner, M. Oriol, B. Meyer posted to eiffel random-testing softnet test-data-generation testing by sjgaller on 2008-06-03 14:09:59 as
	3-weight pseudo-random test generation based on a deterministic test set for combinational and sequential circuits [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 12, No. 7. (1993), pp. 1050-1058. by I. Pomeranz, S. M. Reddy posted to dynamic-weight-adaption random-testing softnet test-data-generation testing by sjgaller on 2008-05-08 06:08:58 as
	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation [My Copy] Tests and Proofs (2007), pp. 114-130. by Lisa Liu, Bertrand Meyer, Bernd Schoeller posted to project-effectsofmethodcalls automatic-testing eiffel random-testing softnet testing by sjgaller on 2008-03-12 16:30:26 as
	WSDL-based automatic test case generation for Web services testing [My Copy] Service-Oriented System Engineering, 2005. SOSE 2005. IEEE International Workshop (2005), pp. 207-212. by Xiaoying Bai, Wenli Dong, Wei-Tek Tsai, Yinong Chen posted to random-testing softnet test-case-generation test-data-generation by sjgaller on 2008-02-04 07:58:00 as along with 1 person chengy
	Adaptive Random Testing [My Copy] Advances in Computer Science - ASIAN 2004 (2004), pp. 320-329. by T. Y. Chen, H. Leung, I. K. Mak posted to random-testing softnet testing by sjgaller on 2008-01-14 08:46:24 as
	Experimental assessment of random testing for object-oriented software [My Copy] In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 84-94. by Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer posted to eiffel random-testing softnet testing by sjgaller on 2008-01-10 16:14:29 as along with 1 person pfrancis
	Search-based software test data generation: a survey [My Copy] Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156. by Phil Mcminn posted to overview random-testing softnet survey test-data-generation testing by sjgaller on 2008-01-08 09:38:18 as along with 2 people nigno cyph3r
	Feedback-directed random test generation [My Copy] In ICSE'07, Proceedings of the 29th International Conference on Software Engineering (2007) by Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball posted to test-data-generation mutation-testing random-testing softnet testing by sjgaller on 2007-07-10 11:52:13 as along with 2 groups Context-driven-testers Desgin-by-Contract
	DART: directed automated random testing [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 213-223. by Patrice Godefroid, Nils Klarlund, Koushik Sen posted to c-cpp random-testing softnet statistics symbolic-execution testing constraint-problem by sjgaller on 2007-06-28 12:17:18 as along with 11 people and 3 groups bulwahn mbaluda qdw1987 jolilius bec newdawn pfrancis ahgharaibeh joaoarthurbm bfraser cyph3r Context-driven-testers TUCS-ES_Lab Desgin-by-Contract

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

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 random-testing [13 articles] Export Sort

sjgaller's tags