H. Kahlouche, C. Viho, M. Zendri. An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. In IFIP TC6 11th International Workshop on Testing of Communicating Systems, A. Petrenko, N. Yevtushenko (eds.), September 1998.
@InProceedings{Viho98a,
Author = {Kahlouche, H. and Viho, C. and Zendri, M.},
Title = {An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol},
BookTitle = {IFIP TC6 11th International Workshop on Testing of Communicating Systems},
editor = {Petrenko, A. and Yevtushenko, N.},
Publisher = {Chapman & Hall},
Month = {September},
Year = {1998}
}
Get EndNote Reference (.ref)
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |