Generating test oracle for role binding in multi-agent systems | IEEE Conference Publication | IEEE Xplore