{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T08:37:28Z","timestamp":1771576648147,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,5,6]],"date-time":"2010-05-06T00:00:00Z","timestamp":1273104000000},"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":[[2010,5,6]]},"DOI":"10.1145\/1806672.1806687","type":"proceedings-article","created":{"date-parts":[[2010,6,8]],"date-time":"2010-06-08T12:37:34Z","timestamp":1276000654000},"page":"73-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Expect the unexpected"],"prefix":"10.1145","author":[{"given":"Cindy","family":"Rubio-Gonz\u00e1lez","sequence":"first","affiliation":[{"name":"University of Wisconsin - Madison, Madison, WI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Liblit","sequence":"additional","affiliation":[{"name":"University of Wisconsin - Madison, Madison, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,5,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/501516.501543"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/224841.225047"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390664"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00169-5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/944868.944910"},{"key":"e_1_3_2_1_6_1","unstructured":"N. Kidd T. Reps and A. Lal. WALi: A C++ library for weighted pushdown systems. http:\/\/www.cs.wisc.edu\/wpis\/wpds\/ 2009.  N. Kidd T. Reps and A. Lal. WALi: A C++ library for weighted pushdown systems. http:\/\/www.cs.wisc.edu\/wpis\/wpds\/ 2009."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"A.\n      Lal N.\n      Kidd T. W.\n      Reps and \n      T.\n      Touili\n  . \n  Abstract error projection\n  . In H. R. Nielson and G. Fil\u00e9 editors SAS volume \n  4634\n   of \n  Lecture Notes in Computer Science pages \n  200\n  --\n  217\n  . \n  Springer 2007\n  .   A. Lal N. Kidd T. W. Reps and T. Touili. Abstract error projection. In H. R. Nielson and G. Fil\u00e9 editors SAS volume 4634 of Lecture Notes in Computer Science pages 200--217. Springer 2007.","DOI":"10.1007\/978-3-540-74061-2_13"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1241364"},{"key":"e_1_3_2_1_10_1","unstructured":"J. Lind-Nielsen. BuDDy - A Binary Decision Diagram Package. http:\/\/sourceforge.net\/projects\/buddy 2004.  J. Lind-Nielsen. BuDDy - A Binary Decision Diagram Package. http:\/\/sourceforge.net\/projects\/buddy 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1026533.1026548"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"G. C.\n      Necula S.\n      McPeak S. P.\n      Rahul and \n      W.\n      Weimer\n  . \n  CIL: Intermediate language and tools for analysis and transformation of C programs\n  . In R. N. Horspool editor CC volume \n  2304\n   of \n  Lecture Notes in Computer Science pages \n  213\n  --\n  228\n  . \n  Springer 2002\n  .   G. C. Necula S. McPeak S. P. Rahul and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In R. N. Horspool editor CC volume 2304 of Lecture Notes in Computer Science pages 213--228. Springer 2002.","DOI":"10.1007\/3-540-45937-5_16"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"e_1_3_2_1_14_1","volume-title":"Workshop on Evaluation Frameworks for Open Source Software (EFOSS)","author":"Robles G.","year":"2006","unstructured":"G. Robles , J. M. Gonz\u00e1lez Barahona , and J. L. Prieto Mart\u00ednez . Assessing and evaluating documentation in libre software projects. In T. Wasserman and M. Pal, editors , Workshop on Evaluation Frameworks for Open Source Software (EFOSS) , Como, Italy , June 2006 . International Federation for Information Processing. G. Robles, J. M. Gonz\u00e1lez Barahona, and J. L. Prieto Mart\u00ednez. Assessing and evaluating documentation in libre software projects. In T. Wasserman and M. Pal, editors, Workshop on Evaluation Frameworks for Open Source Software (EFOSS), Como, Italy, June 2006. International Federation for Information Processing."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542506"},{"key":"e_1_3_2_1_16_1","volume-title":"Second International Conference on Innovative Views of .NET Technologies","author":"Sacramento P.","year":"2006","unstructured":"P. Sacramento , B. Cabral , and P. Marques . Unchecked exceptions: Can the programmer be trusted to document exceptions? In Second International Conference on Innovative Views of .NET Technologies , Florian\u00f3polis, Brazil , Oct. 2006 . Microsoft. P. Sacramento, B. Cabral, and P. Marques. Unchecked exceptions: Can the programmer be trusted to document exceptions? In Second International Conference on Innovative Views of .NET Technologies, Florian\u00f3polis, Brazil, Oct. 2006. Microsoft."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1600193.1600250"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294948.1294952"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/850947.853305"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294276"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1138018"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318659"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237172"}],"event":{"name":"PASTE '10: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","location":"Toronto Ontario Canada","acronym":"PASTE '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1806672.1806687","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1806672.1806687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:32Z","timestamp":1750245752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1806672.1806687"}},"subtitle":["error code mismatches between documentation and the real world"],"short-title":[],"issued":{"date-parts":[[2010,5,6]]},"references-count":22,"alternative-id":["10.1145\/1806672.1806687","10.1145\/1806672"],"URL":"https:\/\/doi.org\/10.1145\/1806672.1806687","relation":{},"subject":[],"published":{"date-parts":[[2010,5,6]]},"assertion":[{"value":"2010-05-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}