An automated oracle approach to test decision-making structures | IEEE Conference Publication | IEEE Xplore