{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T02:24:57Z","timestamp":1771554297560,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T00:00:00Z","timestamp":1604793600000},"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":[[2020,11,8]]},"DOI":"10.1145\/3368089.3409716","type":"proceedings-article","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T21:08:44Z","timestamp":1605042524000},"page":"25-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["C2S: translating natural language comments to formal program specifications"],"prefix":"10.1145","author":[{"given":"Juan","family":"Zhai","sequence":"first","affiliation":[{"name":"Rutgers University, USA"}]},{"given":"Yu","family":"Shi","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Minxue","family":"Pan","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}]},{"given":"Guian","family":"Zhou","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}]},{"given":"Yongxiang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}]},{"given":"Chunrong","family":"Fang","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}]},{"given":"Shiqing","family":"Ma","sequence":"additional","affiliation":[{"name":"Rutgers University, USA"}]},{"given":"Lin","family":"Tan","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2020. Apache Commons Collections. https:\/\/commons.apache.org\/proper\/ commons-collections\/.  2020. Apache Commons Collections. https:\/\/commons.apache.org\/proper\/ commons-collections\/."},{"key":"e_1_3_2_2_2_1","unstructured":"2020. C2S Specifications. https:\/\/c2s-fse.github.io\/C2S\/.  2020. C2S Specifications. https:\/\/c2s-fse.github.io\/C2S\/."},{"key":"e_1_3_2_2_3_1","unstructured":"2020. GraphStream. http:\/\/graphstream-project. org\/.  2020. GraphStream. http:\/\/graphstream-project. org\/."},{"key":"e_1_3_2_2_4_1","unstructured":"2020. Guava. https:\/\/opensource.google.com\/projects\/guava\/.  2020. Guava. https:\/\/opensource.google.com\/projects\/guava\/."},{"key":"e_1_3_2_2_5_1","unstructured":"2020. Javadoc Style. https:\/\/www.oracle.com\/technetwork\/articles\/java\/index137868.html.  2020. Javadoc Style. https:\/\/www.oracle.com\/technetwork\/articles\/java\/index137868.html."},{"key":"e_1_3_2_2_6_1","unstructured":"2020. JDK. https:\/\/www.oracle.com\/technetwork\/java\/javase\/downloads\/index. html.  2020. JDK. https:\/\/www.oracle.com\/technetwork\/java\/javase\/downloads\/index. html."},{"key":"e_1_3_2_2_7_1","unstructured":"2020. JGraphT. https:\/\/jgrapht.org\/.  2020. JGraphT. https:\/\/jgrapht.org\/."},{"key":"e_1_3_2_2_8_1","unstructured":"2020. JML Specification Examples. http:\/\/www.eecs.ucf.edu\/~leavens\/JML\/ examples.shtml.  2020. JML Specification Examples. http:\/\/www.eecs.ucf.edu\/~leavens\/JML\/ examples.shtml."},{"key":"e_1_3_2_2_9_1","unstructured":"2020. Randoop. https:\/\/randoop.github.io\/randoop\/.  2020. Randoop. https:\/\/randoop.github.io\/randoop\/."},{"key":"e_1_3_2_2_10_1","first-page":"1","article-title":"Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design","author":"Alur Rajeev","year":"2013","unstructured":"Rajeev Alur , Rastislav Bodik , Garvit Juniwal , Milo MK Martin , Mukund Raghothaman , Sanjit A Seshia , Rishabh Singh , Armando Solar-Lezama , Emina Torlak , and Abhishek Udupa . 2013 . Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design . IEEE , 1 - 8 . Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design. IEEE, 1-8.","journal-title":"IEEE"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","unstructured":"W Appel Andrew and P Jens. 2002. Modern compiler implementation in Java.  W Appel Andrew and P Jens. 2002. Modern compiler implementation in Java.","DOI":"10.1017\/CBO9780511811432"},{"key":"e_1_3_2_2_12_1","volume-title":"Damien Octeau, and Patrick McDaniel.","author":"Arzt Steven","year":"2014","unstructured":"Steven Arzt , Siegfried Rasthofer , Christian Fritz , Eric Bodden , Alexandre Bartel , Jacques Klein , Yves Le Traon , Damien Octeau, and Patrick McDaniel. 2014 . Flowdroid : Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. Acm Sigplan Notices 49, 6 ( 2014 ), 259-269. Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. 2014. Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. Acm Sigplan Notices 49, 6 ( 2014 ), 259-269."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00074"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2676977"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213872"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294274"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_10"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950348"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/318372.318577"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806632"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287685"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.12"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_9"},{"key":"e_1_3_2_2_28_1","volume-title":"Proceedings of the 41th International Conference on Software Engineering (ICSE'19)","author":"Motwani Manish","unstructured":"Manish Motwani and Yuriy Brun . 201. Automatically Generating Precise Oracles from Structured Natural Language Specifications . In Proceedings of the 41th International Conference on Software Engineering (ICSE'19) . Manish Motwani and Yuriy Brun. 201. Automatically Generating Precise Oracles from Structured Natural Language Specifications. In Proceedings of the 41th International Conference on Software Engineering (ICSE'19)."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635924"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Jeremy W Nimmer and Michael D Ernst. 2002. Automatic generation of program specifications. ACM SIGSOFT Software Engineering Notes 27 4 ( 2002 ) 229-239.  Jeremy W Nimmer and Michael D Ernst. 2002. Automatic generation of program specifications. ACM SIGSOFT Software Engineering Notes 27 4 ( 2002 ) 229-239.","DOI":"10.1145\/566171.566213"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070533"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337319"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2017.9"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"crossref","unstructured":"M.F. Porter. 1980. An algorithm for sufix stripping. Program 14 3 ( 1980 ) 130-137.  M.F. Porter. 1980. An algorithm for sufix stripping. Program 14 3 ( 1980 ) 130-137.","DOI":"10.1108\/eb046814"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250749"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_25"},{"key":"e_1_3_2_2_37_1","volume-title":"Proceedings of the International Joint Conference on Neural Networks. IEEE.","author":"Silva C.","unstructured":"C. Silva and B. Ribeiro . 2003. The importance of stop word removal on recall values in text categorization . In Proceedings of the International Joint Conference on Neural Networks. IEEE. C. Silva and B. Ribeiro. 2003. The importance of stop word removal on recall values in text categorization. In Proceedings of the International Joint Conference on Neural Networks. IEEE."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_2_39_1","volume-title":"Poster: Using Consensus to Automatically Infer Post-conditions. ( 2018 ).","author":"Su Jingyi","year":"2018","unstructured":"Jingyi Su , Mohd Arafat , and Robert Dyer . 2018 . Poster: Using Consensus to Automatically Infer Post-conditions. ( 2018 ). Jingyi Su, Mohd Arafat, and Robert Dyer. 2018. Poster: Using Consensus to Automatically Infer Post-conditions. ( 2018 )."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294276"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985796"},{"key":"e_1_3_2_2_43_1","volume-title":"Verification and Validation (ICST), 2012 IEEE Fifth International Conference on. IEEE, 260-269","author":"Tan Shin Hwei","year":"2012","unstructured":"Shin Hwei Tan , Darko Marinov , Lin Tan , and Gary T Leavens . 2012 . @tcomment: Testing javadoc comments to detect comment-code inconsistencies. In Software Testing , Verification and Validation (ICST), 2012 IEEE Fifth International Conference on. IEEE, 260-269 . Shin Hwei Tan, Darko Marinov, Lin Tan, and Gary T Leavens. 2012. @tcomment: Testing javadoc comments to detect comment-code inconsistencies. In Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on. IEEE, 260-269."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692915.2628161"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"crossref","unstructured":"Willem Visser Klaus Havelund Guillaume Brat SeungJoon Park and Flavio Lerda. 2003. Model checking programs. Automated software engineering 10 2 ( 2003 ) 203-232.  Willem Visser Klaus Havelund Guillaume Brat SeungJoon Park and Flavio Lerda. 2003. Model checking programs. Automated software engineering 10 2 ( 2003 ) 203-232.","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884881"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2016.25"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2014.40"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25942-0_17"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380427"},{"key":"e_1_3_2_2_52_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE). IEEE.","author":"Zhang Shiyu","year":"2020","unstructured":"Shiyu Zhang , Juan Zhai , Bu Lei , Wang Linzhang , and Xuandong Li . 2020 . Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. In 2020 Design , Automation & Test in Europe Conference & Exhibition (DATE). IEEE. Shiyu Zhang, Juan Zhai, Bu Lei, Wang Linzhang, and Xuandong Li. 2020. Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. In 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.11"},{"key":"e_1_3_2_2_55_1","unstructured":"IEEE Press 27-37.  IEEE Press 27-37."}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Virtual Event USA","acronym":"ESEC\/FSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409716","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3409716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:40Z","timestamp":1750203880000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409716"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,8]]},"references-count":54,"alternative-id":["10.1145\/3368089.3409716","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3409716","relation":{},"subject":[],"published":{"date-parts":[[2020,11,8]]},"assertion":[{"value":"2020-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}