Considering automatic educational validation of computerized educational systems | IEEE Conference Publication | IEEE Xplore