The following pages link to V. V. Kuliamin (Q763561):
Displaying 10 items.
- A survey of methods for constructing covering arrays (Q763563) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- Standardization and testing of implementations of mathematical functions in floating point numbers (Q926622) (← links)
- Formalization of test experiments (Q927449) (← links)
- The use of contract specifications for representing requirements and for functional testing of hardware models (Q927452) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Test sequence construction using minimum information on the tested system (Q2498283) (← links)
- (Q3043836) (← links)
- Standardization and Testing of Mathematical Functions (Q3402284) (← links)
- (Q4808823) (← links)