System testing with an AI planner | IEEE Conference Publication | IEEE Xplore