{"date_created":"2023-01-17T11:11:51Z","editor":[{"last_name":"Kleinjohann","full_name":"Kleinjohann, L.","first_name":"L."},{"last_name":"Kleinjohann","full_name":"Kleinjohann, B.","first_name":"B."}],"user_id":"5786","citation":{"bibtex":"@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie, Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }","chicago":"Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.","short":"T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.","ieee":"T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained Random Verification,” 2010.","mla":"Xie, Tao, et al. <i>Mutation-Analysis Directed Constrained Random Verification</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.","ama":"Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.","apa":"Xie, T., Letombe, F., &#38; Müller, W. (2010). <i>Mutation-Analysis Directed Constrained Random Verification</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag."},"title":"Mutation-Analysis Directed Constrained Random Verification","_id":"37049","department":[{"_id":"672"}],"author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"last_name":"Letombe","full_name":"Letombe, Florian","first_name":"Florian"},{"full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243","first_name":"Wolfgang"}],"publisher":"Springer Verlag","year":"2010","place":"Dordrecht","status":"public","date_updated":"2023-01-17T11:12:52Z","type":"conference","conference":{"name":"IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)"},"language":[{"iso":"eng"}]}