Leonardo Bottaci

Publication Activity (10 Years)

Years Active: 1994-2019
Publications (10 Years): 3

Top Venues

Annu. Rev. Control.

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

J. Syst. Softw.

Softw. Pract. Exp.

Brunel University London, UK (PHD)

Education History

Brunel University London, UK

PHD

Publications

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Model transformation for analyzing dependability of AADL model by using HiP-HOPS. J. Syst. Softw. 151 (2019)
Zhibao Mian, Leonardo Bottaci, Jiulei Jiang, Jun He, Qiancheng Yu, Xiaofeng Wang
A Dependability Modeling and Analysis Approach for an IoP-Based Service System. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos
A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control. 41 (2016)
Anthony J. H. Simons, Gordon Fraser, Leonardo Bottaci
Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques. Softw. Pract. Exp. 43 (9) (2013)
Leonardo Bottaci, Gregory M. Kapfhammer, Marc Roper
TAIC-PART 2008 - Testing: Academic & Industrial conference - Practice and research techniques, special section editorial. Inf. Softw. Technol. 52 (5) (2010)
Leonardo Bottaci, Gregory M. Kapfhammer, Neil Walkinshaw
TAIC-PART 2009 - Testing: Academic & Industrial Conference - Practice And Research Techniques: Special Section Editorial. J. Syst. Softw. 83 (12) (2010)
Mohammad Alshraideh, Leonardo Bottaci, Basel A. Mahafzah
Using program data-state scarcity to guide automatic test data generation. Softw. Qual. J. 18 (1) (2010)
Leonardo Bottaci
Type Sensitive Application of Mutation Operators for Dynamically Typed Programs. ICST Workshops (2010)
Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos
Compositional Temporal Fault Tree Analysis. SAFECOMP (2007)
Mohammad Alshraideh, Leonardo Bottaci
Search-based software test data generation for string data using program-specific search operators. Softw. Test. Verification Reliab. 16 (3) (2006)
Mohammad Alshraideh, Leonardo Bottaci
Using Program Data-State Diversity in Test Data Search. TAIC PART (2006)
Leonardo Bottaci
Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data. GECCO (2003)
Leonardo Bottaci
Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms. GECCO (2002)
Marcos A. Rodrigues, Yonghuai Liu, Leonardo Bottaci, Dimitrios I. Rigas
Learning and Diagnosis in Manufacturing Processes Through an Executable Bayesian Network. IEA/AIE (2000)
Elfurjani Sassi Mresa, Leonardo Bottaci
Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study. Softw. Test. Verification Reliab. 9 (4) (1999)
Marcos A. Rodrigues, Leonardo Bottaci
An AI Modelling Approach to Understanding a Complex Manufacturing Process. IEA/AIE (Vol. 1) (1998)
G. G. Rogers, Leonardo Bottaci
Modular production systems: a new manufacturing paradigm. J. Intell. Manuf. 8 (2) (1997)
Nikolay Mehandjiev, Leonardo Bottaci
User-Enhanceability for Organizational Information Systems through Visual Programming. CAiSE (1996)
Nikolay Mehandjiev, Leonardo Bottaci, Roger Phillips
User Enhanceability for Fast Response to Changing Office Needs. HICSS (4) (1994)

Leonardo Bottaci.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leonardo Bottaci