Torch

Dr Leonardo Bottaci

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

Faculty and Department

  • Faculty of Science and Engineering
  • School of Engineering and Computer Science

Summary

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.

Journal Article

Using program data-state scarcity to guide automatic test data generation

Alshraideh, M., Bottaci, L., & Mahafzah, B. A. (2010). Using program data-state scarcity to guide automatic test data generation. Software quality journal, 18(1), 109-144. doi:10.1007/s11219-009-9083-x

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., …Sorokos, I. (2016). A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control, 41, 170-182. https://doi.org/10.1016/j.arcontrol.2016.04.008

Postgraduate supervision

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