V. V. Kuliamin

MaRDI QIDQ763561zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A survey of methods for constructing covering arrays Programming and Computer Software	2012-03-12	Paper
Standardization and testing of mathematical functions Perspectives of Systems Informatics	2010-02-02	Paper
Integration of verification methods for program systems Programming and Computer Software	2009-11-24	Paper
Automation of broad sanity test generation Programming and Computer Software	2009-09-04	Paper
The use of contract specifications for representing requirements and for functional testing of hardware models Programming and Computer Software	2008-06-09	Paper
Formalization of test experiments Programming and Computer Software	2008-06-09	Paper
Standardization and testing of implementations of mathematical functions in floating point numbers Programming and Computer Software	2008-05-20	Paper
Test sequence construction using minimum information on the tested system Programming and Computer Software	2006-08-16	Paper
scientific article; zbMATH DE number 2090131 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2084351 (Why is no real title available?)	2004-08-06	Paper

Research outcomes over time

This page was built for person: V. V. Kuliamin