Test sequence generation from classification trees | IEEE Conference Publication | IEEE Xplore