Verifying Semantic Conformance of State Machine-to-Java Code Generators.

Lukman Ab. Rahim, Jon Whittle

Browse the full MODELS paper archive.