Hana Chockler, Orna Kupferman, Moshe Y. Vardi. Coverage metrics for formal verification. STTT, 8(4-5):373-386, 2006. [doi]
@article{ChocklerKV06:0, title = {Coverage metrics for formal verification}, author = {Hana Chockler and Orna Kupferman and Moshe Y. Vardi}, year = {2006}, doi = {10.1007/s10009-004-0175-4}, url = {http://dx.doi.org/10.1007/s10009-004-0175-4}, tags = {coverage}, researchr = {https://researchr.org/publication/ChocklerKV06%3A0}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {8}, number = {4-5}, pages = {373-386}, }