Constraint-Guided Unit Test Generation for Machine Learning Libraries

Lukas Krodinger, Altin Hajdari, Stephan Lukasczyk +1

Machine learning (ML) libraries such as PyTorch and TensorFlow are essential for a wide range of modern applications. Ensuring the correctness of ML libraries through testing is cr…