Leonardo Bottaci

According to our database, Leonardo Bottaci authored at least 21 papers between 1985 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud

J. Syst. Softw., 2019

2018

A Dependability Modeling and Analysis Approach for an IoP-Based Service System.

Zhibao Mian, Leonardo Bottaci, Jiulei Jiang, Jun He, Qiancheng Yu, Xiaofeng Wang

Proceedings of the 2018 IEEE SmartWorld, 2018

2016

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

Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos

Annu. Rev. Control., 2016

2013

Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques.

Anthony J. H. Simons, Gordon Fraser, Leonardo Bottaci

Softw. Pract. Exp., 2013

2010

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

Mohammad Aref Alshraideh, Leonardo Bottaci, Basel A. Mahafzah

Softw. Qual. J., 2010

TAIC-PART 2009 - Testing: Academic & Industrial Conference - Practice And Research Techniques: Special Section Editorial.

Leonardo Bottaci, Gregory M. Kapfhammer, Neil Walkinshaw

J. Syst. Softw., 2010

TAIC-PART 2008 - Testing: Academic & Industrial conference - Practice and research techniques, special section editorial.

Leonardo Bottaci, Gregory M. Kapfhammer, Marc Roper

Inf. Softw. Technol., 2010

Type Sensitive Application of Mutation Operators for Dynamically Typed Programs.

Leonardo Bottaci

Proceedings of the Third International Conference on Software Testing, 2010

2007

Compositional Temporal Fault Tree Analysis.

Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos

Proceedings of the Computer Safety, 2007

2006

Search-based software test data generation for string data using program-specific search operators.

Mohammad Aref Alshraideh, Leonardo Bottaci

Softw. Test. Verification Reliab., 2006

Using Program Data-State Diversity in Test Data Search.

Mohammad Aref Alshraideh, Leonardo Bottaci

Proceedings of the Testing: Academia and Industry Conference, 2006

2003

Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data.

Leonardo Bottaci

Proceedings of the Genetic and Evolutionary Computation, 2003

2002

Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms.

Leonardo Bottaci

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

2000

Learning and Diagnosis in Manufacturing Processes Through an Executable Bayesian Network.

Marcos A. Rodrigues, Yonghuai Liu, Leonardo Bottaci, Dimitrios I. Rigas

Proceedings of the Intelligent Problem Solving, 2000

1999

Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study.

Elfurjani Sassi Mresa, Leonardo Bottaci

Softw. Test. Verification Reliab., 1999

1998

An AI Modelling Approach to Understanding a Complex Manufacturing Process.

Marcos A. Rodrigues, Leonardo Bottaci

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

1997

Modular production systems: a new manufacturing paradigm.

G. G. Rogers, Leonardo Bottaci

J. Intell. Manuf., 1997

1996

User-Enhanceability for Organizational Information Systems through Visual Programming.

Nikolay Mehandjiev, Leonardo Bottaci

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

1995

Formal specification using Z - a modelling approach.

Leonardo Bottaci, John Jones

International Thomson, ISBN: 978-1-850-32109-5, 1995

1994

User Enhanceability for Fast Response to Changing Office Needs.

Nikolay Mehandjiev, Leonardo Bottaci, Roger Phillips

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1985

The modifiability of rule-based expert systems.

Leonardo Bottaci

PhD thesis, 1985