Small Test Suites for Active Automata Learning.

Loes Kruger, Sebastian Junges, Jurriaan Rot

Browse the full TACAS paper archive.