Liu, Zhiming; Morisset, Charles; Wang, Shuling A graph-based implementation for mechanized refinement calculus of OO programs. (English) Zbl 1325.68066 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 258-273 (2011). MSC: 68N30 68T15 PDF BibTeX XML Cite \textit{Z. Liu} et al., Lect. Notes Comput. Sci. 6527, 258--273 (2011; Zbl 1325.68066) Full Text: DOI
Lei, Bin; Li, Xuandong; Liu, Zhiming; Morisset, Charles; Stolz, Volker Robustness testing for software components. (English) Zbl 1209.68140 Sci. Comput. Program. 75, No. 10, 879-897 (2010). MSC: 68N99 PDF BibTeX XML Cite \textit{B. Lei} et al., Sci. Comput. Program. 75, No. 10, 879--897 (2010; Zbl 1209.68140) Full Text: DOI
Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P. Design and verification of fault-tolerant components. (English) Zbl 1234.68040 Butler, Michael (ed.) et al., Methods, models and tools for fault tolerance. Berlin: Springer (ISBN 978-3-642-00866-5/pbk). Lecture Notes in Computer Science 5454, 57-84 (2009). MSC: 68M15 68Q60 PDF BibTeX XML Cite \textit{M. Zhang} et al., Lect. Notes Comput. Sci. 5454, 57--84 (2009; Zbl 1234.68040) Full Text: DOI