Geodesic
Method for automated program errors search in complex data processing algorithms
Prikladnaâ diskretnaâ matematika, no. 3 (2009), pp. 117-127

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

In the paper, an original method developed by the author is discussed. The method permits to search program errors in software without source code. The method is based on stress testing and automated software trace. In this case, the test data can be formed statically or dynamically on the base of tracing results. 
@article{PDM_2009_3_a13,
     author = {A. N. Makarov},
     title = {Method for automated program errors search in complex data processing algorithms},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {117--127},
     publisher = {mathdoc},
     number = {3},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_3_a13/}
}
TY  - JOUR
AU  - A. N. Makarov
TI  - Method for automated program errors search in complex data processing algorithms
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 117
EP  - 127
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_3_a13/
LA  - ru
ID  - PDM_2009_3_a13
ER  - 
%0 Journal Article
%A A. N. Makarov
%T Method for automated program errors search in complex data processing algorithms
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 117-127
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_3_a13/
%G ru
%F PDM_2009_3_a13
A. N. Makarov. Method for automated program errors search in complex data processing algorithms. Prikladnaâ diskretnaâ matematika, no. 3 (2009), pp. 117-127. http://geodesic.mathdoc.fr/item/PDM_2009_3_a13/