Geodesic
Software errors search in complex data processing algorithms
Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 75-76

Voir la notice de l'article provenant de la source Math-Net.Ru

The method of software analysis in the absence of the source code is discussed in the paper. The method of stress testing with the automatic tracing of software is applied for the analysis. In this case test data can be formed statistically or dynamically on the basis of tracing results. 
@article{PDM_2009_10_a38,
     author = {A. N. Makarov},
     title = {Software errors search in complex data processing algorithms},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {75--76},
     publisher = {mathdoc},
     number = {10},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_10_a38/}
}
TY  - JOUR
AU  - A. N. Makarov
TI  - Software errors search in complex data processing algorithms
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 75
EP  - 76
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_10_a38/
LA  - ru
ID  - PDM_2009_10_a38
ER  - 
%0 Journal Article
%A A. N. Makarov
%T Software errors search in complex data processing algorithms
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 75-76
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a38/
%G ru
%F PDM_2009_10_a38
A. N. Makarov. Software errors search in complex data processing algorithms. Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 75-76. http://geodesic.mathdoc.fr/item/PDM_2009_10_a38/