{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:54:13Z","timestamp":1783007653371,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"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,11,11]]},"DOI":"10.1145\/2635868.2635890","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"178-189","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["Automatic mining of specifications from invocation traces and method invariants"],"prefix":"10.1145","author":[{"given":"Ivo","family":"Krka","sequence":"first","affiliation":[{"name":"Google, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[{"name":"University of Massachusetts, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nenad","family":"Medvidovic","sequence":"additional","affiliation":[{"name":"University of Southern California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032501"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486822"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568246"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595728"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337316"},{"key":"e_1_3_2_1_8_1","first-page":"154","author":"Clarke E.","year":"2000","unstructured":"E. Clarke , O. Grumberg , S. Jha , Y. Lu , and H. Veith . Counterexample-guided Abstraction Refinement. In Computer Aided Verification, pages 154 \u2013 169 , 2000 . E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided Abstraction Refinement. In Computer Aided Verification, pages 154\u2013169, 2000.","journal-title":"Counterexample-guided Abstraction Refinement. In Computer Aided Verification, pages"},{"key":"e_1_3_2_1_9_1","volume-title":"http:\/\/sourceforge.net\/ projects\/columba","author":"Columba","year":"2013","unstructured":"Columba e-mail client. http:\/\/sourceforge.net\/ projects\/columba , 2013 . Columba e-mail client. http:\/\/sourceforge.net\/ projects\/columba, 2013."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_1_12_1","volume-title":"http:\/\/www.dacapobench.org","author":"DaCapo","year":"2009","unstructured":"DaCapo benchmark. http:\/\/www.dacapobench.org , 2009 . DaCapo benchmark. http:\/\/www.dacapobench.org, 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882312"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337230"},{"key":"e_1_3_2_1_15_1","volume-title":"http:\/\/groups.csail.mit. edu\/pag\/daikon","author":"The Daikon","year":"2009","unstructured":"The Daikon invariant detector. http:\/\/groups.csail.mit. edu\/pag\/daikon , 2009 . The Daikon invariant detector. http:\/\/groups.csail.mit. edu\/pag\/daikon, 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.105"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.98"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491519"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453150"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806806"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.86"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568234"},{"key":"e_1_3_2_1_25_1","volume-title":"http:\/\/sourceforge.net\/projects\/ kurumix","year":"2013","unstructured":"JarInstaller. http:\/\/sourceforge.net\/projects\/ kurumix , 2013 . JarInstaller. http:\/\/sourceforge.net\/projects\/ kurumix, 2013."},{"key":"e_1_3_2_1_26_1","volume-title":"http:\/\/www.jedit.org","year":"2014","unstructured":"jEdit. http:\/\/www.jedit.org , 2014 . jEdit. http:\/\/www.jedit.org, 2014."},{"key":"e_1_3_2_1_27_1","volume-title":"http:\/\/j-ftp.sourceforge.net","author":"Ftp","year":"2013","unstructured":"J Ftp client. http:\/\/j-ftp.sourceforge.net , 2013 . JFtp client. http:\/\/j-ftp.sourceforge.net, 2013."},{"key":"e_1_3_2_1_28_1","volume-title":"http:\/\/www.javazoom.net\/jlgui\/jlgui.html","author":"GUI.","year":"2010","unstructured":"jl GUI. http:\/\/www.javazoom.net\/jlgui\/jlgui.html , 2010 . jlGUI. http:\/\/www.javazoom.net\/jlgui\/jlgui.html, 2010."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595756"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810324"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337331"},{"key":"e_1_3_2_1_33_1","volume-title":"Logic in Computer Science","author":"Larsen K. G.","year":"1988","unstructured":"K. G. Larsen and B. Thomsen . A modal process logic . Logic in Computer Science , 1988 . K. G. Larsen and B. Thomsen. A modal process logic. Logic in Computer Science, 1988."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491457"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.47"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859081"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.001"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384665"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642988"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591107"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572284"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609576"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337258"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381497"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.42"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.193"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491426"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.63"},{"key":"e_1_3_2_1_54_1","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"Taylor R. N.","year":"2009","unstructured":"R. N. Taylor , N. Medvidovic , and E. M. Dashofy . Software Architecture: Foundations, Theory, and Practice . John Wiley & Sons , 2009 . R. N. Taylor, N. Medvidovic, and E. M. Dashofy. Software Architecture: Foundations, Theory, and Practice. John Wiley & Sons, 2009."},{"key":"e_1_3_2_1_55_1","volume-title":"http:\/\/www.project-voldemort.com","author":"Voldemort Project","year":"2014","unstructured":"Project Voldemort . http:\/\/www.project-voldemort.com , 2014 . Project Voldemort. http:\/\/www.project-voldemort.com, 2014."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.35"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985820"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566212"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.256"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"e_1_3_2_1_61_1","volume-title":"http:\/\/yices.csl.sri.com","author":"Solver Yices SMT","year":"2009","unstructured":"Yices SMT Solver . http:\/\/yices.csl.sri.com , 2009 . Yices SMT Solver. http:\/\/yices.csl.sri.com, 2009."}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2635890","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2635890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:44Z","timestamp":1750273424000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2635890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":60,"alternative-id":["10.1145\/2635868.2635890","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2635890","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}