Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Coverage-Driven Automated
Compiler Test Suite Generation


Citation: A. Kalinov, A. Kossatchev, A. Petrenko, M. Posypkin, and V. Shishkov, "Coverage-driven Automated Compiler Test Suite Generation". In Proceedings of LDTA'2003, Electronic Notes in Theoretical Computer Science 82(3), 2003.
Summary: Montage-based specifications of source languages for compilers are used to generate compiler test suites (with both positive and negative examples).
Subjects: Compiler Correctness, Montages
Download: From Mikhail Posypkin's home page in PDF.
Notes: See also earlier work.