-
Chapter and Conference Paper
Correction to: Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
In an older version of this paper, there was error in the figure 3, (e) and (f) was incorrect. This has been corrected.
-
Chapter and Conference Paper
NNrepair: Constraint-Based Repair of Neural Network Classifiers
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fa...
-
Chapter and Conference Paper
Building Better Bit-Blasting for Floating-Point Problems
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-vectors. Implementing the required encodings is complex, error prone and requires a deep understanding of flo...
-
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...
