Non-Intrusive Structural Coverage for Objective Caml

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]

Abstract

Abstract is missing.