Graphical editing support for QuickCheck models.

Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes

Browse the full ICST paper archive.