8 citations · 26 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Samuel Teuber, Marko Kleine Büning, Philipp Kern +1
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 fo…
cs.SE2021★ 8 cited
Machine Learning Techniques for Software Quality Assurance: A Survey
Safa Omri, Carsten Sinz
Over the last years, machine learning techniques have been applied to more and more application domains, including software engineering and, especially, software quality assurance.…