-
1
-
-
33646244287
-
Automated unique input output sequence generation for conformance testing of FSMs
-
Karnig Agop Derderian, Robert Mark Hierons, Mark Harman, and Qiang Guo. Automated unique input output sequence generation for conformance testing of FSMs. The Computer Journal, 49(3):331-344, 2006.
-
(2006)
The Computer Journal
, vol.49
, Issue.3
, pp. 331-344
-
-
Derderian, K.A.1
Hierons, R.M.2
Harman, M.3
Guo, Q.4
-
3
-
-
78149268364
-
Optimizing monotone functions can be difficult
-
Berlin, Heidelberg, Springer-Verlag
-
Benjamin Doerr, Thomas Jansen, Dirk Sudholt, Carola Winzen, and Christine Zarges. Optimizing monotone functions can be difficult. In Proceedings of the 11th international conference on Parallel problem solving from nature: Part I, PPSN'10, pages 42-51, Berlin, Heidelberg, 2010. Springer-Verlag.
-
(2010)
Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, PPSN'10
, pp. 42-51
-
-
Doerr, B.1
Jansen, T.2
Sudholt, D.3
Winzen, C.4
Zarges, C.5
-
5
-
-
33745050688
-
Upper and lower bounds for randomized search heuristics in black-box optimization
-
DOI 10.1007/s00224-004-1177-z
-
Stefan Droste, Thomas Jansen, and Ingo Wegener. Upper and lower bounds for randomized search heuristics in black-box optimization. Theory of Computing Systems, 39(4):525-544, 2006. (Pubitemid 43876884)
-
(2006)
Theory of Computing Systems
, vol.39
, Issue.4
, pp. 525-544
-
-
Droste, S.1
Jansen, T.2
Wegener, I.3
-
6
-
-
77951275677
-
Search based software engineering: A comprehensive analysis and review of trends techniques and applications
-
King's College London
-
Mark Harman, S. Afshin Mansouri, and Yuanyuan Zhang. Search based software engineering: A comprehensive analysis and review of trends techniques and applications. Technical Report TR-09-03, Department of Computer Science, King's College London, 2009.
-
(2009)
Technical Report TR-09-03, Department of Computer Science
-
-
Harman, M.1
Mansouri, S.A.2
Zhang, Y.3
-
7
-
-
0030653485
-
Adaptation in evolutionary computation: A survey
-
April
-
R. Hinterding, Z. Michalewicz, and A.E. Eiben. Adaptation in evolutionary computation: a survey. In Evolutionary Computation, 1997., IEEE International Conference on, pages 65 -69, April 1997.
-
(1997)
Evolutionary Computation, 1997., IEEE International Conference on
, pp. 65-69
-
-
Hinterding, R.1
Michalewicz, Z.2
Eiben, A.E.3
-
9
-
-
0028387427
-
Testing finite-state machines: State identification and verification
-
David Lee and Mihalis Yannakakis. Testing finite-state machines: state identification and verification. IEEE Transactions on Computers, 43(3):306-320, 1994.
-
(1994)
IEEE Transactions on Computers
, vol.43
, Issue.3
, pp. 306-320
-
-
Lee, D.1
Yannakakis, M.2
-
10
-
-
0030212784
-
Principles and methods of testing finite state machines - A survey
-
PII S0018921996055247
-
David Lee and Mihalis Yannakakis. Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE, 84(8):1090-1123, 1996. (Pubitemid 126752579)
-
(1996)
Proceedings of the IEEE
, vol.84
, Issue.8
, pp. 1090-1123
-
-
Lee, D.1
Yannakakis, M.2
-
11
-
-
78149235772
-
Negative drift in populations
-
volume 6238 of LNCS, Springer Berlin/Heidelberg
-
Per Kristian Lehre. Negative drift in populations. In Proceedings of Parallel Problem Solving from Nature - (PPSN XI), volume 6238 of LNCS, pages 244-253. Springer Berlin/Heidelberg, 2011.
-
(2011)
Proceedings of Parallel Problem Solving from Nature - (PPSN XI)
, pp. 244-253
-
-
Lehre, P.K.1
-
12
-
-
70349128450
-
On the impact of the mutation-selection balance on the runtime of evolutionary algorithms
-
New York, NY, USA, ACM
-
Per Kristian Lehre and Xin Yao. On the impact of the mutation-selection balance on the runtime of evolutionary algorithms. In FOGA'09: Proceedings of the tenth ACM SIGEVO workshop on Foundations of genetic algorithms, pages 47-58, New York, NY, USA, 2009. ACM.
-
(2009)
FOGA'09: Proceedings of the Tenth ACM SIGEVO Workshop on Foundations of Genetic Algorithms
, pp. 47-58
-
-
Lehre, P.K.1
Yao, X.2
-
13
-
-
79952065476
-
Runtime analysis of the (1+1) EA on computing unique input output sequences
-
In Press
-
Per Kristian Lehre and Xin Yao. Runtime analysis of the (1+1) EA on computing unique input output sequences. Information Sciences, In Press., 2010.
-
(2010)
Information Sciences
-
-
Lehre, P.K.1
Yao, X.2
|