{"citation":{"ieee":"T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 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>.","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.","short":"T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.","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.","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} }","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."},"publication":"Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)","department":[{"_id":"672"}],"type":"conference","date_created":"2021-10-21T12:22:19Z","date_updated":"2022-01-06T06:57:26Z","author":[{"last_name":"Xie","first_name":"Tao","full_name":"Xie, Tao"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","status":"public","year":"2011","user_id":"21240","_id":"26698","language":[{"iso":"eng"}]}