The construction of test strategy tree and the automatic generation of visual test procedure | IEEE Conference Publication | IEEE Xplore