Publications

Journals

• Andrea Arcuri and Xin Yao.
  Co-evolutionary Automatic Programming for Software Development.
  Information Sciences, to appear.


• Andrea Arcuri and Xin Yao.
  Search Based Software Testing of Object-Oriented Containers.
  Information Sciences, vol.178, issue 15, pp. 3075-3095, 2008.

Conferences and Workshops

• Andrea Arcuri.
  Longer is Better: On the Role of Test Sequence Length in Software Testing .
  To appear in International Conference on Software Testing, Verification and Validation (ICST), France, 2010.


• Andrea Arcuri.
  It Does Matter How You Normalise the Branch Distance in Search Based Software Testing .
  To appear in International Conference on Software Testing, Verification and Validation (ICST), France, 2010.

• Andrea Arcuri.
  Theoretical analysis of local search in software testing.
  In Symposium on Stochastic Algorithms, Foundations and Applications (SAGA), pp. 156-168, Japan, 2009.


• Andrea Arcuri.
  Insight Knowledge in Search Based Software Testing.
  In Genetic and Evolutionary Computation Conference (GECCO), pp. 1649-1656, Canada, 2009.


• Andrea Arcuri.
  Full Theoretical Runtime Analysis of Alternating Variable Method on the Triangle Classification Problem.
  In the International Symposium on Search Based Software Engineering (SSBSE), UK, pp. 113-121, 2009.


• Andrea Arcuri.
  On Search Based Software Evolution.
  In the International Symposium on Search Based Software Engineering (SSBSE), PhD paper, UK, pp. 39-42, 2009.

• Andrea Arcuri, David Robert White, John Clark and Xin Yao.
  Multi-Objective Improvement of Software using Co-evolution and Smart Seeding.
  In the International Conference on Simulated Evolution And Learning (SEAL), Australia, pp. 61-70, 2008.


• Andrea Arcuri and Xin Yao.
  A Novel Co-evolutionary Approach to Automatic Software Bug Fixing.
  In the IEEE Congress on Evolutionary Computation (CEC), Hong Kong, pp. 162-168, 2008.


• Andrea Arcuri.
  On the Automation of Fixing Software Bugs.
  In the Doctoral Symposium of the IEEE International Conference on Software Engineering (ICSE), Germany, pp. 1003-1006, 2008.


• 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 the IEEE International Workshop on Search-Based Software Testing (SBST), Norway, pp. 161-169, 2008.
  (Best PhD Paper Award)

• Andrea Arcuri and Xin Yao.
  Coevolving Programs and Unit Tests from their Specification.
  In the Conference on Automated Software Engineering (ASE), short paper, USA, pp. 397-400, 2007.


• Andrea Arcuri and Xin Yao.
  A Memetic Algorithm for Test Data Generation of Object-Oriented Software.
  In the IEEE Congress on Evolutionary Computation (CEC), Singapore, pp. 2048-2055, 2007.


• Ram'on Sagarna, Andrea Arcuri and Xin Yao.
  Estimation of Distribution Algorithms for Testing Object Oriented Software.
  In the IEEE Congress on Evolutionary Computation (CEC), Singapore, pp. 438-444, 2007.


• Andrea Arcuri and Xin Yao.
  On Test Data Generation of Object-Oriented Software.
  In Testing: Academic and Industrial Conference, Practice and Research Techniques (TAIC PART), PhD paper, UK, pp. 72-76, 2007.

Some Technical Reports

• Andrea Arcuri, Per Kristian Lehre and Xin Yao.
  Theoretical Runtime Analysis in Search Based Software Engineering.
  Technical report, CSR-09-04. University of Birmingham, 2009.


• Andrea Arcuri.
  Evolutionary Repair of Faulty Software.
  Technical report, CSR-09-02. University of Birmingham, 2009.

Thesis