Exploring an Approach to Model-Based Testing from Behavior Trees | IEEE Conference Publication | IEEE Xplore