{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T05:45:23Z","timestamp":1741153523904,"version":"3.38.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,3,31]],"date-time":"2011-03-31T00:00:00Z","timestamp":1301529600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s10009-011-0194-x","type":"journal-article","created":{"date-parts":[[2011,3,30]],"date-time":"2011-03-30T20:27:22Z","timestamp":1301516842000},"page":"201-205","source":"Crossref","is-referenced-by-count":0,"title":["Preface"],"prefix":"10.1007","volume":"13","author":[{"given":"Hana","family":"Chockler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan J.","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,31]]},"reference":[{"key":"194_CR1","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke E.M., Grumberg O., Peled D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"194_CR2","doi-asserted-by":"crossref","unstructured":"Chockler, H., Hu, A.J. (eds.): Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27\u201330, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5394, Springer (2009)","DOI":"10.1007\/978-3-642-01702-5"},{"issue":"7","key":"194_CR3","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis M., Logemann G., Loveland D.: A machine program for theorem proving. Commun. ACM 5(7), 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"issue":"3","key":"194_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis M., Putnam H.: A computing procedure for quantification theory. J. ACM 7(3), 201\u2013215 (1960)","journal-title":"J. ACM"},{"key":"194_CR5","doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Symposium on Logic in Computer Science (LICS), pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"194_CR6","unstructured":"Pearl, J. : Bayesian Networks: A Model of Self-Activated Memory for Evidential Reasoning. UCLA Technical Report CSD-850017 (1985)"},{"key":"194_CR7","volume-title":"Probabilistic Reasoning in Intelligent Systems","author":"J. Pearl","year":"1988","unstructured":"Pearl J.: Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, Massachusetts (1988)"},{"key":"194_CR8","unstructured":"Piziali, A.: Functional Verification Coverage Measurement and Analysis. Springer (2004)"},{"key":"194_CR9","volume-title":"Comprehensive Functional Verification\u2014The Complete Industry Cycle","author":"W. Roesner","year":"2005","unstructured":"Roesner W., Wile B., Goss J.C.: Comprehensive Functional Verification\u2014The Complete Industry Cycle. Morgan Kaufmann, Massachusetts (2005)"},{"key":"194_CR10","doi-asserted-by":"crossref","unstructured":"Yorav, K. (ed.): Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23\u201325, 2007, Proceedings, Lecture Notes in Computer Science, vol. 4899, Springer (2008)","DOI":"10.1007\/978-3-540-77966-7"},{"issue":"4","key":"194_CR11","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s10009-009-0116-3","volume":"11","author":"K. Yorav","year":"2009","unstructured":"Yorav K.: Haifa verification conference 2007. STTT 11(4), 269\u2013272 (2009)","journal-title":"STTT"},{"key":"194_CR12","unstructured":"Zeller, A.: Delta debugging. http:\/\/www.st.cs.uni-saarland.de\/dd\/"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0194-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-011-0194-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0194-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T19:13:36Z","timestamp":1741115616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-011-0194-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,31]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["194"],"URL":"https:\/\/doi.org\/10.1007\/s10009-011-0194-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2011,3,31]]}}}