Philippe Wang, Adrien Jonquet, Emmanuel Chailloux. Non-Intrusive Structural Coverage for Objective Caml. Electronic Notes in Theoretical Computer Science, 264(4):59-73, 2011. [doi]
@article{WangJC11, title = {Non-Intrusive Structural Coverage for Objective Caml}, author = {Philippe Wang and Adrien Jonquet and Emmanuel Chailloux}, year = {2011}, doi = {10.1016/j.entcs.2011.02.006}, url = {http://dx.doi.org/10.1016/j.entcs.2011.02.006}, tags = {coverage}, researchr = {https://researchr.org/publication/WangJC11}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {264}, number = {4}, pages = {59-73}, }