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.

Postgraduate

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

Journal Article

Model transformation for analyzing dependability of AADL model by using HiP-HOPS

Mian, Z., Bottaci, L., Papadopoulos, Y., & Mahmud, N. (2019). Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Journal of Systems and Software, 151, 258-282. doi:10.1016/j.jss.2019.02.019

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

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

Artificial neural networks applied to outcome prediction for colorectal cancer patients in separate institutions

Bottaci, L., Drew, P. J., Hartley, J. E., Hadfield, M. B., Farouk, R., Lee, P. W., …Monson, J. R. (1997). Artificial neural networks applied to outcome prediction for colorectal cancer patients in separate institutions. Lancet, 350(9076), (469-472). doi:10.1016/S0140-6736(96)11196-X. ISSN 0140-6736