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