Counter play-out: executing unrealizable scenario-based specifications.

Shahar Maoz, Yaniv Sa'ar

Browse the full ICSE paper archive.