{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:06:23Z","timestamp":1743127583885,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031212123"},{"type":"electronic","value":"9783031212130"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21213-0_7","type":"book-chapter","created":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T06:08:19Z","timestamp":1670652499000},"page":"106-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["EqFix: Fixing LaTeX Equation Errors by\u00a0Examples"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4219-0837","authenticated-orcid":false,"given":"Fengmin","family":"Zhu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4266-875X","authenticated-orcid":false,"given":"Fei","family":"He","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,11]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Barman, S., Chasins, S., Bodik, R., Gulwani, S.: Ringer: web automation by demonstration. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 748\u2013764. ACM (2016)","DOI":"10.1145\/2983990.2984020"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"D\u2019Antoni, L., Singh, R., Vaughn, M.: NoFAQ: synthesizing command repairs from examples. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2017, pp. 582\u2013592. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3106237.3106241","DOI":"10.1145\/3106237.3106241"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Feser, J.K., Chaudhuri, S., Dillig, I.: Synthesizing data structure transformations from input-output examples. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp. 229\u2013239. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2737924.2737977","DOI":"10.1145\/2737924.2737977"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"CL Goues","year":"2012","unstructured":"Goues, C.L., Nguyen, T., Forrest, S., Weimer, W.: GenProg: a generic method for automatic software repair. IEEE Trans. Software Eng. 38(1), 54\u201372 (2012). https:\/\/doi.org\/10.1109\/TSE.2011.104","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s11219-013-9208-0","volume":"21","author":"C Goues","year":"2013","unstructured":"Goues, C., Forrest, S., Weimer, W.: Current challenges in automatic software repair. Software Qual. J. 21(3), 421\u2013443 (2013). https:\/\/doi.org\/10.1007\/s11219-013-9208-0","journal-title":"Software Qual. J."},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Gulwani, S., Mayer, M., Niksic, F., Piskac, R.: StriSynth: synthesis for live programming. In: 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, vol. 2, pp. 701\u2013704, May 2015. https:\/\/doi.org\/10.1109\/ICSE.2015.227","DOI":"10.1109\/ICSE.2015.227"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, pp. 317\u2013330. ACM (2011). https:\/\/doi.org\/10.1145\/1926385.1926423","DOI":"10.1145\/1926385.1926423"},{"key":"7_CR8","unstructured":"Gulwani, S., Esparza, J., Grumberg, O., Sickert, S.: Programming by examples (and its applications in data wrangling). Verification and Synthesis of Correct and Secure Systems (2016)"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Hartmann, B., MacDougall, D., Brandt, J., Klemmer, S.R.: What would other programmers do: suggesting solutions to error messages. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2010, pp. 1019\u20131028. ACM, New York (2010). https:\/\/doi.org\/10.1145\/1753326.1753478","DOI":"10.1145\/1753326.1753478"},{"key":"7_CR10","unstructured":"Kini, D., Gulwani, S.: FlashNormalize: programming by examples for text normalization. In: Proceedings of the 24th International Conference on Artificial Intelligence, pp. 776\u2013783. AAAI Press (2015)"},{"key":"7_CR11","unstructured":"Lau, T.A., Domingos, P., Weld, D.S.: Version space algebra and its application to programming by demonstration. In: Proceedings of the Seventeenth International Conference on Machine Learning, San Francisco, CA, USA, ICML 2000, pp. 527\u2013534. Morgan Kaufmann Publishers Inc. (2000)"},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Le, V., Gulwani, S.: FlashExtract: a framework for data extraction by examples. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, pp. 542\u2013553. ACM (2014). https:\/\/doi.org\/10.1145\/2594291.2594333","DOI":"10.1145\/2594291.2594333"},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Le, X.B.D., Lo, D., Goues, C.L.: History driven program repair. In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), vol. 1, pp. 213\u2013224, March 2016. https:\/\/doi.org\/10.1109\/SANER.2016.76","DOI":"10.1109\/SANER.2016.76"},{"key":"7_CR14","doi-asserted-by":"publisher","unstructured":"Le, X.B.D., Chu, D.H., Lo, D., Le Goues, C., Visser, W.: S3: syntax- and semantic-guided repair synthesis via programming by examples. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2017, pp. 593\u2013604. ACM, New York (2017). https:\/\/doi.org\/10.1145\/3106237.3106309","DOI":"10.1145\/3106237.3106309"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Le Goues, C., Dewey-Vogt, M., Forrest, S., Weimer, W.: A systematic study of automated program repair: fixing 55 out of 105 bugs for \\$8 each. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012, Piscataway, NJ, USA, pp. 3\u201313. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Long, F., Rinard, M.: Staged program repair with condition synthesis. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, pp. 166\u2013178. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2786805.2786811","DOI":"10.1145\/2786805.2786811"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Long, F., Rinard, M.: Automatic patch generation by learning correct code. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp. 298\u2013312. ACM, New York (2016). https:\/\/doi.org\/10.1145\/2837614.2837617","DOI":"10.1145\/2837614.2837617"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Mechtaev, S., Yi, J., Roychoudhury, A.: Angelix: scalable multiline program patch synthesis via symbolic analysis. In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, pp. 691\u2013701. ACM, New York (2016). https:\/\/doi.org\/10.1145\/2884781.2884807","DOI":"10.1145\/2884781.2884807"},{"key":"7_CR19","doi-asserted-by":"publisher","unstructured":"Monperrus, M.: Automatic software repair: a bibliography. ACM Comput. Surv. 51(1), 17:1\u201317:24 (2018). https:\/\/doi.org\/10.1145\/3105906","DOI":"10.1145\/3105906"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Nguyen, H.A., Nguyen, T.T., Wilson, Jr., G., Nguyen, A.T., Kim, M., Nguyen, T.N.: A graph-based approach to API usage adaptation. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010, pp. 302\u2013321. ACM, New York (2010). https:\/\/doi.org\/10.1145\/1869459.1869486","DOI":"10.1145\/1869459.1869486"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: SemFix: program repair via semantic analysis. In: Proceedings of the 2013 International Conference on Software Engineering, ICSE 2013, pp. 772\u2013781. IEEE Press, Piscataway (2013)","DOI":"10.1109\/ICSE.2013.6606623"},{"issue":"10","key":"7_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/2858965.2814310","volume":"50","author":"O Polozov","year":"2015","unstructured":"Polozov, O., Gulwani, S.: FlashMeta: a framework for inductive program synthesis. ACM SIGPLAN Not. 50(10), 107\u2013126 (2015)","journal-title":"ACM SIGPLAN Not."},{"key":"7_CR23","doi-asserted-by":"publisher","unstructured":"Rolim, R., et al.: Learning syntactic program transformations from examples. In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, pp. 404\u2013415. IEEE Press, Piscataway (2017). https:\/\/doi.org\/10.1109\/ICSE.2017.44","DOI":"10.1109\/ICSE.2017.44"},{"key":"7_CR24","doi-asserted-by":"publisher","unstructured":"Singh, R., Gulwani, S.: Learning semantic string transformations from examples. Proc. VLDB Endow. 5(8), 740\u2013751 (2012). https:\/\/doi.org\/10.14778\/2212351.2212356","DOI":"10.14778\/2212351.2212356"},{"key":"7_CR25","doi-asserted-by":"publisher","unstructured":"Smith, E.K., Barr, E.T., Le Goues, C., Brun, Y.: Is the cure worse than the disease? Overfitting in automated program repair. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, pp. 532\u2013543. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2786805.2786825","DOI":"10.1145\/2786805.2786825"},{"key":"7_CR26","doi-asserted-by":"publisher","unstructured":"Weimer, W., Nguyen, T., Goues, C.L., Forrest, S.: Automatically finding patches using genetic programming. In: 2009 IEEE 31st International Conference on Software Engineering, pp. 364\u2013374, May 2009. https:\/\/doi.org\/10.1109\/ICSE.2009.5070536","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"7_CR27","doi-asserted-by":"publisher","unstructured":"Xiong, Y., Wang, J., Yan, R., Zhang, J., Han, S., Huang, G., Zhang, L.: Precise condition synthesis for program repair. In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, pp. 416\u2013426. IEEE Press, Piscataway (2017). https:\/\/doi.org\/10.1109\/ICSE.2017.45","DOI":"10.1109\/ICSE.2017.45"},{"key":"7_CR28","doi-asserted-by":"publisher","unstructured":"Yaghmazadeh, N., Klinger, C., Dillig, I., Chaudhuri, S.: Synthesizing transformations on hierarchically structured data. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, pp. 508\u2013521. ACM (2016). https:\/\/doi.org\/10.1145\/2908080.2908088","DOI":"10.1145\/2908080.2908088"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Zhu, F., He, F.: Eqfix: fixing latex equation errors by examples (2022). https:\/\/doi.org\/10.48550\/ARXIV.2107.00613. https:\/\/arxiv.org\/abs\/2107.00613","DOI":"10.48550\/ARXIV.2107.00613"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21213-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T06:14:36Z","timestamp":1670652876000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21213-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031212123","9783031212130"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21213-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}