High level test generation using data flow descriptions | IEEE Conference Publication | IEEE Xplore