Using ASM specifications for compiler testing

DOI10.1007/3-540-36498-6_29MaRDI QIDQ4413702zbMATH OpenFDO

Authors Alexey Kalinov, Vladimir Shishkov, M. A. Posypkin, Alexandre Kossatchev, A. K. Petrenko

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890415.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Using Spin to generate tests from ASM specifications
• Using AsmL for runtime verification

Cited in

(4)

• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Using AsmL for runtime verification
• scientific article; zbMATH DE number 2086804 (Why is no real title available?)
• Using abstract models for the generation of test data with a complex structure

This page was built for publication: Using ASM specifications for compiler testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413702)