Search Results - "Tonella, Paolo"
-
1
Testing machine learning based systems: a systematic mapping
Published in Empirical software engineering : an international journal (01-11-2020)“…Context: A Machine Learning based System (MLS) is a software system including one or more components that learn how to perform a task from a given data set…”
Get full text
Journal Article -
2
Empirical assessment of the effort needed to attack programs protected with client/server code splitting
Published in Empirical software engineering : an international journal (01-01-2020)“…Context Code hardening is meant to fight malicious tampering with sensitive code executed on client hosts. Code splitting is a hardening technique that moves…”
Get full text
Journal Article -
3
A Comparative Phenotypic Study of Kallmann Syndrome Patients Carrying Monoallelic and Biallelic Mutations in the Prokineticin 2 or Prokineticin Receptor 2 Genes
Published in The journal of clinical endocrinology and metabolism (01-02-2010)“…Context: Both biallelic and monoallelic mutations in PROK2 or PROKR2 have been found in Kallmann syndrome (KS). Objective: The objective of the study was to…”
Get full text
Journal Article -
4
Further delineation of genotype-phenotype correlation in homozygous 2p21 deletion syndromes: First description of patients without cystinuria
Published in American journal of medical genetics. Part A (01-08-2013)“…ABSTRACT Homozygous contiguous gene deletion syndromes are rare. On 2p21, however, several overlapping homozygous gene deletion syndromes have been described,…”
Get full text
Journal Article -
5
Quality Metrics and Oracles for Autonomous Vehicles Testing
Published in 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (01-04-2021)“…The race for deploying AI-enabled autonomous vehicles (AVs) on public roads is based on the promise that such self-driving cars will be as safe as or safer…”
Get full text
Conference Proceeding -
6
Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
Published in IEEE transactions on software engineering (01-08-2024)“…Recent advances in Deep Neural Networks (DNNs) and sensor technologies are enabling autonomous driving systems (ADSs) with an ever-increasing level of…”
Get full text
Journal Article -
7
Regulation of fetal growth: Consequences and impact of being born small
Published in Baillière's best practice & research. Clinical endocrinology & metabolism (01-02-2008)“…The first trimester of pregnancy is the time during which organogenesis takes place and tissue patterns and organ systems are established. In the second…”
Get full text
Journal Article -
8
Confidence‐driven weighted retraining for predicting safety‐critical failures in autonomous driving systems
Published in Journal of software : evolution and process (01-10-2022)“…Safe handling of hazardous driving situations is a task of high practical relevance for building reliable and trustworthy cyber‐physical systems such as…”
Get full text
Journal Article -
9
Automated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets
Published in IEEE transactions on software engineering (01-02-2018)“…The test case generation is intrinsically a multi-objective problem, since the goal is covering multiple test targets (e.g., branches). Existing search-based…”
Get full text
Journal Article -
10
The Road Toward Dependable AI Based Systems
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01-05-2023)“…With the advent of deep learning, AI components have achieved unprecedented performance on complex, human competitive tasks, such as image, video, text and…”
Get full text
Conference Proceeding -
11
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines
Published in Software testing, verification & reliability (01-09-2023)“…Summary Deep neural networks (DNN) are increasingly used as components of larger software systems that need to process complex data, such as images, written…”
Get full text
Journal Article -
12
Reformulating Branch Coverage as a Many-Objective Optimization Problem
Published in 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) (01-04-2015)“…Test data generation has been extensively investigated as a search problem, where the search goal is to maximize the number of covered program elements (e.g.,…”
Get full text
Conference Proceeding -
13
Mind the Gap! A Study on the Transferability of Virtual Versus Physical-World Testing of Autonomous Driving Systems
Published in IEEE transactions on software engineering (01-04-2023)“…Safe deployment of self-driving cars (SDC) necessitates thorough simulated and in-field testing. Most testing techniques consider virtualized SDCs within a…”
Get full text
Journal Article -
14
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01-05-2023)“…Testing Deep Learning (DL) based systems inherently requires large and representative test sets to evaluate whether DL systems generalise beyond their training…”
Get full text
Conference Proceeding -
15
A large scale empirical comparison of state-of-the-art search-based test case generators
Published in Information and software technology (01-12-2018)“…Replication studies and experiments form an important foundation in advancing scientific research. While their prevalence in Software Engineering is…”
Get full text
Journal Article -
16
Misbehaviour Prediction for Autonomous Driving Systems
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01-10-2020)“…Deep Neural Networks (DNNs) are the core component of modern autonomous driving systems. To date, it is still unrealistic that a DNN will generalize correctly…”
Get full text
Conference Proceeding -
17
Taxonomy of Real Faults in Deep Learning Systems
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01-10-2020)“…The growing application of deep neural networks in safety-critical domains makes the analysis of faults that occur in such systems of enormous importance. In…”
Get full text
Conference Proceeding -
18
Model vs system level testing of autonomous driving systems: a replication and extension study
Published in Empirical software engineering : an international journal (01-05-2023)“…Offline model-level testing of autonomous driving software is much cheaper, faster, and diversified than in-field, online system-level testing. Hence,…”
Get full text
Journal Article -
19
Interactive requirements prioritization using a genetic algorithm
Published in Information and software technology (01-01-2013)“…The order in which requirements are implemented affects the delivery of value to the end-user, but it also depends on technical constraints and resource…”
Get full text
Journal Article -
20
A federated society of bots for smart contract testing
Published in The Journal of systems and software (01-10-2020)“…Smart contracts are a new type of software that allows its users to perform irreversible transactions on a distributed persistent data storage called the…”
Get full text
Journal Article