Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Coverage-Driven Automated
Compiler Test Suite Generation
(Expressions)


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.