{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:32Z","timestamp":1750307912375,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,9]],"date-time":"2007-07-09T00:00:00Z","timestamp":1183939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,9]]},"DOI":"10.1145\/1273463.1273478","type":"proceedings-article","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T02:57:04Z","timestamp":1270609024000},"page":"97-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Variably interprocedural program analysis for runtime error detection"],"prefix":"10.1145","author":[{"given":"Aaron","family":"Tomb","sequence":"first","affiliation":[{"name":"Univ. of California, Santa Cruz"}]},{"given":"Guillaume","family":"Brat","sequence":"additional","affiliation":[{"name":"RIACS\/NASA Ames"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[{"name":"SEVEN Networks"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science pages 515--518","volume-title":"Proceedings of the International Conference on Computer Aided Verification","author":"Berezin C.","year":"2004","unstructured":"C. BarrettandS. Berezin . CVCLite: A new implementation of the cooperating validity checker . In R. Alur and D. A. Peled, editors, Proceedings of the International Conference on Computer Aided Verification volume 3114 of Lecture Notes in Computer Science pages 515--518 . Springer-Verlag , July 2004 . C. BarrettandS. Berezin. CVCLite: A new implementation of the cooperating validity checker. In R. Alur and D. A. Peled, editors, Proceedings of the International Conference on Computer Aided Verification volume 3114 of Lecture Notes in Computer Science pages 515--518. Springer-Verlag, July 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808445"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_2"},{"key":"e_1_3_2_1_4_1","volume-title":"Nov.","author":"Copeland T.","year":"2005","unstructured":"T. Copeland . PMD Applied Centennial Books , Nov. 2005 . T. Copeland. PMD Applied Centennial Books, Nov. 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"e_1_3_2_1_6_1","unstructured":"Coverity Inc. http:\/\/www.coverity.com  Coverity Inc. http:\/\/www.coverity.com"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062533"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146267"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/88616.96551"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337240"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1992.0029"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_15_1","author":"G","year":"2003","unstructured":"G . J. Holzmann. The Spin Model Checker Addison-Wesley , 2003 . G. J. Holzmann. The Spin Model Checker Addison-Wesley, 2003.","journal-title":"J. Holzmann. The Spin Model Checker Addison-Wesley"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"e_1_3_2_1_17_1","volume-title":"a C Program Checker BellLabs","author":"Johnson S. C.","year":"1978","unstructured":"S. C. Johnson . Lint , a C Program Checker BellLabs , 1978 . S. C. Johnson. Lint, a C Program Checker BellLabs, 1978."},{"key":"e_1_3_2_1_18_1","volume-title":"UNISEX: A UNIX-based symbolic executor for Pascal. Software - Practice and Experience 15(5):439--458","author":"Kemmerer R. A.","year":"1985","unstructured":"R. A. Kemmerer and S. T. Eckman . UNISEX: A UNIX-based symbolic executor for Pascal. Software - Practice and Experience 15(5):439--458 , 1985 . R. A. Kemmerer and S. T. Eckman. UNISEX: A UNIX-based symbolic executor for Pascal. Software - Practice and Experience 15(5):439--458, 1985."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_21_1","unstructured":"Klocwork Inc. http:\/\/www.klocwork.com  Klocwork Inc. http:\/\/www.klocwork.com"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226319"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 2001 USENIX Security Symposium","author":"Larochelle D.","year":"2001","unstructured":"D. Larochelle and D. Evans . Statically detecting likely buffer over ?ow vulnerabilities . In Proceedings of the 2001 USENIX Security Symposium Aug. 2001 . D. Larochelle and D. Evans. Statically detecting likely buffer over ?ow vulnerabilities. In Proceedings of the 2001 USENIX Security Symposium Aug. 2001."},{"key":"e_1_3_2_1_24_1","volume-title":"May","author":"National Institute of Standards and Technology.","year":"2002","unstructured":"National Institute of Standards and Technology. The economic impacts of inadequate infrastructure for software testing , May 2002 . National Institute of Standards and Technology. The economic impacts of inadequate infrastructure for software testing, May 2002."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940107"},{"key":"e_1_3_2_1_27_1","volume-title":"POOC: A platform for object-oriented constraint programming","author":"Schlenker H.","year":"2002","unstructured":"H. Schlenker and G. Ringwelski . POOC: A platform for object-oriented constraint programming , 2002 . H. Schlenker and G. Ringwelski. POOC: A platform for object-oriented constraint programming, 2002."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_29_1","first-page":"125","volume-title":"Proceedings of CASCON 1999","author":"Vall\u00e9e-Rai R.","year":"1999","unstructured":"R. Vall\u00e9e-Rai , L. Hendren , V. Sundaresan , P. Lam , E. Gagnon , and P. Co . Soot -a Java optimization framework . In Proceedings of CASCON 1999 pages 125 -- 135 , 1999 . R. Vall\u00e9e-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot -a Java optimization framework. In Proceedings of CASCON 1999 pages 125--135, 1999."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_24"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018442.1022059"}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London United Kingdom","acronym":"ISSTA07"},"container-title":["Proceedings of the 2007 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273463.1273478","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273463.1273478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:52Z","timestamp":1750258072000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273463.1273478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":32,"alternative-id":["10.1145\/1273463.1273478","10.1145\/1273463"],"URL":"https:\/\/doi.org\/10.1145\/1273463.1273478","relation":{},"subject":[],"published":{"date-parts":[[2007,7,9]]},"assertion":[{"value":"2007-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}