{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:57Z","timestamp":1750306857622,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568285","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"596-607","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Case studies and tools for contract specifications"],"prefix":"10.1145","author":[{"given":"Todd W.","family":"Schiller","sequence":"first","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Kellen","family":"Donohue","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Forrest","family":"Coward","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91652"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 31st International Conference on Software Engineering","author":"Barnett M.","year":"2009","unstructured":"M. Barnett , M. Fahndrich , P. de Halleux , F. Logozzo , and N. Tillmann . Exploiting the synergy between automated-test-generation and programming-by-contract. In ICSE\u201909 , Proceedings of the 31st International Conference on Software Engineering , May 2009 . M. Barnett, M. Fahndrich, P. de Halleux, F. Logozzo, and N. Tillmann. Exploiting the synergy between automated-test-generation and programming-by-contract. In ICSE\u201909, Proceedings of the 31st International Conference on Software Engineering, May 2009."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_5_1","first-page":"113","volume-title":"Rigorous Development of Complex Fault-Tolerant Systems","author":"Chalin P.","unstructured":"P. Chalin . Are practitioners writing contracts ? In Rigorous Development of Complex Fault-Tolerant Systems , pages 100\u2013 113 . Springer-Verlag, 2006. P. Chalin. Are practitioners writing contracts? In Rigorous Development of Complex Fault-Tolerant Systems, pages 100\u2013113. Springer-Verlag, 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394776"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1123058.1123068"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_18"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680018"},{"key":"e_1_3_2_1_10_1","volume-title":"Springer","author":"Cousot P.","year":"2013","unstructured":"P. Cousot , R. Cousot , M. F\u00e4hndrich , and F. Logozzo . Automatic inference of necessary preconditions. In Verification, Model Checking, and Abstract Interpretation, pages 128\u2013148 . Springer , 2013 . P. Cousot, R. Cousot, M. F\u00e4hndrich, and F. Logozzo. Automatic inference of necessary preconditions. In Verification, Model Checking, and Abstract Interpretation, pages 128\u2013148. Springer, 2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384633"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134435"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146266"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_17"},{"key":"e_1_3_2_1_19_1","first-page":"48","volume-title":"Proceedings of the 2nd Workshop on Developing Tools as Plug-ins","author":"Fahndrich M.","unstructured":"M. Fahndrich , M. Barnett , D. Leijen , and F. Logozzo . Integrating a set of contract checking tools into Visual Studio. In TOPI\u20192012 , Proceedings of the 2nd Workshop on Developing Tools as Plug-ins , pages 43\u2013 48 . IEEE, 2012. M. Fahndrich, M. Barnett, D. Leijen, and F. Logozzo. Integrating a set of contract checking tools into Visual Studio. In TOPI\u20192012, Proceedings of the 2nd Workshop on Developing Tools as Plug-ins, pages 43\u201348. IEEE, 2012."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1949303.1949305"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_22_1","volume-title":"MIT Department of Electrical Engineering and Computer Science","author":"Guo P. J.","year":"2006","unstructured":"P. J. Guo . A scalable mixed-level approach to dynamic analysis of C and C++ programs. Master\u2019s thesis , MIT Department of Electrical Engineering and Computer Science , Cambridge, MA , May 5, 2006 . P. J. Guo. A scalable mixed-level approach to dynamic analysis of C and C++ programs. Master\u2019s thesis, MIT Department of Electrical Engineering and Computer Science, Cambridge, MA, May 5, 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146268"},{"key":"e_1_3_2_1_24_1","first-page":"681","volume-title":"Proceedings of the 34th International Conference on Software Engineering","author":"Johnson B.","year":"2013","unstructured":"B. Johnson , Y. Song , E. Murphy-Hill , and R. Bowdidge . Why don\u2019t software developers use static analysis tools to find bugs? In ICSE\u201913 , Proceedings of the 34th International Conference on Software Engineering , pages 672\u2013 681 , San Francisco, CA, USA, May 22\u201324 , 2013 . B. Johnson, Y. Song, E. Murphy-Hill, and R. Bowdidge. Why don\u2019t software developers use static analysis tools to find bugs? In ICSE\u201913, Proceedings of the 34th International Conference on Software Engineering, pages 672\u2013681, San Francisco, CA, USA, May 22\u201324, 2013."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972794"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287685"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384626"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384716.2384724"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566213"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587054"},{"key":"e_1_3_2_1_34_1","volume-title":"Carnegie-Mellon University","author":"O\u2019Callahan R.","year":"2001","unstructured":"R. O\u2019Callahan . Generalized Aliasing as a Basis for Program Analysis Tools. PhD thesis , Carnegie-Mellon University , Pittsburgh, PA , May 2001 . R. O\u2019Callahan. Generalized Aliasing as a Basis for Program Analysis Tools. PhD thesis, Carnegie-Mellon University, Pittsburgh, PA, May 2001."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253351"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390656"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572284"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486823"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.63"},{"key":"e_1_3_2_1_41_1","volume-title":"MIT Department of Electrical Engineering and Computer Science","author":"Rudd R. A.","year":"2010","unstructured":"R. A. Rudd . An improved scalable mixed-level approach to dynamic analysis of c and c++ programs. Master\u2019s thesis , MIT Department of Electrical Engineering and Computer Science , Cambridge, MA , January 2010 . R. A. Rudd. An improved scalable mixed-level approach to dynamic analysis of c and c++ programs. Master\u2019s thesis, MIT Department of Electrical Engineering and Computer Science, Cambridge, MA, January 2010."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384624"},{"key":"e_1_3_2_1_43_1","volume-title":"TIOBE programming community index for august","author":"Software T.","year":"2013","unstructured":"T. Software . TIOBE programming community index for august 2013 , September 2013. T. Software. TIOBE programming community index for august 2013, September 2013."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336776"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081749"},{"key":"e_1_3_2_1_47_1","series-title":"Lecture Notes in Computer Science","first-page":"155","volume-title":"Tools for Practical Software Verification","author":"Tschannen J.","unstructured":"J. Tschannen , C. Furia , M. Nordio , and B. Meyer . Automatic verification of advanced object-oriented features: The autoproof approach . In B. Meyer and M. Nordio, editors, Tools for Practical Software Verification , volume 7682 of Lecture Notes in Computer Science , pages 133\u2013 155 . Springer Berlin Heidelberg, 2012. J. Tschannen, C. Furia, M. Nordio, and B. Meyer. Automatic verification of advanced object-oriented features: The autoproof approach. In B. Meyer and M. Nordio, editors, Tools for Practical Software Verification, volume 7682 of Lecture Notes in Computer Science, pages 133\u2013155. Springer Berlin Heidelberg, 2012."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1984708.1984721"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568285","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:30Z","timestamp":1750234230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":49,"alternative-id":["10.1145\/2568225.2568285","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568285","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}