Andrea Arcuri's Publications

Publications

Under Review and Technical Reports

Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri and Lionel Briand.
Solving OCL Constraints for Test Data Generation in Industrial Systems with Search Techniques.

Gordon Fraser and Andrea Arcuri.
Handling Test Length Bloat.

Andrea Arcuri and Lionel Briand.
A Hitchhiker's Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering.
Technical Report, n. 2011-13. Simula Research Laboratory, 2011.

Zohaib Iqbal, Andrea Arcuri and Lionel Briand.
Automated System Testing of Real-Time Embedded Systems Based on Environment Models.

Zohaib Iqbal, Andrea Arcuri and Lionel Briand.
Simulator Generation from UML/MARTE and OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software.

Journals

Gordon Fraser and Andrea Arcuri.
Whole Test Suite Generation.
IEEE Transactions on Software Engineering, to appear.

Andrea Arcuri, Zohaib Iqbal and Lionel Briand.
Random Testing: Theoretical Results and Practical Implications.
IEEE Transactions on Software Engineering, preprint, doi:10.1109/TSE.2011.121.

Hadi Hemmati, Andrea Arcuri and Lionel Briand.
Achieving Scalable Model-Based Testing Through Test Case Diversity.
ACM Transactions on Software Engineering and Methodology (TOSEM), to appear.

Andrea Arcuri and Lionel Briand.
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing.
IEEE Transactions on Software Engineering, preprint, doi:10.1109/TSE.2011.85.

Andrea Arcuri.
It Really Does Matter How You Normalise the Branch Distance in Search Based Software Testing.
Software Testing, Verification and Reliability, preprint, doi:10.1002/stvr.457.

Andrea Arcuri.
A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage.
IEEE Transactions on Software Engineering, preprint, doi:10.1109/TSE.2011.44.

Andrea Arcuri.
Evolutionary Repair of Faulty Software.
Applied Soft Computing, vol. 11, issue 4, pp. 3494-3514, 2011.

David White, Andrea Arcuri and John Clark.
Evolutionary Improvement of Programs.
IEEE Transactions on Evolutionary Computation, vol. 15, issue 4, pp. 515-538, 2011.

Andrea Arcuri and Xin Yao.
Co-evolutionary Automatic Programming for Software Development.
Information Sciences, preprint, doi:10.1016/j.ins.2009.12.019.

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

2012:

Gordon Fraser and Andrea Arcuri.
Sound Empirical Evidence in Software Testing.
In the ACM/IEEE International Conference on Software Engineering (ICSE), 2012.

Gordon Fraser and Andrea Arcuri.
The Seed is Strong: Seeding Strategies in Search-Based Software Testing.
In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012.

2011:

Shaukat Ali, Lionel Briand, Andrea Arcuri and Suneth Walawege.
An Industrial Application of Robustness Testing using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms
In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2011.

Gordon Fraser and Andrea Arcuri.
EvoSuite: Automatic Test Suite Generation for Object-Oriented Software.
In ACM Symposium on the Foundations of Software Engineering (FSE), tool paper, 2011.

Andrea Arcuri and Gordon Fraser.
On Parameter Tuning in Search Based Software Engineering
In International Symposium on Search Based Software Engineering (SSBSE), 2011.

Andrea Arcuri and Lionel Briand.
Adaptive Random Testing: An Illusion of Effectiveness?
In ACM International Conference on Software Testing and Analysis (ISSTA), 2011.

Gordon Fraser and Andrea Arcuri.
Evolutionary Generation of Whole Test Suites.
In International Conference On Quality Software (QSIC), 2011.

Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri and Lionel Briand.
A Search-based OCL Constraint Solver for Model-based Test Data Generation.
In International Conference On Quality Software (QSIC), 2011.

Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser and Darko Marinov
Testing Container Classes: Random or Systematic?
In Fundamental Approaches to Software Engineering (FASE), Germany, 2011.

Gordon Fraser and Andrea Arcuri.
It is Not the Length that Matters, It is How You Control It.
In IEEE International Conference on Software Testing, Verification and Validation (ICST), Germany, 2011.

Hadi Hemmati, Andrea Arcuri and Lionel Briand.
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection.
In IEEE International Conference on Software Testing, Verification and Validation (ICST), Germany, 2011.

Andrea Arcuri and Lionel Briand.
A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering.
In the ACM/IEEE International Conference on Software Engineering (ICSE), USA, 2011.

2010:

Andrea Arcuri, Zohaib Iqbal and Lionel Briand.
Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing.
In IFIP International Conference on Testing Software and Systems (ICTSS), pp. 95-110, Brazil, 2010.

Hadi Hemmati, Andrea Arcuri and Lionel Briand.
Reducing the Cost of Model-Based Testing through Test Case Diversity.
In IFIP International Conference on Testing Software and Systems (ICTSS), pp. 63-78, Brazil, 2010.

Zohaib Iqbal, Andrea Arcuri and Lionel Briand.
Environment Modeling to Support Model-Based Testing for Real-Time Embedded Systems: Industrial Case Studies.
In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), Norway, pp. 286-300, 2010.

Hadi Hemmati, Lionel Briand, Andrea Arcuri and Shaukat Ali.
An Enhanced Test Case Selection Approach for Model-Based Testing: An Industrial Case Study.
In ACM International Symposium on Foundations of Software Engineering (FSE), USA, 2010.

Andrea Arcuri, Zohaib Iqbal and Lionel Briand.
Formal Analysis of the Effectiveness and Predictability of Random Testing.
In ACM International Conference on Software Testing and Analysis (ISSTA), pp. 219-229, Italy, 2010.
(ACM Distinguished Paper Award)

Andrea Arcuri.
Longer is Better: On the Role of Test Sequence Length in Software Testing.
In IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 469-478, France, 2010.

Andrea Arcuri.
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing.
In IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 205-214, France, 2010.

2009:

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.

2008:

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)

2007:

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.

Thesis

Andrea Arcuri. Automatic software generation and improvement through search based techniques. Ph.D. thesis, University of Birmingham, 2009.