Abstract State Machines




ASM Studies

Coverage-Driven Automated
Compiler Test Suite Generation

Citation: A. Kalinov, A. Kossatchev, M. Posypkin, and V. Shishkov, "Using ASM specification for automatic test suite generation for mpC parallel programming language compiler". In Proceedings of the Fourth International Workshop on Action Semantics, AS 2002, BRICS Notes Series NS-02-8, University of Aarhus, Department of Computer Science, 2002, 99--109.
Summary: Montage-based specifications of mpC expressions are used to generate compiler test suites for mpC compilers.
Subjects: Compiler Correctness, Montages, Programming Languages
Download: From Mikhail Posypkin's home page in PDF.
Notes: See also later work.