DMCA

Generating candidates when testing a deterministic implementation against a non–deterministic finite state machine

by R. M. Hierons
Venue:The Computer Journal
Citations:4 - 2 self