Dr Leonardo Bottaci

Senior Lecturer and Programme Leader for Computer Science Software Engineering and Software Development

Faculty of Science and Engineering


+44 (0) 1482 465949

Dr Bottaci joined the department of Computer Science at the University of Hull after a short period working for Prime Computer (UK) Ltd.

He has a PhD in artifical intelligence and a MEng in Computing from Brunel University London. He previously taught mathematics in a secondary school before returning to university.


Research Interests

  • Software testing, search-based software testing
  • Dependability modelling and analysis

Research groups

  • Dependable Systems research group


Mian Z, Bottaci L, Papadopoulos Y, Sharvia S, Mahmud N, 'Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems', Advances in Intelligent Systems and Computing, Zamojski W, Sugier J (eds), Vol 307, 91-110, Springer (2014)

Alshraideh M, Bottaci L and Mahafzah B A, 'Using Program Data-State Scarcity to Guide Automatic Test Data Generation', Software Quality Journal (2009)

Alshraideh M and Bottaci L, 'Search-Based Software Test Data Generation for String Data Using Program-Specific Search Operators', Software Testing Verification and Reliability, vol 16, no 3, pp 175-203 (2006)

Bottaci L, 'Use of Branch Cost Functions to Diversify the Search for Test Data', Proceedings UK Software Testing III (UK Test 2005), pp 151-164 (2005)

Bottaci L, 'Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data', Proceedings of Genetic and Evolutionary Computation Conference (GECCO 2003), pp 2455–2464, Springer Verlag (2003)

Full list


Programmes taught on (2019)

Modules list

  • Software Engineering
  • Information Systems and Human Computer Interaction
  • Advanced Software Engineering
  • Maintaining Large Software Systems
  • Distributed Applications
  • Object Oriented Design and Development using C#

Research PhDs

Dr Bottaci welcomes applications in search-based software testing.

Completed PhDs

  • Zhibao Mian, Model Transformation for Multi-Objective Architecture Optimisation for Dependable Systems, 2014.
  • Nabil Hashish, Mutation Testing of Dynamically Typed Programs, 2013.
  • Mohammad Aref Alshraideh, Use Of Program And Data-Specific Heuristics For Automatic Software Test Data Generation, 2007

Teaching awards and accolades

  • Postgraduate Certificate in Education

Professional highlights

Academic qualifications

  • BA Mathematics (Essex)
  • MEng Computing (Brunel)
  • PhD Artificial Intelligence (Brunel)
  • Post Graduate Certificate in Education (PGCE)