{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:41Z","timestamp":1725516521083},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_38","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"354-361","source":"Crossref","is-referenced-by-count":0,"title":["Toasters, Seat Belts, and Inferring Program Properties"],"prefix":"10.1007","author":[{"given":"David","family":"Evans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., \u010cern\u00fd, P., Madhusudan, P., Nam, W.: Synthesis of Interface Specifications for Java classes. In: Proceedings of the ACM Symposium on Principles of Programming Languages (2005)","DOI":"10.1145\/1040305.1040314"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bodik, R., Larus, J.R.: Mining Specifications. In: Proceedings of the ACM Symposium on Principles of Programming Languages (January 2002)","DOI":"10.1145\/503272.503275"},{"key":"38_CR3","unstructured":"Anderson, R.: Economics and Security Resource Page, http:\/\/www.cl.cam.ac.uk\/users\/rja14\/econsec.html"},{"volume-title":"Economics of Information Security","year":"2004","key":"38_CR4","unstructured":"Camp, L.J., Lewis, S. (eds.): Economics of Information Security, September 2004. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"38_CR5","unstructured":"Chen, H., Dean, D., Wagner, D.: Model Checking One Million Lines of C Code. In: Proceedings of the 11th Annual Network and Distributed System Security Symposium (NDSS) (February 2004)"},{"key":"38_CR6","unstructured":"CS150: Computer Science from Ada and Euclid to Quantum Computing and the World Wide Web. University of Virginia Course, http:\/\/www.cs.virginia.edu\/cs150"},{"key":"38_CR7","unstructured":"CS201j: Engineering Software. University of Virginia, http:\/\/www.cs.virginia.edu\/cs201j"},{"key":"38_CR8","unstructured":"CS655: Graduate Programming Languages. University of Virginia Course. (Spring, 2000), http:\/\/www.cs.virginia.edu\/evans\/cs655-S00\/mocktrial\/"},{"issue":"3","key":"38_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compind.2003.10.005","volume":"53","author":"J.E. Cook","year":"2004","unstructured":"Cook, J.E., Du, Z., Liu, C., Wolf, A.L.: Discovering Models of Behavior for Concurrent Workflows. Computers in Industry\u00a053(3), 297\u2013319 (2004)","journal-title":"Computers in Industry"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Das, M., Lerner, S., Seigle, M.: ESP: Path-Sensitive Program Verification In Polynomial Time. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (June 2002)","DOI":"10.1145\/512529.512538"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Demsky, B., Rinard, M.: Data Structure Repair Using Goal-Directed Reasoning. In: Proceedings of the 2005 International Conference on Software Engineering (May 2005)","DOI":"10.1145\/1062455.1062499"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Engler, D., Chelf, B., Chou, A., Hallem, S.: Checking System Rules Using System-Specific Programmer-Written Compiler Extensions. In: Symposium on Operating Systems Design and Implementation (October 2000)","DOI":"10.21236\/ADA419626"},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions on Software Engineering (February 2001)","DOI":"10.1109\/32.908957"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Evans, D.: Static Detection of Dynamic Memory Errors. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (May 1996)","DOI":"10.1145\/231379.231389"},{"key":"38_CR15","unstructured":"Evans, D., Peck, M.: Simulating Critical Software Development. University of Virginia Computer Science Technical Report, UVA-CS-TR2004-04 (February 2004)"},{"key":"38_CR16","unstructured":"Evans, L.: Traffic Safety. Science Serving Society Press (2004), http:\/\/scienceservingsociety.com\/traffic-safety.htm"},{"key":"38_CR17","unstructured":"Evans, L.: Personal communication (April 2005)"},{"key":"38_CR18","unstructured":"Gates, B.: Trustworthy Computing Initiative (memo to all Microsoft employees) (January 15, 2002)"},{"key":"38_CR19","unstructured":"Howard, M., Pincus, J., Wing, J.M.: Measuring Relative Attack Surfaces. In: Proceedings of Workshop on Advanced Developments in Software and Systems Security, Taipei (December 2003)"},{"key":"38_CR20","unstructured":"Larochelle, D., Evans, D.: Statically Detecting Likely Buffer Overflow Vulnerabilities. In: USENIX Security Symposium (August 2001)"},{"key":"38_CR21","unstructured":"Microsoft Corporation. Trustworthy Computing, http:\/\/www.microsoft.com\/twc"},{"key":"38_CR22","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 (December 2002)","DOI":"10.1145\/1060289.1060297"},{"key":"38_CR23","unstructured":"Ozment, A.: Bug Auctions: Vulnerability Markets Reconsidered. In: Workshop on Economics and Information Security (May 2004)"},{"key":"38_CR24","doi-asserted-by":"crossref","unstructured":"Rinard, M.: Acceptability-Oriented Computing. In: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications Companion (OOPSLA 2003 Companion) Onwards! Session, California (October 2003)","DOI":"10.1145\/949344.949402"},{"key":"38_CR25","unstructured":"Rinard, M., Cadar, C., Dumitran, D., Roy, D.M., Leu, T., Beebee Jr, W.S.: Enhancing Server Availability and Security Through Failure-Oblivious Computing. In: Proceedings of the 6th Symposium on Operating Systems Design and Implementation (December 2004)"},{"key":"38_CR26","unstructured":"Swift, M., Annalamai, M., Bershad, B., Levy, H.: Recovering Device Drivers. In: Proceedings of the 6th Symposium on Operating Systems Design and Implementation (December 2004)"},{"key":"38_CR27","doi-asserted-by":"crossref","unstructured":"Yang, J., Evans, D.: Dynamically Inferring Temporal Properties. In: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (June 2004)","DOI":"10.1145\/996821.996832"},{"key":"38_CR28","doi-asserted-by":"crossref","unstructured":"Yang, J., Evans, D.: Automatically Inferring Temporal Properties for Program Evolution. In: 15th IEEE International Symposium on Software Reliability Engineering (November 2004)","DOI":"10.1109\/ISSRE.2004.11"},{"key":"38_CR29","doi-asserted-by":"crossref","unstructured":"Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.: Perracotta: Mining Temporal API Rules from Imperfect Traces. In: 28th International Conference in Software Engineering (May 2006)","DOI":"10.1145\/1134285.1134325"},{"key":"38_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/978-3-540-31980-1_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"W. Weimer","year":"2005","unstructured":"Weimer, W., Necula, G.: Mining Temporal Specifications for Error Detection. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 461\u2013476. Springer, Heidelberg (2005)"},{"key":"38_CR31","doi-asserted-by":"crossref","unstructured":"Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: International Symposium on Software Testing and Analysis (July 2002)","DOI":"10.1145\/566172.566212"}],"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_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T03:43:43Z","timestamp":1557719023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}