properties: • correctness • overfitting degree • fairness • interpretability • robustness • security • data privacy • efficiency Zhang, J. M., Harman, M., Ma, L., & Liu, Y. (2020). Machine learning testing: Survey, landscapes and horizons. IEEE Transactions on Software Engineering. EU (2019). Ethics guidelines for trustworthy AI.