An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems. - Flavio M. de Paula; Arvind Haran; Brad Bingham (NFM, 2018)

Rewriting toward trace coverage analysis of symmetric systems. - Flavio M. de Paula; Arvind Haran; Brad Bingham (Innov. Syst. Softw. Eng., 2019)