{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:53:01Z","timestamp":1725519181199},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878728"},{"type":"electronic","value":"9783540878735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87873-5_4","type":"book-chapter","created":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T12:04:10Z","timestamp":1222344250000},"page":"4-5","source":"Crossref","is-referenced-by-count":0,"title":["Combining Tests and Proofs"],"prefix":"10.1007","author":[{"given":"Madhu","family":"Gopinathan","sequence":"first","affiliation":[]},{"given":"Aditya","family":"Nori","sequence":"additional","affiliation":[]},{"given":"Sriram","family":"Rajamani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"128","volume-title":"POPL 2002: Principles of Programming Languages","author":"G.C. Necula","year":"2002","unstructured":"Necula, G.C., McPeak, S., Weimer, W.: CCured: Type-safe retrofitting of legacy code. In: POPL 2002: Principles of Programming Languages, pp. 128\u2013139. ACM Press, New York (2002)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","first-page":"117","volume-title":"Fast Software Encryption","author":"B.S. Gulavani","year":"2006","unstructured":"Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: SYNERGY: A new algorithm for property checking. In: Robshaw, M. (ed.) FSE 2006. LNCS, vol.\u00a04047. pp. 117\u2013127. Springer, Heidelberg (2006)"},{"key":"4_CR3","volume-title":"ISSTA 2008: International Symposium on Software Testing and Analysis","author":"N.E. Beckman","year":"2008","unstructured":"Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: ISSTA 2008: International Symposium on Software Testing and Analysis. ACM Press, New York (to appear, 2008)"},{"key":"4_CR4","volume-title":"OOPSLA 2008: ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications","author":"M. Gopinathan","year":"2008","unstructured":"Gopinathan, M., Rajamani, S.K.: Enforcing Object Protocols by Combining Static and Dynamic Analysis. In: OOPSLA 2008: ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications. ACM Press, New York (to appear, 2008)"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87873-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:47Z","timestamp":1619524247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87873-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878728","9783540878735"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87873-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}