{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:59:52Z","timestamp":1743040792762,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642017018"},{"type":"electronic","value":"9783642017025"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01702-5_12","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T14:01:45Z","timestamp":1240063305000},"page":"84-98","source":"Crossref","is-referenced-by-count":2,"title":["Evaluating Workloads Using Comparative Functional Coverage"],"prefix":"10.1007","author":[{"given":"Yoram","family":"Adler","sequence":"first","affiliation":[]},{"given":"Dale","family":"Blue","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Conti","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Prewitt","sequence":"additional","affiliation":[]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Leszak, M., Perry, D.E., Stoll, D.: A Case Study in Root Cause Defect Analysis. In: 22nd International Conference on Software Engineering, p. 428 (2000)","DOI":"10.1145\/337180.337232"},{"key":"12_CR2","first-page":"225","volume-title":"22nd International Conference on Software Engineering","author":"A. Mockus","year":"2005","unstructured":"Mockus, A., Zhang, P., Li, P.: Drivers for Customer Perceived Software Quality. In: 22nd International Conference on Software Engineering, pp. 225\u2013233. ACM Press, St. Louis (2005)"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/956060.956075","volume-title":"6th ACM International Workshop on Data Warehousing and OLAP","author":"M. Golfarelli","year":"2003","unstructured":"Golfarelli, M., Saltarelli, E.: The Workload You Have, the Workload You Would Like. In: 6th ACM International Workshop on Data Warehousing and OLAP, pp. 79\u201385. ACM Press, New York (2003), http:\/\/doi.acm.org\/10.1145\/956060.956075"},{"key":"12_CR4","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":"12_CR5","unstructured":"Coverage-Driven Functional Verification: Using Coverage to Speed Verification and Ensure Completeness. Verisity Design, Inc. (2001), Retrieved from: http:\/\/www.verisity.com\/resources\/whitepaper\/coverage_driven.html"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/775832.775906","volume-title":"Proceedings of the 40th Conference on Design Automation","author":"A. Gluska","year":"2003","unstructured":"Gluska, A.: Coverage-Oriented Verification of Banias. In: Proceedings of the 40th Conference on Design Automation, pp. 280\u2013285. ACM Press, New York (2003), http:\/\/doi.acm.org\/10.1145\/775832.775906"},{"key":"12_CR7","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\/514117.514119"},{"key":"12_CR8","unstructured":"Specman tool, Retrieved from: http:\/\/www.verisity.com\/products\/specman.html"},{"key":"12_CR9","unstructured":"FoCuS tool, Retrieved from: http:\/\/www.alphaworks.ibm.com\/tech\/focus"},{"issue":"11","key":"12_CR10","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":"12_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)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01702-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T08:27:17Z","timestamp":1633336037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01702-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642017018","9783642017025"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01702-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}