%0 Conference Paper %1 conf/hvc/Ben-DavidCK13 %A Ben-David, Shoham %A Chockler, Hana %A Kupferman, Orna %B Haifa Verification Conference %D 2013 %E Bertacco, Valeria %E Legay, Axel %I Springer %K dblp %P 230-245 %T Attention-Based Coverage Metrics. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2013.html#Ben-DavidCK13 %V 8244 %@ 978-3-319-03076-0

@inproceedings{conf/hvc/Ben-DavidCK13, added-at = {2019-10-19T00:00:00.000+0200}, author = {Ben-David, Shoham and Chockler, Hana and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/242b5375bf9bdc641490445568f8b3eb4/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2013}, editor = {Bertacco, Valeria and Legay, Axel}, ee = {https://doi.org/10.1007/978-3-319-03077-7_16}, interhash = {7b7d3daeae3484979b39a5847040a947}, intrahash = {42b5375bf9bdc641490445568f8b3eb4}, isbn = {978-3-319-03076-0}, keywords = {dblp}, pages = {230-245}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:58:32.000+0200}, title = {Attention-Based Coverage Metrics.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2013.html#Ben-DavidCK13}, volume = 8244, year = 2013 }