Geodesic
Generation of semantic analyzer tests
Numerical methods and programming, Tome 7 (2006) no. 3, pp. 55-70.

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

The paper addresses the problem of generating test cases for semantic checkers of compilers. While many works on formal specification of programming language semantics have proposed several powerful techniques, many challenges remain in applying them to realistic test generators. We present a novel approach to the formal specification of a programming language static semantics and show that our approach is suitable for test program generation.
Keywords: static semantics, semantic analyzer, automatic test generation. 
@article{VMP_2006_7_3_a11,
     author = {M. V. Arkhipova},
     title = {Generation of semantic analyzer tests},
     journal = {Numerical methods and programming},
     pages = {55--70},
     publisher = {mathdoc},
     volume = {7},
     number = {3},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a11/}
}
TY  - JOUR
AU  - M. V. Arkhipova
TI  - Generation of semantic analyzer tests
JO  - Numerical methods and programming
PY  - 2006
SP  - 55
EP  - 70
VL  - 7
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a11/
LA  - ru
ID  - VMP_2006_7_3_a11
ER  - 
%0 Journal Article
%A M. V. Arkhipova
%T Generation of semantic analyzer tests
%J Numerical methods and programming
%D 2006
%P 55-70
%V 7
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a11/
%G ru
%F VMP_2006_7_3_a11
M. V. Arkhipova. Generation of semantic analyzer tests. Numerical methods and programming, Tome 7 (2006) no. 3, pp. 55-70. http://geodesic.mathdoc.fr/item/VMP_2006_7_3_a11/