Publications

A. Arcuri and G. Fraser. Parameter Tuning or Default Values? An Empirical Investigation in Search-Based Software Engineering, Submitted to journal, 2012.

G. Fraser and A. Arcuri. Whole Test Suite Generation, Accepted for publication in IEEE Transactions on Software Engineering, 2012.

H. Hemmati, A. Arcuri, and L. Briand. Achieving Scalable Model-Based Testing Through Test Case Diversity , Accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM) 22(1), 2012.

G. Fraser and A. Arcuri. Sound Empirical Evidence in Software Testing, In: ACM/IEEE International Conference on Software Engineering (ICSE), 2012.

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

G. Fraser, K. Rusev, and A. Arcuri. Test Suite Generation with Memetic Algorithms and Dynamic Symbolic Execution, In: conference, 2012.

M. Z. Iqbal, A. Arcuri, and L. Briand. Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software , Simula Research Laboratory, Technical Report (2012-01), 2012.

M. Z. Iqbal, A. Arcuri, and L. Briand. Combining Search-based and Adaptive Random Testing for Black-box System Testing of Real-time Embedded Systems, Simula Research Laboratory, Technical Report (2012-12), 2012.

A. Arcuri. It Really Does Matter How You Normalise the Branch Distance in Search Based Software Testing, Accepted for publication in Software Testing, Verification and Reliability, 2011.

A. Arcuri. Evolutionary Repair of Faulty Software, Applied Soft Computing 11(4):3494–3514, 2011.

A. Arcuri and L. Briand. Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing , Accepted for publication in IEEE Transactions on Software Engineering, 2011.

A. Arcuri, M. Z. Iqbal, and L. Briand. Random Testing: Theoretical Results and Practical Implications., Accepted for publication in IEEE Transactions on Software Engineering, 2011.

G. Fraser and A. Arcuri. Handling Test Length Bloat, Submitted to journal, 2011.

D. White, A. Arcuri, and J. Clark. Evolutionary Improvement of Programs, IEEE Transactions on Evolutionary Computation 15(4):515 - 538 , 2011.

S. Ali, L. Briand, A. Arcuri, and S. Walawege. An Industrial Application of Robustness Testing using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms, In: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011), ed. by Jon Whittle, Tony Clark, Thomas Kühne, pp. 108-122, ACM/IEEE, Springer-Verlag Berlin, Heidelberg, 2011.

S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand. A Search-based OCL Constraint Solver for Model-based Test Data Generation, In: Proceedings of the 11th International Conference On Quality Software (QSIC 2011), ed. by , pp. 41-50, IEEE Computer Society, 2011.

A. Arcuri and L. Briand. A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering, In: ACM/IEEE International Conference on Software Engineering (ICSE), ed. by Harald Gall and Nenad Medvidović , pp. 1 - 10 , IEEE, 2011.

A. Arcuri and L. Briand. Adaptive Random Testing: An Illusion of Effectiveness?, In: ACM International Conference on Software Testing and Analysis (ISSTA), ed. by Matthew Dwyer and Frank Tip, pp. 265-275, ACM, 2011.

A. Arcuri and G. Fraser. On Parameter Tuning in Search Based Software Engineering , In: nternational Symposium on Search Based Software Engineering (SSBSE), ed. by Myra B. Cohen and Mel Ó Cinnéide, pp. 33-47, Springer, 2011.

G. Fraser and A. 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), ed. by Harman, M. Korel B. , pp. 150 - 159 , IEEE, 2011.

G. Fraser and A. Arcuri. Evolutionary Generation of Whole Test Suites, In: International Conference On Quality Software (QSIC), ed. by Robert M. Hierons and Mercedes G. Merayo, pp. 31 - 40 , IEEE, 2011.

G. Fraser and A. Arcuri. EvoSuite: Automatic Test Suite Generation for Object-Oriented Software. , In: ACM Symposium on the Foundations of Software Engineering (FSE), ed. by Andreas Zeller, pp. 416--419, ACM, 2011.

H. Hemmati, A. Arcuri, and L. Briand. Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection, In: 4th International Conference on Software Testing, Verification and Validation (ICST2011), ed. by , pp. 327 - 336, IEEE Computer Society, 2011.

R. Sharma, M. Gligoric, A. Arcuri, G. Fraser, and D. Marinov. Testing Container Classes: Random or Systematic? , In: Fundamental Approaches to Software Engineering (FASE), ed. by Dimitra Giannakopoulou and Fernando Orejas, pp. 262-277, Springer, 2011.

