Using ASM Specifications for Compiler Testing

Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov. Using ASM Specifications for Compiler Testing. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 415, Springer, 2003. [doi]

Authors

Alexey Kalinov

This author has not been identified. Look up 'Alexey Kalinov' in Google

Alexander Kossatchev

This author has not been identified. Look up 'Alexander Kossatchev' in Google

Alexander K. Petrenko

This author has not been identified. Look up 'Alexander K. Petrenko' in Google

Mikhail Posypkin

This author has not been identified. Look up 'Mikhail Posypkin' in Google

Vladimir Shishkov

This author has not been identified. Look up 'Vladimir Shishkov' in Google