{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:19Z","timestamp":1750306759721,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"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":[[2013,8,18]]},"DOI":"10.1145\/2491411.2491457","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"103-113","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Second-order constraints in dynamic invariant inference"],"prefix":"10.1145","author":[{"given":"Kaituo","family":"Li","sequence":"first","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Reichenbach","sequence":"additional","affiliation":[{"name":"Goethe University Frankfurt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Young","sequence":"additional","affiliation":[{"name":"University of Oregon, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134435"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_7_1","first-page":"517","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and K. Rustan M. Leino . Houdini, an annotation assistant for ESC\/Java. In Jos\u00e9 Nuno Oliveira and Pamela Zave, editors , FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe , pages 500\u2013 517 . Springer, March 2001. Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for ESC\/Java. In Jos\u00e9 Nuno Oliveira and Pamela Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, pages 500\u2013517. Springer, March 2001."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806806"},{"key":"e_1_3_2_1_10_1","first-page":"197","volume-title":"Proc. Second Working Conference on Reverse Engineering (WCRE)","author":"Gerald","unstructured":"Gerald C. Gannod and Betty H. C. Cheng. Strongest postcondition semantics as the formal basis for reverse engineering . In Proc. Second Working Conference on Reverse Engineering (WCRE) , pages 188\u2013 197 . IEEE, July 1995. Gerald C. Gannod and Betty H. C. Cheng. Strongest postcondition semantics as the formal basis for reverse engineering. In Proc. Second Working Conference on Reverse Engineering (WCRE), pages 188\u2013197. IEEE, July 1995."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302661"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146268"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331970"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581377"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70705"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363102.1363105"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390665"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"e_1_3_2_1_20_1","volume-title":"Verification, Model Checking, and Abstract Interpretation (VMCAI), number 2937 in LNCS","author":"Logozzo Francesco","year":"2004","unstructured":"Francesco Logozzo . Automatic inference of class invariants . In Verification, Model Checking, and Abstract Interpretation (VMCAI), number 2937 in LNCS . Springer-Verlag , January 2004 . Francesco Logozzo. Automatic inference of class invariants. In Verification, Model Checking, and Abstract Interpretation (VMCAI), number 2937 in LNCS. Springer-Verlag, January 2004."},{"key":"e_1_3_2_1_22_1","volume-title":"May","author":"Meghani Samir V.","year":"2003","unstructured":"Samir V. Meghani and Michael D. Ernst . Determining legal method call sequences in object interfaces , May 2003 . Samir V. Meghani and Michael D. Ernst. Determining legal method call sequences in object interfaces, May 2003."},{"key":"e_1_3_2_1_23_1","volume-title":"Object-Oriented Software Construction","author":"Meyer Bertrand","year":"1997","unstructured":"Bertrand Meyer . Object-Oriented Software Construction . Prentice Hall PTR , 2 nd edition, 1997 . Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall PTR, 2nd edition, 1997.","edition":"2"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029901"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025215"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566212"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/996821.996832"}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13"},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491457","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491457"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":24,"alternative-id":["10.1145\/2491411.2491457","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491457","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}