Synthesising call sequences from OCL operational contracts.

Hao Wu

Browse the full SAC paper archive.