{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:37:04Z","timestamp":1725896224047},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307287"},{"type":"electronic","value":"9783642307294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30729-4_7","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:49:46Z","timestamp":1340786986000},"page":"84-98","source":"Crossref","is-referenced-by-count":1,"title":["Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports"],"prefix":"10.1007","author":[{"given":"Tim","family":"Blackmore","sequence":"first","affiliation":[]},{"given":"David","family":"Halliwell","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Barker","sequence":"additional","affiliation":[]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[]},{"given":"Naresh","family":"Ramaram","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Piziali, A.: Functional Verification Coverage Measurement and Analysis. Springer (2004)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44798-9_13","volume-title":"Correct Hardware Design and Verification Methods","author":"G. Ratzaby","year":"2001","unstructured":"Ratzaby, G., Ur, S., Wolfsthal, Y.: Coverability Analysis Using Symbolic Model Checking. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, pp. 155\u2013160. Springer, Heidelberg (2001)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-45614-7_3","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"G. Ratsaby","year":"2002","unstructured":"Ratsaby, G., Sterin, B., Ur, S.: Improvements in Coverability Analysis. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 41\u201356. Springer, Heidelberg (2002)"},{"key":"7_CR4","unstructured":"Cunningham, G., Jackson, P., Dines, J.: Expression Coverability Analysis: Improving Code Coverage Analysis with Model Checking. In: Proceedings of the Design and Verification Conference (DVCon) (March 2004)"},{"key":"7_CR5","unstructured":"Andrews, M.: Tightening the Loop in Coverage Closure. Mentor Graphics, EDA Tech Forum (December 2008)"},{"key":"7_CR6","unstructured":"OneSpin Solutions GmbH: User Documentation: OneSpin 360TM, Version 4.0 (August 2006)"},{"key":"7_CR7","unstructured":"Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A Practical Tutorial on Modified Condition\/Decision Coverage. NASA, Technical Memorandum TM-2001-210876 (2001)"},{"key":"7_CR8","unstructured":"Watson, A.H., McCabe, T.J., Wallace, D.R.: Special Publication 500-235, Structured Testing: A Software Testing Methodology Using the Cyclomatic Complexity Metric. In: U.S. Department of Commerce\/National Institute of Standards and Technology (1996)"},{"key":"7_CR9","unstructured":"Accellera: Property Specification Language Reference Manual (v1.1) (June 2004)"},{"key":"7_CR10","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30729-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:29:00Z","timestamp":1620127740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30729-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307287","9783642307294"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30729-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}