Mutation-Analysis Directed Constrained Random Verification

T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
Xie, Tao; Letombe, Florian; Müller, WolfgangLibreCat
Editor
Kleinjohann, L.; Kleinjohann, B.
Publishing Year
Conference
IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010)
LibreCat-ID

Cite this

Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.
Xie, T., Letombe, F., & Müller, W. (2010). Mutation-Analysis Directed Constrained Random Verification (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
@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} }
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.
T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained Random Verification,” 2010.
Xie, Tao, et al. Mutation-Analysis Directed Constrained Random Verification. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar