Using ASM Specifications for Compiler Testing. - Alexey Ya. Kalinov; Alexander S. Kossatchev; Alexander K. Petrenko; Mikhail Posypkin; Vladimir Shishkov (Abstract State Machines, 2003)

Coverage-driven Automated Compiler Test Suite Generation. - Alexey Ya. Kalinov; Alexander S. Kossatchev; Alexander K. Petrenko; Mikhail Posypkin; Vladimir Shishkov (LDTA@ETAPS, 2003)