Automated Test Set Generation for Statecharts.

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

Browse the full FM paper archive.