Login / Signup
Using ASM Specifications for Compiler Testing.
Alexey Ya. Kalinov
Alexander S. Kossatchev
Alexander K. Petrenko
Mikhail Posypkin
Vladimir Shishkov
Published in:
Abstract State Machines (2003)
Keyphrases
</>
code generation
programming language
general purpose
active shape model
data sets
formal verification
neural network
high level
formal specification
video sequences
software testing