Publications

2010

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.

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

2009

F. Peng, K. Tang, G. Chen and X. Yao. opulation-based Algorithm Portfolios for Numerical Optimization. IEEE Transactions on Evolutionary Computation, accepted in December 2009.

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.

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 ]