Coverage-driven Automated Compiler Test Suite Generation
Alexey Kalinov, Alexander Sergeevitch Kossatchev, Alexander Konstantinovich Petrenko, Mikhail Anatol'evich Posypkin, V. Shishkov · Electronic Notes in Theoretical Computer Science · 2003
The paper presents a novel approach to automated compiler test suite generation based on the source level specification. Several coverage criteria are introduced. The application of the proposed methodology to testing the realistic programming language is discussed.