Tao Xie, Wolfgang Müller 0003, Florian Letombe. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland. pages 608-615, IEEE, 2011. [doi]
Abstract is missing.