Test Sequence Generation from Classification Trees | IEEE Conference Publication | IEEE Xplore