Hakim Kahlouche, César Viho, Massimo Zendri. An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. In Alexandre Petrenko, Nina Yevtushenko, editors, Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia. Volume 131 of IFIP Conference Proceedings, pages 211-226, Kluwer, 1998.
@inproceedings{KahloucheVZ98,
title = {An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol},
author = {Hakim Kahlouche and César Viho and Massimo Zendri},
year = {1998},
tags = {caching, protocol, testing},
researchr = {https://researchr.org/publication/KahloucheVZ98},
cites = {0},
citedby = {0},
pages = {211-226},
booktitle = {Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia},
editor = {Alexandre Petrenko and Nina Yevtushenko},
volume = {131},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-412-84430-3},
}