Publications

2011

R. Bahsoon and W. Emmerich. Economics-driven Architecting for Non-functional Requirements in the Presence of Middleware. In the book on Relating Software Requirements and Architectures (Ed.) Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrik, ISBN 978-3-642-21000-6, Springer. , 2011. [ bib | .pdf ]

F. Faniyi, R. Bahsoon, A. Evans, R. Kazman. Evaluating Security Properties of Architectures in Unpredictable Environments: A Case for Cloud. In Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA). Colorado, USA. IEEE Computer Society Press , 2011. [ bib | .pdf ]

F. Faniyi, R. Bahsoon. Engineering Proprioception in SLA Management for Cloud Architectures. in Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA). Colorado, USA. IEEE Computer Society Press, workshop on Architecting Cloud Applications , 2011. [ bib | .pdf ]

V. Nallur and R. Bahsoon. Adapting Applications Based on QA Requirements in the Cloud Using Market-Based Heuristics. in Proceedings of ICSOC-ServiceWave 2010. Lecture Notes in Computer Science (LNCS), Springer. , 2011. [ bib | .pdf ]

Jörg Lässig and Dirk Sudholt. Analysis of Speedups in Parallel Evolutionary Algorithms for Combinatorial Optimization . in Proceedings of the 22nd International Symposium on Algorithms and Computation (ISAAC 2011) , 2011. [ bib | .pdf ]

Timo Kötzing, Dirk Sudholt, and Madeleine Theile. How Crossover Helps in Pseudo-Boolean Optimization. in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2011). ACM press, pages 989-996 , 2011. [ bib | .pdf ]

Frank Neumann, Pietro S. Oliveto, Günter Rudolph, and Dirk Sudholt. On the Effectiveness of Crossover for Migration in Parallel Evolutionary Algorithms. in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2011). ACM press, pages 1587-1594 , 2011. [ bib | .pdf ]

Timo Kötzing, Frank Neumann, Dirk Sudholt, and Markus Wagner. Simple Max-Min Ant Systems and the Optimization of Linear Pseudo-Boolean Functions. in Proceedings of the 11th Workshop on Foundations of Genetic Algorithms (FOGA 2011). ACM Press, pages 209-218. , 2011. [ bib | .pdf ]

Jörg Lässig and Dirk Sudholt. Adaptive Population Models for Offspring Populations and Parallel Evolutionary Algorithms. in Proceedings of the 11th Workshop on Foundations of Genetic Algorithms (FOGA 2011). ACM Press, pages 181-192. , 2011. [ bib | .pdf ]

Dirk Sudholt. Using Markov-Chain Mixing Time Estimates for the Analysis of Ant Colony Optimization . in Proceedings of the 11th Workshop on Foundations of Genetic Algorithms (FOGA 2011). ACM Press, pages 139-150. , 2011. [ bib | .pdf ]

Dirk Sudholt and Christian Thyssen. Running Time Analysis of Ant Colony Optimization for Shortest Path Problems. Journal of Discrete Algorithms , 2011. [ bib | .pdf ]

Dirk Sudholt and Christian Thyssen. A Simple Ant Colony Optimizer for Stochastic Shortest Path Problems. Algorithmica , 2011. [ bib | .pdf ]

Leandro Minku and Xin Yao. A Principled Evaluation of Ensembles of Learning Machines for Software Effort Estimation. in Proceedings of the 7th International Conference on Predictive Models in Software Engineering (PROMISE'2011) , Banff, Canada, September 2011. [ bib | .pdf ]

Guanzhou Lu and Jinlong Li and Xin Yao. Fitness-probability cloud and a measure of problem hardness for evolutionary algorithms. in Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization , 2011. [ bib | .pdf ]

Jinlong Li and Guanzhou Lu and Xin Yao. Fitness Landscape-based Parameter Tuning Method for Evolutionary Algorithms for Computing Unique Input Output Sequences. in Proceedings of the 2011 International Conference on Neural Information Processing , 2011. [ bib | .pdf ]

2010

Guanzhou Lu and Rami Bahsoon and Xin Yao. Applying Elementary Landscape Analysis to Search-Based Software Engineering. in Proceedings of the 2nd International Symposium on Search Based Software Engineering, 2010. [ bib | .pdf ]

Per Kristian Lehre and Xin Yao. Crossover can be constructive when computing unique input-output sequences. Soft Computing, 2010. [ bib | .pdf ]

Oliver Giel and Per Kristian Lehre. On the Effect of Populations in Evolutionary Multi-Objective Optimisation. Evolutionary Computation, 2010. [ bib | .pdf ]

Timo K{\"o}tzing and Per Kristian Lehre and Frank Neumann and Pietro Simone Oliveto. Ant colony optimization and the minimum cut problem. GECCO~10: Proceedings of the 12th annual conference on Genetic and evolutionary computation, 2010. [ bib | .pdf ]

Per Kristian Lehre and Carsten Witt. Black-box search by unbiased variation. GECCO~10: Proceedings of the 12th annual conference on Genetic and evolutionary computation, 2010. [ bib | .pdf ]

Stefan Kratsch and Per Kristian Lehre and Frank Neumann and Pietro Simone Oliveto. Fixed Parameter Evolutionary Algorithms and Maximum Leaf Spanning Trees: A Matter of Mutations. To appear in Proceedings of PPSN 2010 - 11th International Conference on Parallel Problem Solving From Nature, 2010. [ bib | .pdf ]

Per Kristian Lehre. Negative Drift in Populations. To appear in Proceedings of PPSN 2010 - 11th International Conference on Parallel Problem Solving From Nature, 2010. [ bib | .pdf ]

Per Kristian Lehre and Xin Yao. Runtime analysis of the (1 + 1) EA on computing unique input output sequences. Information Sciences, 2010. [ bib | .pdf ]

Vivek Nallur and Rami Bahsoon. Design of a Market-Based Mechanism for Quality Attribute Tradeoff of Services in the Cloud. In Proceedings of the 25th ACM Symposium on Applied Computing, 2010. [ bib | .pdf ]

Z. Wang, K. Tang and X. Yao. Multi-objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems. IEEE Transactions on Reliability, accepted on 17/3/2010. [ bib | .pdf ]

Z. Wang, K. Tang and X. Yao. A memetic algorithm for multi-level redundancy allocation. IEEE Transactions on Reliability, accepted on 17/3/2010. [ bib | .pdf ]

2009

F. Peng, K. Tang, G. Chen and X. Yao. Population-based Algorithm Portfolios for Numerical Optimization. IEEE Transactions on Evolutionary Computation, accepted in December 2009. [ bib | .pdf ]

K. Praditwong, M. Harman and X. Yao. Software Module Clustering as a Multi-Objective Search Problem. IEEE Transactions on Software Engineering, accepted in August 2009. [ bib | .pdf ]

Per Kristian Lehre and Xin Yao. On the impact of the mutation-selection balance on the runtime of evolutionary algorithms. In Proceedings of Foundations of Genetic Algorithms (FOGA'09), 2009. [ bib | .pdf ]

Philipp Rohlfshagen, Per Kristian Lehre, and Xin Yao. Dynamic evolutionary optimisation: An analysis of frequency and magnitude of change. In Genetic and Evolutionary Computation Conference (GECCO), pages 1713-1720, 2009. Best Paper Award of the Theory Track. [ bib | .pdf ]

Andrea Arcuri. Insight knowledge in search based software testing. In Genetic and Evolutionary Computation Conference (GECCO), pages 1649-1656, 2009. [ bib | .pdf ]

Andrea Arcuri. Full theoretical runtime analysis of alternating variable method on the triangle classification problem. In Proceedings of the International Symposium on Search Based Software Engineering (SSBSE), pages 113-121, 2009. [ bib | .pdf ]

Andrea Arcuri. On search based software evolution. In Proceedings of the International Symposium on Search Based Software Engineering (SSBSE), pages 39-42, 2009. [ bib | .pdf ]

Zai Wang, Tianshi Chen, Ke Tang, and Xin Yao. A multi-objective approach to redundancy allocation problem in parallel-series systems. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 582-589, 2009. [ bib | .pdf ]

Ricardo Landa-Becerra, Ramón Sagarna, and Xin Yao. An evaluation of differential evolution in software test data generation. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 2850-2857, 2009. [ bib | .pdf ]

Per Kristian Lehre and Xin Yao. Runtime analysis of search heuristics on software engineering problems. Frontiers of Computer Science in China, 3(1):64-72, 2009. [ bib | .pdf ]

Pietro S. Oliveto, Per Kristian Lehre, and Frank Neumann. Theoretical analysis of rank-based mutation - combining exploration and exploitation. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 1455-1462, 2009. [ bib | .pdf ]

Tianshi Chen, Per Kristian Lehre, Ke Tang, and Xin Yao. When is an estimation of distribution algorithm better than an evolutionary algorithm? In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 1470-1477, 2009. [ bib | .pdf ]

Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, and Xin Yao. Comparing design of experiments and evolutionary approaches to multi-objective optimisation of sensornet protocols. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 1137-1144, 2009. [ bib | .pdf ]

Vivek Nallur, Rami Bahsoon, and Xin Yao. Self-optimizing architecture for ensuring quality attributes in the cloud. Accepted by the 7th Working IEEE/IFIP Conference on Software Architecture (WICSA 2009), Cambridge, UK, September 14-17, 2009. [ bib | .pdf ]

Andrea Arcuri. Theoretical analysis of local search in software testing. Accepted by the 5th Symposium on Stochastic Algorithms, Foundations and Applications (SAGA 2009), Sapporo, Japan, October 26-28, 2009. [ bib | .pdf ]

2008

Andrea Arcuri and Xin Yao. Search based software testing of object-oriented containers. Information Sciences, 178(15):3075-3095, 2008. [ bib | .pdf ]

Andrea Arcuri. On the automation of fixing software bugs. In Proceedings of the Doctoral Symposium of the IEEE International Conference on Software Engineering (ICSE), pages 1003-1006, 2008. [ bib | .pdf ]

Ramon Sagarna and Jose A. Lozano. Dynamic Search Space Transformations for Software Test Data Generation Computational Intelligence, 24(1):23-61, 2008. [ bib | .pdf ]

Zai Wang, Ke Tang, and Xin Yao. Using multi-objective algorithms to allocate testing resource to modular software systems. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 1148-1153, 2008. [ bib | .pdf ]

Andrea Arcuri and Xin Yao. A novel co-evolutionary approach to automatic software bug fixing. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 162-168, 2008. [ bib | .pdf ]

Ramón Sagarna and Xin Yao. Handling constraints for search based software test data generation. In Proceedings of IEEE International Workshop on Search Based Software Testing (SBST), pages 232-240, 2008. [ bib | .pdf ]

Andrea Arcuri, Per Kristian Lehre, and Xin Yao. Theoretical runtime analyses of search algorithms on the test data generation for the triangle classification problem. In Proceedings of IEEE International Workshop on Search Based Software Testing (SBST), pages 161-169, 2008. Best PhD Student Paper Award [ bib | .pdf ]

Per Kristian Lehre and Xin Yao. Crossover can be constructive when computing unique input output sequences. In Proceedings of the 7th International Conference on Simulated Evolution and Learning (SEAL'08), pages 595-604, 2008. [ bib | .pdf ]

Andrea Arcuri, David R. White, John Clark, and Xin Yao. Multi-objective improvement of software using co-evolution and smart seeding. In Proceedings of the 7th International Conference on Simulated Evolution And Learning (SEAL), pages 61-70, 2008. [ bib | .pdf ]

2007

Andrea Arcuri and Xin Yao. Search based testing of containers for object-oriented software. Technical Report CSR-07-3, University of Birmingham, School of Computer Science, 2007. [ bib | .pdf ]

Andrea Arcuri and Xin Yao. A memetic algorithm for test data generation of object-oriented software. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 2048-2055, 2007. [ bib | .pdf ]

Andrea Arcuri and Xin Yao. On test data generation of object-oriented software. In Proceedings of Testing: Academic and Industrial Conference, Practice and Research Techniques (TAIC PART), pages 72-76, 2007. [ bib | .pdf ]

Per Kristian Lehre and Xin Yao. Runtime analysis of (1+1) EA on computing Unique Input Output Sequences. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 1882-1889, 2007. [ bib | .pdf ]

Ramón Sagarna, Andrea Arcuri, and Xin Yao. Estimation of distribution algorithms for testing object oriented software. In Proceedings of IEEE Congress on Evolutionary Computation (CEC), pages 438-444, 2007. [ bib | .pdf ]

Ramón Sagarna. An Optimization Approach for Software Test Data Generation: Applications of Estimation of Distribution Algorithms and Scatter Search. PhD thesis, University of the Basque Country, 2007. [ bib | .pdf ]

Andrea Arcuri and Xin Yao. Co-evolving programs and unit tests from their specification. In Proceedings of IEEE International Conference on Automated Software Engineering (ASE), pages 397-400, 2007. [ bib | .pdf ]