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
Leavens, Gary T.; Cheon, Yoonsik; Clifton, Curtis; Ruby, Clyde; Cok, David R. How the design of JML accommodates both runtime assertion checking and formal verification. (English) Zbl 1075.68009 Sci. Comput. Program. 55, No. 1-3, 185-208 (2005). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{G. T. Leavens} et al., Sci. Comput. Program. 55, No. 1--3, 185--208 (2005; Zbl 1075.68009) Full Text: DOI Link