• Mixed bottom-up/top-down hierarchical test generation for digital systemsUbar, Raimund-JohannesProceedings of the 9th European Workshop on Dependable Computing, Gdansk, Poland, May 14-16, 19981998 / p. 37-40