- Full text PDF available (2)
The generalized correlation method for estimation of time delay, " IEEE Trans. A novel algorithm for time delay estimation with improved performance for non-Gaussian signals, " in Proc. On time delay estimation with unknown spatially correlated Gaussian noise using fourth-order cumulants and cross cumulants, " IEEE Trans. Abstract— This correspondence… (More)
The paper presents two approaches to debugging of application model behavior scenarios: semi-automatic and automatic. The first approach allows the user to automate the process of finding a place in a concrete symbolic behavioral scenario that caused an error. The second approach allows to find together with places the cause of multiple errors in some set… (More)
The paper presents a technology to effort reduction in developing test suites for industrial software products based on an incremental technology. The main problems to be solved by incremental technology are full automation design of test scenarios and significant reducing of test explosion. The proposed approach provides solutions to the mentioned problems… (More)
— This paper features an approach that brings together testing of multicomponent systems, formal requirement specifications and automated test suit generation in a one technology.