Software testing as a problem of machine learning: Towards a foundation on computational learning theory [keynote speech]