On the Fly Test Generation for Real Time Protocols.

Richard Castanet, Ousmane Kon, Patrice Laurenot

Browse the full ICCCN paper archive.