8 citations · 26 across the 8 of their papers we have counts for
10 papers
CANcept: Model-based CAN Traffic Generation and Manipulation
Lino Wertz, Junes Sheikhi, Florian Fehrle +5
Testing timing-related safety properties of Controller Area Network (CAN)-based software requires precise control over transmitted data and communication timing. Existing open-sour…
Integrating Static Code Analysis Toolchains
Matthias Kern, Ferhat Erata, Markus Iser +4
This paper proposes an approach for a tool-agnostic and heterogeneous static code analysis toolchain in combination with an exchange format. This approach enhances both traceabilit…
Optimized Symbolic Interval Propagation for Neural Network Verification
Philipp Kern, Marko Kleine Büning, Carsten Sinz
Neural networks are increasingly applied in safety critical domains, their verification thus is gaining importance. A large class of recent algorithms for proving input-output rela…
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…
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.…
Collaborative Management of Benchmark Instances and their Attributes
Markus Iser, Luca Springer, Carsten Sinz
Experimental evaluation is an integral part in the design process of algorithms. Publicly available benchmark instances are widely used to evaluate methods in SAT solving. For the…