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