Automated assessment of correctness of recommendation systems | IEEE Conference Publication | IEEE Xplore