Lower your guards: a compositional pattern-match coverage checker
2020 ◽
Vol 4
(ICFP)
◽
pp. 1-30
◽
2020 ◽
Vol 140
(1)
◽
pp. 15-28
2016 ◽
Vol 126
◽
pp. 154-162
◽
1998 ◽
Vol 88
(5)
◽
pp. 1198-1203
Keyword(s):
2019 ◽
Vol 79
(15-16)
◽
pp. 10489-10503