{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T11:25:10Z","timestamp":1745407510019},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_54","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"496-501","source":"Crossref","is-referenced-by-count":24,"title":["Regression Verification - A Practical Way to Verify Programs"],"prefix":"10.1007","author":[{"given":"Ofer","family":"Strichman","sequence":"first","affiliation":[]},{"given":"Benny","family":"Godlin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"54_CR1","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"W. Ackermann","year":"1954","unstructured":"Ackermann, W.: Solvable cases of the Decision Problem. In: Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam (1954)"},{"key":"54_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45139-0_7","volume-title":"Model Checking Software","author":"T. Ball","year":"2001","unstructured":"Ball, T., Rajamani, S.: Automatically validating temporal safety properties of interfaces. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, Springer, Heidelberg (2001)"},{"key":"54_CR3","doi-asserted-by":"crossref","unstructured":"Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: International Conference on Software Engineering (ICSE) (to appear, 2003) magic","DOI":"10.1109\/ICSE.2003.1201217"},{"key":"54_CR4","volume-title":"Proceedings of SPIN2000","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Proceedings of SPIN2000, Springer, Heidelberg (2000)"},{"key":"54_CR5","unstructured":"Fowler, M.:, \n                    \n                      http:\/\/www.refactoring.com"},{"key":"54_CR6","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"54_CR7","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Symposium on Principles of Programming Languages, pp. 58\u201370 (2002) (BLAST)","DOI":"10.1145\/503272.503279"},{"issue":"1","key":"54_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: The verifying compiler: A grand challenge for computing research. J. ACM\u00a050(1), 63\u201369 (2003)","journal-title":"J. ACM"},{"issue":"4","key":"54_CR9","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1109\/TSE.2002.995426","volume":"28","author":"G. Holzmann","year":"2002","unstructured":"Holzmann, G., Smith, M.: An automated verification method for distributed systems software based on model extraction. IEEE Trans. on Software Engineering\u00a028(4), 364\u2013377 (2002)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"54_CR10","first-page":"368","volume-title":"Proceedings of DAC 2003","author":"D. Kroening","year":"2003","unstructured":"Kroening, D., Clarke, E., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: Proceedings of DAC 2003, pp. 368\u2013371. ACM Press, New York (2003)"},{"key":"54_CR11","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Park, D.Y., Chou, A., Engler, D.R., Dill, D.L.: Cmc: A pragmatic approach to model checking real code. In: OSDI (2002)","DOI":"10.1145\/1060289.1060297"},{"issue":"1","key":"54_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/S0890-5401(02)93175-5","volume":"178","author":"A. Pnueli","year":"2002","unstructured":"Pnueli, A., Rodeh, Y., Strichman, O., Siegel, M.: The small model property: How small can it be? Information and computation\u00a0178(1), 279\u2013293 (2002)","journal-title":"Information and computation"},{"key":"54_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol.\u00a01384, pp. 151\u2013166. Springer, Heidelberg (1998)"},{"key":"54_CR14","volume-title":"POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages","author":"Y. Xie","year":"2005","unstructured":"Xie, Y., Aiken, A.: Scalable error detection using boolean satisfability. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T01:05:57Z","timestamp":1548378357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}