On the Fly Test Generation for Real Time Protocols.

Richard Castanet Ousmane Koné Patrice Laurençot

Published in: ICCCN (1998)

Keyphrases

test generation
real time
design automation
test sequences
symbolic execution
test cases
static analysis
vision system
quality assurance
data management
cooperative
knowledge management
life cycle
mutation testing