{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:33Z","timestamp":1763468193598,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"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.2568281","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"620-631","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Inductive verification of data model invariants for web applications"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Boci\u0107","sequence":"first","affiliation":[{"name":"University of California at Santa Barbara, USA"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[{"name":"University of California at Santa Barbara, 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.1007\/11804192_17"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025211"},{"key":"e_1_3_2_1_3_1","first-page":"224","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation (OSDI 2008","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX conference on Operating systems design and implementation (OSDI 2008 ), pages 209\u2013 224 , 2008 . C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX conference on Operating systems design and implementation (OSDI 2008), pages 209\u2013224, 2008."},{"key":"e_1_3_2_1_4_1","unstructured":"cancan | RubyGems.org | your community gem host Sept. 2013. http:\/\/rubygems.org\/gems\/cancan.  cancan | RubyGems.org | your community gem host Sept. 2013. http:\/\/rubygems.org\/gems\/cancan."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142584"},{"issue":"3","key":"e_1_3_2_1_7_1","first-page":"35","article-title":"WAVE: Automatic verification of data-driven web services","volume":"31","author":"Deutsch A.","year":"2008","unstructured":"A. Deutsch and V. Vianu . WAVE: Automatic verification of data-driven web services . IEEE Data Engineering Bulletin , 31 ( 3 ): 35 \u2013 39 , 2008 . A. Deutsch and V. Vianu. WAVE: Automatic verification of data-driven web services. IEEE Data Engineering Bulletin, 31(3):35\u201339, 2008.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"e_1_3_2_1_8_1","unstructured":"devise | RubyGems.org | your community gem host Sept. 2013. http:\/\/rubygems.org\/gems\/devise.  devise | RubyGems.org | your community gem host Sept. 2013. http:\/\/rubygems.org\/gems\/devise."},{"key":"e_1_3_2_1_9_1","unstructured":"The Web framework for perfectionists with deadlines | Django Feb. 2013. http:\/\/www.djangoproject.com.  The Web framework for perfectionists with deadlines | Django Feb. 2013. http:\/\/www.djangoproject.com."},{"key":"e_1_3_2_1_10_1","unstructured":"Fat Free CRM - Ruby on Rails-based open source CRM platform Sept. 2013. http:\/\/www.fatfreecrm.com.  Fat Free CRM - Ruby on Rails-based open source CRM platform Sept. 2013. http:\/\/www.fatfreecrm.com."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529700"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73579"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359666"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859044"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394133"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/356674.356677"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.80"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926437"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_22_1","volume-title":"Logic, Language, and Analysis","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . Software Abstractions : Logic, Language, and Analysis . The MIT Press , Cambridge, Massachusetts , 2006 . D. Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge, Massachusetts, 2006."},{"key":"e_1_3_2_1_23_1","unstructured":"kandanapp\/kandan Sept. 2013. http:\/\/github.com\/kandanapp\/kandan.  kandanapp\/kandan Sept. 2013. http:\/\/github.com\/kandanapp\/kandan."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"S.\n      Khurshid C. S.\n      Pasareanu and \n      W.\n      Visser\n  . \n  Generalized symbolic execution for model checking and testing\n  . In H. Garavel and J. Hatcliff editors TACAS volume \n  2619\n   of \n  Lecture Notes in Computer Science pages 553\u2013\n  568\n  . Springer 2003.   S. Khurshid C. S. Pasareanu and W. Visser. Generalized symbolic execution for model checking and testing. In H. Garavel and J. Hatcliff editors TACAS volume 2619 of Lecture Notes in Computer Science pages 553\u2013568. Springer 2003.","DOI":"10.1007\/3-540-36577-X_40"},{"key":"e_1_3_2_1_25_1","volume-title":"A cookbook for using the model-view controller user interface paradigm in Smalltalk-80. Journal of Object Oriented Programming (JOOP","author":"Krasner G. E.","year":"1988","unstructured":"G. E. Krasner and S. T. Pope . A cookbook for using the model-view controller user interface paradigm in Smalltalk-80. Journal of Object Oriented Programming (JOOP 1988 ), 1(3):26\u201349, Aug. 1988. G. E. Krasner and S. T. Pope. A cookbook for using the model-view controller user interface paradigm in Smalltalk-80. Journal of Object Oriented Programming (JOOP 1988), 1(3):26\u201349, Aug. 1988."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939161"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567461"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393667"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2013.6612274"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001429"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351706"},{"key":"e_1_3_2_1_32_1","unstructured":"Ruby on Rails Feb. 2013. http:\/\/rubyonrails.org.  Ruby on Rails Feb. 2013. http:\/\/rubyonrails.org."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531371_12"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_35_1","unstructured":"Spring Framework | SpringSource.org Feb. 2013. http:\/\/www.springsource.org.  Spring Framework | SpringSource.org Feb. 2013. http:\/\/www.springsource.org."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/267954.267955"},{"key":"e_1_3_2_1_37_1","unstructured":"Tracks Sept. 2013. http:\/\/getontracks.org.  Tracks Sept. 2013. http:\/\/getontracks.org."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02959-2_10"},{"issue":"1","key":"e_1_3_2_1_39_1","first-page":"66","article-title":"Web automata: A behavioral model of web applications based on the MVC model","volume":"1","author":"Yuen S.","year":"2006","unstructured":"S. Yuen , K. Kato , D. Kato , and K. Agusa . Web automata: A behavioral model of web applications based on the MVC model . Information and Media Technologies , 1 ( 1 ): 66 \u2013 79 , 2006 . S. Yuen, K. Kato, D. Kato, and K. Agusa. Web automata: A behavioral model of web applications based on the MVC model. Information and Media Technologies, 1(1):66\u201379, 2006.","journal-title":"Information and Media Technologies"}],"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.2568281","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568281","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.2568281"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":39,"alternative-id":["10.1145\/2568225.2568281","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568281","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"}}]}}