Carsten Sinz

Deep Learning for Software Defect Prediction

2020

Software fault prediction is an important and beneficial practice for improving software quality and reliability. The ability to predict which components in a large software system are most likely to contain the largest numbers of …

Geometric Path Enumeration for Equivalence Verification of Neural Networks

2021 · 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)

As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the formal verification problem of NN equivalence which …