Title: Theory and Practice of Quality Assurance for Machine Learning Systems