Torch

Dr Leonardo Bottaci

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

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