HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE, Oulu, Finnland, 2011.