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