![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
An overview of structural coverage metrics for testing neural networks
Deep neural network (DNN) models, including those used in safety-critical domains, need to be thoroughly tested to ensure that they can reliably perform well in different scenarios. In this article, we provide...
-
Chapter and Conference Paper
VPN: Verification of Poisoning in Neural Networks
Neural networks are successfully used in a variety of applications, many of them having safety and security concerns. As a result researchers have proposed formal verification techniques for verifying neural n...
-
Chapter and Conference Paper
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications
Spectrum based fault localisation determines how suspicious a line of code is with respect to being faulty as a function of a given test suite. Outstanding problems include identifying properties that the test...
-
Chapter and Conference Paper
Reachability Preservation Based Parameter Synthesis for Timed Automata
The synthesis of timing parameters consists in deriving conditions on the timing constants of a concurrent system such that it meets its specification. Parametric timed automata are a powerful formalism for pa...
-
Chapter and Conference Paper
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. We propose two different approaches to parametric analysis. The first o...