Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages.

Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki

Browse the full MODELS paper archive.