{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T00:33:26Z","timestamp":1784248406420,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T00:00:00Z","timestamp":1531353600000},"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":[[2018,7,12]]},"DOI":"10.1145\/3213846.3213872","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"242-253","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":93,"title":["Translating code comments to procedure specifications"],"prefix":"10.1145","author":[{"given":"Arianna","family":"Blasi","sequence":"first","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Goffi","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Konstantin","family":"Kuznetsov","sequence":"additional","affiliation":[{"name":"Saarland University, Germany \/ CISPA, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergio Delgado","family":"Castellanos","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1034"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825766"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985903"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75332"},{"key":"e_1_3_2_1_5_1","volume-title":"Software Testing Techniques (2 ed.)","author":"Beizer Boris","unstructured":"Boris Beizer . 1990. Software Testing Techniques (2 ed.) . Van Nostrand Reinhold Co. , New York, NY, USA . Boris Beizer. 1990. Software Testing Techniques (2 ed.). Van Nostrand Reinhold Co., New York, NY, USA."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196321.3196360"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568287"},{"key":"e_1_3_2_1_8_1","volume-title":"Metamorphic Testing and Beyond. In International Workshop on Software Technology and Engineering Practice (STEP \u201903)","author":"Chen Tsong Y.","year":"2003","unstructured":"Tsong Y. Chen , F.-C. Kuo , T. H. Tse , and Zhi Quan Zhou . 2003 . Metamorphic Testing and Beyond. In International Workshop on Software Technology and Engineering Practice (STEP \u201903) . IEEE Computer Society, 94\u2013100. Tsong Y. Chen, F.-C. Kuo, T. H. Tse, and Zhi Quan Zhou. 2003. Metamorphic Testing and Beyond. In International Workshop on Software Technology and Engineering Practice (STEP \u201903). IEEE Computer Society, 94\u2013100."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1318471.1318555"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP \u201902)","author":"Cheon Yoonsik","unstructured":"Yoonsik Cheon and Gary T. Leavens . 2002. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way . In Proceedings of the European Conference on Object-Oriented Programming (ECOOP \u201902) . 231\u2013255. Yoonsik Cheon and Gary T. Leavens. 2002. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP \u201902). 231\u2013255."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062533"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Conference on Software Development Tools, Techniques, and Alternatives (SOFTAIR \u201985)","author":"Day J. D.","unstructured":"J. D. Day and J. D. Gannon . 1985. A Test Oracle Based on Formal Specifications . In Proceedings of the Conference on Software Development Tools, Techniques, and Alternatives (SOFTAIR \u201985) . 126\u2013130. J. D. Day and J. D. Gannon. 1985. A Test Oracle Based on Formal Specifications. In Proceedings of the Conference on Software Development Tools, Techniques, and Alternatives (SOFTAIR \u201985). 126\u2013130."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488388.2488420"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.91"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792838.1792862"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/192218.192221"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2145432.2145596"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/357139.357140"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2006.16"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952370"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336762"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566207"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the International Conference on International Conference on Machine Learning (ICML \u201915)","author":"Kusner Matt J.","unstructured":"Matt J. Kusner , Yu Sun , Nicholas I. Kolkin , and Kilian Q. Weinberger . 2015. From Word Embeddings to Document Distances . In Proceedings of the International Conference on International Conference on Machine Learning (ICML \u201915) . JMLR.org, 957\u2013966. Matt J. Kusner, Yu Sun, Nicholas I. Kolkin, and Kilian Q. Weinberger. 2015. From Word Embeddings to Document Distances. In Proceedings of the International Conference on International Conference on Machine Learning (ICML \u201915). JMLR.org, 957\u2013966."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287685"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.49"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.88"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the International Conference on Language Resources and Evaluation (LREC \u201906)","author":"Marneffe Marie-Catherine","year":"2006","unstructured":"Marie-Catherine Marneffe , Bill MacCartney , and Christopher Manning . 2006 . Generating Typed Dependency Parses from Phrase Structure Parses . In Proceedings of the International Conference on Language Resources and Evaluation (LREC \u201906) . European Language Resources Association (ELRA), 449\u2013454. Marie-Catherine Marneffe, Bill MacCartney, and Christopher Manning. 2006. Generating Typed Dependency Parses from Phrase Structure Parses. In Proceedings of the International Conference on Language Resources and Evaluation (LREC \u201906). European Language Resources Association (ELRA), 449\u2013454."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/552895.857376"},{"key":"e_1_3_2_1_36_1","volume-title":"Object-Oriented Software Construction","author":"Meyer Bertrand","unstructured":"Bertrand Meyer . 1988. Object-Oriented Software Construction ( 1 st ed.). Prentice Hall . Bertrand Meyer. 1988. Object-Oriented Software Construction (1st ed.). Prentice Hall.","edition":"1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_9"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/647281.722760"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_22"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337319"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337319"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2017.9"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL \u201912)","author":"Schmitz Michael","year":"2012","unstructured":"Michael Schmitz , Robert Bart , Stephen Soderland , Oren Etzioni , 2012 . Open language learning for information extraction . In Proceedings of the Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL \u201912) . Association for Computational Linguistics, 523\u2013534. ISSTA\u201918, July 16\u201321 , 2018, Amsterdam, Netherlands A. Blasi, A. Goffi, K. Kuznetsov, A. Gorla, M. D. Ernst, M. Pezz\u00e8, S. D. Castellanos Michael Schmitz, Robert Bart, Stephen Soderland, Oren Etzioni, et al. 2012. Open language learning for information extraction. In Proceedings of the Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL \u201912). Association for Computational Linguistics, 523\u2013534. ISSTA\u201918, July 16\u201321, 2018, Amsterdam, Netherlands A. Blasi, A. Goffi, K. Kuznetsov, A. Gorla, M. D. Ernst, M. Pezz\u00e8, S. D. Castellanos"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294276"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985796"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380130805"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","location":"Amsterdam Netherlands","acronym":"ISSTA '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213872","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3213846.3213872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:42Z","timestamp":1750212462000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,12]]},"references-count":53,"alternative-id":["10.1145\/3213846.3213872","10.1145\/3213846"],"URL":"https:\/\/doi.org\/10.1145\/3213846.3213872","relation":{},"subject":[],"published":{"date-parts":[[2018,7,12]]},"assertion":[{"value":"2018-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}