research
∙
12/15/2022
Optimized Symbolic Interval Propagation for Neural Network Verification
Neural networks are increasingly applied in safety critical domains, the...
share
research
∙
12/13/2021
Geometric Path Enumeration for Equivalence Verification of Neural Networks
As neural networks (NNs) are increasingly introduced into safety-critica...
research
∙
04/29/2021
Machine Learning Techniques for Software Quality Assurance: A Survey
Over the last years, machine learning techniques have been applied to mo...
research
∙
09/07/2020
Collaborative Management of Benchmark Instances and their Attributes
Experimental evaluation is an integral part in the design process of alg...
research
∙
08/23/2020
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors
Decision procedures for SMT problems based on the theory of bit-vectors ...
research
∙
02/12/2018