Andrea Arcuri a.arcuri at cs.bham.ac.uk The University of Birmingham Birmingham B15 2TT Office 218

NEWS:

Current Occupation

Since July 2006 I am a PhD student at the University of Birmingham in the School of Computer Science. My supervisor is prof. Xin Yao.

I also work as a Teaching Assistant for the School of Computer Science.

My research interests are in Evolutionary Computation, Machine Learning, Software Testing and Genetic Programming.

Thesis working title: "Automatic Software Generation and Improvement through Search Based Techniques".

I am a member of CERCIA and of SEBASE.

Teaching

• Information & the Web
• Introduction to AI. Slides on Machine Learning.
  

• Information & the Web
• Introduction to AI
• Software Workshop 1

• Logic for CS
• Language & Information

Education

• 2006, 2 year MSc in Computer Science. University of Pisa. Score: 110/110 summa cum laude.
  Thesis: Semantic Role Labelling: a multi-classifier system based on MaxEntropy. (in Italian) [pdf]
• 2004, 3 year BSc in Computer Science. University of Pisa. Score: 110/110 summa cum laude.
  Thesis: Development of a Java clustering tool for a medical database. (in Italian) [pdf]

Publications

Journals

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

Conferences and Workshops

• Andrea Arcuri.
  Insight Knowledge in Search Based Software Testing.
  To appear in Genetic and Evolutionary Computation Conference (GECCO), Canada, 2009. [pdf]


• 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. [pdf]


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

• 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. [pdf]


• 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. [pdf]


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

• 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. [pdf]


• 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. [pdf]


• 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. [pdf]


• 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. [pdf]

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. [pdf]


• Andrea Arcuri.
  Longer is Better: On the Role of Test Sequence Length in Software Testing.
  Technical report, CSR-09-03. University of Birmingham, 2009. [pdf]


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


• Andrea Arcuri and Xin Yao.
  Search Based Testing of Containers for Object-Oriented Software.
  Technical report, CSR-07-3. University of Birmingham, 2007.

Under review

• Co-evolutionary Automatic Programming for Software Development. Temporarily considered with Major Revision in Information Sciences.
• Theoretical Runtime Analysis in Search Based Software Engineering.
• Evolutionary Repair of Faulty Software.
• Longer is Better: On the Role of Test Sequence Length in Software Testing.
• Theoretical Analysis of Local Search in Software Testing.

PhD Reports

• First report
• Second report
• Third report
• Fourth report
• Fifth report
• Sixth report

Program/Technical Committee Member

• International Conference on Soft Computing and Pattern Recognition, 2009.
• 1st International Symposium on Search Based Software Engineering (SSBSE), 2009.
• Co-organiser of the special session on "Computational Intelligence for Software Engineering" at the IEEE World Congress on Computational Intelligence (WCCI) 2008.
• IEEE Congress on Evolutionary Computation (CEC) 2007.

Journal Reviewing

• Computational Intelligence
• Software Quality Journal
• Journal of Artificial Evolution and Applications
• IEEE Transactions on Software Engineering: Special Issue on Search-Based Optimization for Software Engineering.
• Information Sciences: Special Issue on Applications of Computational Intelligence and Machine Learning to Software Engineering.
• Journal of Systems and Software: Special Issue for TAIC PART.
• Journal of Systems and Software: Special Issue on Architecture and Mobility.

Sponsored Visits

• Summer 2008, Georgia Tech (USA), sponsored by IEEE Computational Intelligence Society Walter Karplus Summer Research Grant.
• Academic Year 2005/2006, University of Manchester (UK), sponsored by the Erasmus Project.

Useful links

• PhD Comics
• Slashdot
• Church of the Flying Spaghetti Monster
• SBSE repository
• GP repository