V. V. Kuliamin

From MaRDI portal
Person:763561

Available identifiers

zbMath Open kuliamin.victor-vDBLP153/7031WikidataQ62050423 ScholiaQ62050423MaRDI QIDQ763561

List of research outcomes





PublicationDate of PublicationType
A survey of methods for constructing covering arrays2012-03-12Paper
Standardization and Testing of Mathematical Functions2010-02-02Paper
Integration of verification methods for program systems2009-11-24Paper
Automation of broad sanity test generation2009-09-04Paper
The use of contract specifications for representing requirements and for functional testing of hardware models2008-06-09Paper
Formalization of test experiments2008-06-09Paper
Standardization and testing of implementations of mathematical functions in floating point numbers2008-05-20Paper
Test sequence construction using minimum information on the tested system2006-08-16Paper
https://portal.mardi4nfdi.de/entity/Q48088232004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30438362004-08-06Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:763561&oldid=7003123"
Powered by MediaWiki