Balanced FSM Generation for Empirical Studies.

Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw

Browse the full ICST paper archive.