{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T00:35:16Z","timestamp":1785285316447,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T00:00:00Z","timestamp":1315526400000},"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":[[2011,9,9]]},"DOI":"10.1145\/2025113.2025151","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"267-277","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":153,"title":["Leveraging existing instrumentation to automatically infer invariant-constrained models"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Beschastnikh","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sigurd","family":"Schneider","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbrucken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Sloan","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90041-0"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025188"},{"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.1016\/S0019-9958(75)90261-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647769.734089"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070544"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_13_1","volume-title":"Partition-Refining Algorithms for Learning Finite State Automata. In Proc. of ISMIS","author":"Elomaa T.","year":"2002","unstructured":"T. Elomaa . Partition-Refining Algorithms for Learning Finite State Automata. In Proc. of ISMIS , 2002 . T. Elomaa. Partition-Refining Algorithms for Learning Finite State Automata. In Proc. of ISMIS, 2002."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016091902809"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"e_1_3_2_1_17_1","volume-title":"http:\/\/hadoop.apache.org\/. Accessed","author":"Apache Welcome","year":"2011","unstructured":"Welcome to Apache Hadoop! , http:\/\/hadoop.apache.org\/. Accessed March 9, 2011 . Welcome to Apache Hadoop!, http:\/\/hadoop.apache.org\/. Accessed March 9, 2011."},{"key":"e_1_3_2_1_18_1","first-page":"3393","article-title":"Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements","author":"Harel D.","year":"2005","unstructured":"D. Harel , H. Kugler , and A. Pnueli . Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements . Form. Meth. in Soft. and Sys. Modeling , 3393 , 2005 . D. Harel, H. Kugler, and A. Pnueli. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Form. Meth. in Soft. and Sys. Modeling, 3393, 2005.","journal-title":"Form. Meth. in Soft. and Sys. Modeling"},{"key":"e_1_3_2_1_19_1","unstructured":"IPv4 Specification Record Route option. http:\/\/www.ietf.org\/rfc\/rfc791.txt. Pg. 20 21. Accessed March 9 2011.  IPv4 Specification Record Route option. http:\/\/www.ietf.org\/rfc\/rfc791.txt. Pg. 20 21. Accessed March 9 2011."},{"key":"e_1_3_2_1_20_1","unstructured":"IPv4 Specification Timestamp option. http:\/\/www.ietf.org\/rfc\/rfc791.txt. Pg. 22 23. Accessed March 9 2011.  IPv4 Specification Timestamp option. http:\/\/www.ietf.org\/rfc\/rfc791.txt. Pg. 22 23. Accessed March 9 2011."},{"key":"e_1_3_2_1_21_1","unstructured":"ITU. Message Sequence Charts 2000.  ITU. Message Sequence Charts 2000."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2005.42"},{"key":"e_1_3_2_1_23_1","volume-title":"Reverse Traceroute. In Proc. of NSDI","author":"Katz-Bassett E.","year":"2010","unstructured":"E. Katz-Bassett , H. V. Madhyastha , V. K. Adhikari , C. Scott , J. Sherry , P. van Wesep , T. Anderson , and A. Krishnamurthy . Reverse Traceroute. In Proc. of NSDI , 2010 . E. Katz-Bassett, H. V. Madhyastha, V. K. Adhikari, C. Scott, J. Sherry, P. van Wesep, T. Anderson, and A. Krishnamurthy. Reverse Traceroute. In Proc. of NSDI, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595756"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810324"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/75104.75105"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.47"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1740390.1740411"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. of ATC","author":"Lou J. G.","year":"2010","unstructured":"J. G. Lou , Q. Fu , S. Yang , Y. Xu , and J. Li . Mining Invariants from Console Logs for System Problem Detection . In Proc. of ATC , 2010 . J. G. Lou, Q. Fu, S. Yang, Y. Xu, and J. Li. Mining Invariants from Console Logs for System Problem Detection. In Proc. of ATC, 2010."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2007.138"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1137\/0216062"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138042"},{"key":"e_1_3_2_1_36_1","volume-title":"deploying, and accessing planetary-scale services, https:\/\/www.planet-lab.org. Accessed","author":"PlanetLab","year":"2011","unstructured":"PlanetLab | An open platform for developing , deploying, and accessing planetary-scale services, https:\/\/www.planet-lab.org. Accessed March 9, 2011 . PlanetLab | An open platform for developing, deploying, and accessing planetary-scale services, https:\/\/www.planet-lab.org. Accessed March 9, 2011."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381497"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516507.1516510"},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. of SLAML","author":"Schneider S.","year":"2010","unstructured":"S. Schneider , I. Beschastnikh , S. Chernyak , M. D. Ernst , and Y. Brun . Synoptic: Summarizing System Logs with Refinement . In Proc. of SLAML , 2010 . S. Schneider, I. Beschastnikh, S. Chernyak, M. D. Ernst, and Y. Brun. Synoptic: Summarizing System Logs with Refinement. In Proc. of SLAML, 2010."},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. of WASL","author":"Tan J.","year":"2008","unstructured":"J. Tan , X. Pan , S. Kavulya , R. G, and P. Narasimhan . SALSA: Analyzing Logs as StAte Machines . In Proc. of WASL , 2008 . J. Tan, X. Pan, S. Kavulya, R. G, and P. Narasimhan. SALSA: Analyzing Logs as StAte Machines. In Proc. of WASL, 2008."},{"key":"e_1_3_2_1_41_1","volume-title":"Proc. of WASL","author":"Tan J.","year":"2009","unstructured":"J. Tan , X. Pan , S. Kavulya , R. G, and P. Narasimhan . Mochi: Visual Log-Analysis Based Tools for Debugging Hadoop . In Proc. of WASL , 2009 . J. Tan, X. Pan, S. Kavulya, R. G, and P. Narasimhan. Mochi: Visual Log-Analysis Based Tools for Debugging Hadoop. In Proc. of WASL, 2009."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940076"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005561.1005563"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. of SLAML","author":"Xu W.","year":"2010","unstructured":"W. Xu , L. Huang , A. Fox , D. Patterson , and M. Jordan . Experience Mining Google's Production Console Logs . In Proc. of SLAML , 2010 . W. Xu, L. Huang, A. Fox, D. Patterson, and M. Jordan. Experience Mining Google's Production Console Logs. In Proc. of SLAML, 2010."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.11"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/996821.996832"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736038"}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Szeged Hungary","acronym":"ESEC\/FSE'11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025151","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2025113.2025151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:00Z","timestamp":1750244760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025151"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":49,"alternative-id":["10.1145\/2025113.2025151","10.1145\/2025113"],"URL":"https:\/\/doi.org\/10.1145\/2025113.2025151","relation":{},"subject":[],"published":{"date-parts":[[2011,9,9]]},"assertion":[{"value":"2011-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}