Automated generation of protocol test sequences from formal specifications.

Gilbert M. Lundy, C. Basaran

Browse the full ICNP paper archive.