Understanding Neural Networks Properties By Testing And Specification Mining