Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems | IEEE Journals & Magazine | IEEE Xplore