Model-based testing of a highly programmable system | IEEE Conference Publication | IEEE Xplore