University of Hull logo

A synthesis of logic and bio-inspired techniques in the design of dependable systems (2016)
Journal Article
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

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecast... Read More

Using program data-state scarcity to guide automatic test data generation (2009)
Journal Article
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

Finding test data to cover structural test coverage criteria such as branch coverage is largely a manual and hence expensive activity. A potential low cost alternative is to generate the required test data automatically. Search-based test data genera... Read More