Leonardo Bottaci

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