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 PDFBibTeX XMLCite \textit{B. Lei} et al., Sci. Comput. Program. 75, No. 10, 879--897 (2010; Zbl 1209.68140) Full Text: DOI
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun Refinement and verification in component-based model-driven design. (English) Zbl 1178.68158 Sci. Comput. Program. 74, No. 4, 168-196 (2009). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{Z. Chen} et al., Sci. Comput. Program. 74, No. 4, 168--196 (2009; Zbl 1178.68158) Full Text: DOI