Search-based test data generation from stateflow statecharts.

Andreas Windisch

Browse the full GECCO paper archive.