Complete Property-Oriented Module Testing. - Felix Brüning; Mario Gleirscher; Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001; Robert Sachtleben (ICTSS, 2023)

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. - Jan Peleska 001; Felix Brüning; Mario Gleirscher; Wen-ling Huang (CoRR, 2024)