{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:13:43Z","timestamp":1725578023681},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642192364"},{"type":"electronic","value":"9783642192371"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19237-1_9","type":"book-chapter","created":{"date-parts":[[2011,2,10]],"date-time":"2011-02-10T02:15:37Z","timestamp":1297304137000},"page":"57-70","source":"Crossref","is-referenced-by-count":0,"title":["Evaluating Workloads Using Multi-comparative Functional Coverage"],"prefix":"10.1007","author":[{"given":"Yoram","family":"Adler","sequence":"first","affiliation":[]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[]},{"given":"Dale","family":"Blue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-01702-5_12","volume-title":"Hardware and Software: Verification and Testing","author":"Y. Adler","year":"2009","unstructured":"Adler, Y., Blue, D., Conti, T., Prewitt, R., Ur, S.: Evaluating Workloads Using Comparative Functional Coverage. In: Chockler, H., Hu, A.J. (eds.) HVC 2008. LNCS, vol.\u00a05394, pp. 84\u201398. Springer, Heidelberg (2009)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Adler, Y., Farchi, E., Klausner, M., Pelleg, D., Raz, O., Shochat, M., Ur, S., Zlotnick, A.: Automated substring hole analysis. In: ICSE 2009, pp. 203\u2013206 (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5070982"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Adler, Y., Farchi, E., Klausner, M., Pelleg, D., Raz, O., Shochat, M., Ur, S., Zlotnick, A.: Advanced Code Coverage Analysis Using Substring Holes. In: ISSTA 2009 (2009)","DOI":"10.1145\/1572272.1572278"},{"issue":"11","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1109\/TC.2006.173","volume":"55","author":"H. Azatchi","year":"2006","unstructured":"Azatchi, H., Fournier, L., Marcus, E., Ur, S., Zohar, K.: Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Comput.\u00a055( 11), 1367\u20131379 (2006)","journal-title":"IEEE Trans. Comput."},{"key":"9_CR5","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bryce, R.C., Colbourn, C.J.: Test prioritization for pairwise interaction coverage. In: Proceedings of the 1st International Workshop on Advances in Model-Based Testing (May 2005)","DOI":"10.1145\/1083274.1083275"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Buchnik, E., Ur, S.: Compacting regression-suites on-the-fly. In: Proceedings of the 4th Asia Pacific Software Engineering Conference, pp. 385\u2013394 (December 1997)","DOI":"10.1109\/APSEC.1997.640195"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Grinwald, R., Harel, E., Orgad, M., Ur, S., Ziv, A.: User Defined Coverage\u2014a Tool-Supported Methodology for Design Verification. In: Proceedings of the 35th Annual Conference on Design Automation (1998)","DOI":"10.1145\/277044.277081"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Lachish, O., Marcus, E., Ur, S., Ziv, A.: Hole Analysis for Functional Coverage Data. In: Proceedings of the 39th Conference on Design Automation (2002)","DOI":"10.1145\/513918.514119"},{"key":"9_CR10","volume-title":"The Craft of Software Testing: Subsystem Testing Including Object-based and Object-oriented Testing","author":"B. Marick","year":"1995","unstructured":"Marick, B.: The Craft of Software Testing: Subsystem Testing Including Object-based and Object-oriented Testing. Prentice-Hall, Englewood Cliffs (1995) ISBN 0131774115"},{"key":"9_CR11","volume-title":"Functional Verification Coverage Measurement and Analysis","author":"A. Piziali","year":"2004","unstructured":"Piziali, A.: Functional Verification Coverage Measurement and Analysis. Springer, Heidelberg (2004)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Yang, Q., Li, J.J., Weiss, D.: A survey of coverage based testing tools. In: Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006 (2006)","DOI":"10.1145\/1138929.1138949"},{"key":"9_CR13","unstructured":"Coverage-Driven Functional Verification: Using Coverage to Speed Verification and Ensure Completeness. Verisity Design, Inc. (2001), http:\/\/www.verisity.com\/resources\/whitepaper\/coverage_driven.html (retrieved)"},{"key":"9_CR14","unstructured":"Specman tool, http:\/\/www.verisity.com\/products\/specman.html (retrieved)"},{"key":"9_CR15","unstructured":"FoCuS tool, http:\/\/www.alphaworks.ibm.com\/tech\/focus (retrieved)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19237-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T08:49:08Z","timestamp":1559983748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19237-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642192364","9783642192371"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19237-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}