{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:42:14Z","timestamp":1742384534365},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281955"},{"type":"electronic","value":"9783540318996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11537328_6","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T20:02:25Z","timestamp":1279828945000},"page":"28-42","source":"Crossref","is-referenced-by-count":18,"title":["An Incremental Heap Canonicalization Algorithm"],"prefix":"10.1007","author":[{"given":"Madanlal","family":"Musuvathi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David L.","family":"Dill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: From code to models. Newcastle upon Tyne, U.K., pp. 3\u201310 (2001)","DOI":"10.1109\/CSD.2001.981759"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Laubach, S., Pasareanu, C., Robby, Z.H.: Bandera: Extracting finite-state models from java source code. In: ICSE 2000 (2000)","DOI":"10.1145\/337180.337234"},{"key":"6_CR3","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Model checking programs. In: IEEE International Conference on Automated Software Engineering, ASE (2000)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Park, D., Chou, A., Engler, D.R., Dill, D.L.: CMC: A Pragmatic Approach to Model Checking Real Code. In: Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (2002)","DOI":"10.1145\/1060289.1060297"},{"key":"6_CR5","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2003)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-45139-0_6","volume-title":"Model Checking Software","author":"F. Lerda","year":"2001","unstructured":"Lerda, F., Visser, W.: Addressing dynamic issues of program model checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 80\u2013102. Springer, Heidelberg (2001)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Iosif, R.: Exploiting Heap Symmetries in Explicit-State Model Checking of Software. In: Proceedings of 16th IEEE Conference on Automated Software Engineering (2001)","DOI":"10.1109\/ASE.2001.989811"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Frigioni, D., Marchetti-Spaccamela, A., Nanni, U.: Incremental algorithms for single-source shortest path trees. In: Proceedings of Foundations of Software Technology and Theoretical Computer Science, pp. 112\u2013224 (1994)","DOI":"10.1007\/3-540-58715-2_118"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Narvaez, P., Siu, K.Y., Tzeng, H.Y.: New dynamic SPT algorithm based on a ball-and-string model. In: INFOCOM, vol.\u00a0(2), pp. 973\u2013981 (1999)","DOI":"10.1109\/INFCOM.1999.751488"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Andrews, T., Qadeer, S., Rehof, J., Rajamani, S.K., Xie, Y.: Zing: Exploiting program structure for model checking concurrent software. In: Proceedings of the 15th International Conference on Concurrency Theory (2004)","DOI":"10.1007\/978-3-540-28644-8_1"},{"key":"6_CR11","volume-title":"Computers and Intractability","author":"M.R. Gary","year":"1979","unstructured":"Gary, M.R., Johnson, D.S.: Computers and Intractability. Freeman, New York (1979)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Park, D., Chou, A., Engler, D., Dill, D.: CMC: A pragmatic approach to model checking real code. In: Proceedings of Operating Systems Design and Implementation, OSDI (2002)","DOI":"10.1145\/1060289.1060297"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1006\/jagm.1996.0046","volume":"21","author":"G. Ramalingam","year":"1996","unstructured":"Ramalingam, G., Reps, T.W.: An incremental algorithm for a generalization of the shortest-path problem. J. Algorithms\u00a021, 267\u2013305 (1996)","journal-title":"J. Algorithms"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Robby, Dwyer, M.B., Hatcliff, J., Iosif, R.: Space-reduction strategies for model checking dynamic software. In: SoftMC 2003 Workshop on Software Model Checking. Electronic Notes in Theoretical Computer Science, vol.\u00a089 (2003)","DOI":"10.1016\/S1571-0661(05)80001-5"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-540-30494-4_26","volume-title":"Formal Methods in Computer-Aided Design","author":"P.C. Dillinger","year":"2004","unstructured":"Dillinger, P.C., Manolios, P.: Bloom filters in probabilistic verification. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS, vol.\u00a03312, pp. 367\u2013381. Springer, Heidelberg (2004)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Carter, J.L., Wegman, M.N.: Universal classes of hash functions. Journal of Computing and System Sciences, 143\u2013154 (1979)","DOI":"10.1016\/0022-0000(79)90044-8"},{"key":"6_CR17","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.L., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11537328_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:36Z","timestamp":1605643956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11537328_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281955","9783540318996"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11537328_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}