Automatic Fault Detection for Deep Learning Programs Using Graph Transformations

Amin Nikanjam, Houssem Ben Braiek, Mohammad Mehdi Morovati +1

Nowadays, we are witnessing an increasing demand in both corporates and academia for exploiting Deep Learning (DL) to solve complex real-world problems. A DL program encodes the ne…