Automatic test case generation for Estelle.

Chang-Jia Wang, Ming T. Liu

Browse the full ICNP paper archive.