Sequential Test Generation with Advanced Illegal State Search.

M. H. Konijnenburg, J. Th. van der Linden, Ad J. van de Goor

Browse the full ITC paper archive.