Kuliamin, V. V. Integration of verification methods for program systems. (English. Russian original) Zbl 1183.68378 Program. Comput. Softw. 35, No. 4, 212-222 (2009); translation from Programmirovanie 35, No. 4 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. V. Kuliamin}, Program. Comput. Softw. 35, No. 4, 212--222 (2009; Zbl 1183.68378); translation from Programmirovanie 35, No. 4 (2009) Full Text: DOI
Zybin, R. S.; Kuliamin, V. V.; Ponomarenko, A. V.; Rubanov, V. V.; Chernov, E. S. Automation of broad sanity test generation. (English. Russian original) Zbl 1191.68199 Program. Comput. Softw. 34, No. 6, 351-363 (2008); translation from Programmirovanie 34, No. 6 (2008). MSC: 68N99 PDFBibTeX XMLCite \textit{R. S. Zybin} et al., Program. Comput. Softw. 34, No. 6, 351--363 (2008; Zbl 1191.68199); translation from Programmirovanie 34, No. 6 (2008) Full Text: DOI