Flavio M. de Paula, Arvind Haran, Brad Bingham. Rewriting toward trace coverage analysis of symmetric systems. ISSE, 15(3-4):191-206, 2019. [doi]
@article{PaulaHB19,
title = {Rewriting toward trace coverage analysis of symmetric systems},
author = {Flavio M. de Paula and Arvind Haran and Brad Bingham},
year = {2019},
doi = {10.1007/s11334-019-00348-0},
url = {https://doi.org/10.1007/s11334-019-00348-0},
researchr = {https://researchr.org/publication/PaulaHB19},
cites = {0},
citedby = {0},
journal = {ISSE},
volume = {15},
number = {3-4},
pages = {191-206},
}