TY - CONF AU - Xie, Tao AU - Müller, Wolfgang ID - 26698 T2 - Proceedings of the 14th Euromicro Conference on Digital System Design (DSD) TI - HDL-Mutation Based Simulation Data Generation by Propagation Guided Search ER -