{"author":[{"last_name":"Xie","full_name":"Xie, Tao","first_name":"Tao"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","citation":{"ieee":"T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011.","chicago":"Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>, 2011.","ama":"Xie T, Müller W. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>. ; 2011.","bibtex":"@inproceedings{Xie_Müller_2011, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, booktitle={Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)}, author={Xie, Tao and Müller, Wolfgang}, year={2011} }","short":"T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.","apa":"Xie, T., &#38; Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>.","mla":"Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” <i>Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)</i>, 2011."},"status":"public","publication":"Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)","department":[{"_id":"672"}],"year":"2011","type":"conference","date_updated":"2022-01-06T06:57:26Z","user_id":"21240","_id":"26698","language":[{"iso":"eng"}],"date_created":"2021-10-21T12:22:19Z"}