Ian G. Harris
A coverage metric for the validation of interacting processes
DATE, 2006.
@inproceedings{DATE-2006-Harris,
author = "Ian G. Harris",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131763",
pages = "1019--1024",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{A coverage metric for the validation of interacting processes}",
year = 2006,
}