CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker.

Miren Illarramendi Rezabal, Leire Etxeberria, Felix Larrinaga, Goiuria Sagardui

Browse the full ISSRE paper archive.