{"_id":"z276Dw8CyCv78XMFx","bibbaseid":"ghassabani-gacek-whalen-heimdahl-wagner-proofbasedcoveragemetricsforformalverification-2017","author_short":["Ghassabani, E.","Gacek, A.","Whalen, M. W.","Heimdahl, M. P.","Wagner, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Proof-based coverage metrics for formal verification","doi":"10/ghv4n9","booktitle":"2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Ghassabani"],"firstnames":["Elaheh"],"suffixes":[]},{"propositions":[],"lastnames":["Gacek"],"firstnames":["Andrew"],"suffixes":[]},{"propositions":[],"lastnames":["Whalen"],"firstnames":["Michael","W."],"suffixes":[]},{"propositions":[],"lastnames":["Heimdahl"],"firstnames":["Mats","PE"],"suffixes":[]},{"propositions":[],"lastnames":["Wagner"],"firstnames":["Lucas"],"suffixes":[]}],"year":"2017","note":"tex.ids= ghassabaniProofbasedCoverageMetrics2017a, ghassabaniProofbasedCoverageMetrics2017b","pages":"194–199","bibtex":"@inproceedings{ghassabani_proof-based_2017,\n\ttitle = {Proof-based coverage metrics for formal verification},\n\tdoi = {10/ghv4n9},\n\tbooktitle = {2017 32nd {IEEE}/{ACM} {International} {Conference} on {Automated} {Software} {Engineering} ({ASE})},\n\tpublisher = {IEEE},\n\tauthor = {Ghassabani, Elaheh and Gacek, Andrew and Whalen, Michael W. and Heimdahl, Mats PE and Wagner, Lucas},\n\tyear = {2017},\n\tnote = {tex.ids= ghassabaniProofbasedCoverageMetrics2017a, ghassabaniProofbasedCoverageMetrics2017b},\n\tpages = {194--199},\n}\n\n","author_short":["Ghassabani, E.","Gacek, A.","Whalen, M. W.","Heimdahl, M. P.","Wagner, L."],"key":"ghassabani_proof-based_2017","id":"ghassabani_proof-based_2017","bibbaseid":"ghassabani-gacek-whalen-heimdahl-wagner-proofbasedcoveragemetricsforformalverification-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["proof","based","coverage","metrics","formal","verification","ghassabani","gacek","whalen","heimdahl","wagner"],"title":"Proof-based coverage metrics for formal verification","year":2017}