S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand. Solving OCL Constraints for Test Data Generation in Industrial Systems with Search Techniques, Simula Research Laboratory, Technical Report(2010-16 ), 2011.

A. Arcuri and L. Briand. A Hitchhiker’s Guide to Statistical Tests for Assessing Randomized Algorithms in Software Engineering, Simula Research Laboratory, 2011.

M. Z. Iqbal, A. Arcuri, and L. Briand. Automated System Testing of Real-Time Embedded Systems Based on Environment Models, Simula Research Laboratory, Technical Report (2011-19), 2011.

M. Z. Iqbal, A. Arcuri, and L. Briand. Code Generation from UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software, Simula Research Laboratory, Technical Report (2011-04), Version 2, 2011.

A. Arcuri. A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing, Submitted to journal, 2010.

A. Arcuri. Runtime Analysis of Search Algorithms in Software Testing, Submitted to journal, 2010.

A. Arcuri. A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage., Accepted for publication in IEEE Transactions on Software Engineering, 2010.

A. Arcuri and X. Yao. Co-evolutionary Automatic Programming for Software Development, Accepted for publication in Information Sciences, 2010.

A. Arcuri. Longer is Better: On the Role of Test Sequence Length in Software Testing, In: Third IEEE International Conference on Software Testing, Verification and Validation (ICST), ed. by Marie-Claude Gaudel and Ana Rosa Cavalli and Sudipto Ghosh, IEEE Computer Society , 2010.

A. Arcuri. It Does Matter How You Normalise the Branch Distance in Search Based Software Testing, In: Third IEEE International Conference on Software Testing, Verification and Validation (ICST), ed. by Marie-Claude Gaudel and Ana Rosa Cavalli and Sudipto Ghosh, IEEE Computer Society , 2010.

A. Arcuri, M. Z. Iqbal, and L. Briand. Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing, In: 22nd IFIP International Conference on Testing Software and Systems (ICTSS) - formerly TestCom/FATES, ed. by A. Petrenko and A. Simão and J.C. Maldonado, vol. 6435, Springer. Lecture Notes in Computer Science, 2010.

A. Arcuri, M. Z. Iqbal, and L. Briand. Formal Analysis of the Effectiveness and Predictability of Random Testing, In: ACM International Conference on Software Testing and Analysis (ISSTA), ed. by Paolo Tonella, Alessandro Orso, ACM, 2010.

H. Hemmati, A. Arcuri, and L. Briand. Reducing the Cost of Model-Based Testing through Test Case Diversity, In: 22nd IFIP International Conference on Testing Software and Systems (ICTSS) - formerly TestCom/FATES, ed. by A. Petrenko and A. Simão and J.C. Maldonado, vol. 6435, Springer. Lecture Notes in Computer Science, 2010.

H. Hemmati, L. Briand, A. Arcuri, and S. Ali. An Enhanced Test Case Selection Approach for Model-Based Testing: An Industrial Case Study, In: 18th ACM SIGSOFT international symposium on Foundations of Software Engineering (FSE), ed. by Gruia-Catalin Roman and André van der Hoek, ACM, 2010.

M. Z. Iqbal, A. Arcuri, and L. Briand. Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies , In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), ed. by Petriu, Dorina and Rouquette, Nicolas and Haugen, Øystei, vol. 6394, pp. 286-300, Springer Berlin / Heidelberg, 2010.

A. Arcuri and L. Briand. Adaptive Random Testing: An Illusion of Effectiveness, Simula Research Laboratory, Technical Report(2010-09, Version 2), 2010.

A. Arcuri and L. Briand. A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering, Simula Research Laboratory, Technical Report(2010-10), 2010.

H. Hemmati, A. Arcuri, and L. Briand. Achieving Scalable Model-Based Testing Through Test Case Diversity, Simula Research Laboratory, Technical Report(2010-18), 2010.

H. Hemmati, A. Arcuri, and L. Briand. Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection, Simula Research Laboratory, Technical Report(2010-14), 2010.

D. White, A. Arcuri, and J. Clark. Evolutionary Improvement of Programs, Submitted to journal, 2009.

A. Arcuri. Theoretical Analysis of Local Search in Software Testing , In: Symposium on Stochastic Algorithms, Foundations and Applications (SAGA), ed. by Osamu Watanabe and Thomas Zeugmann, pp. 156-168, Springer, 2009.