{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:42:21Z","timestamp":1730320941919,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/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,10,24]]},"DOI":"10.1145\/3276604.3276619","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"97-102","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["An industrial case study in compiler testing (tool demo)"],"prefix":"10.1145","author":[{"given":"Vadim","family":"Zaytsev","sequence":"first","affiliation":[{"name":"Raincode Labs, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"285","volume-title":"Revised Selected Papers of the First International Conference on Software Language Engineering (SLE) (LNCS), Dragan Ga?evi?, Ralf L\u00e4mmel, and Eric Van Wyk (Eds.)","volume":"5452","author":"Alves Tiago Laureano","year":"2008"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(80)90285-5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Franz Baader and Tobias Nipkow. 1998. Term Rewriting and All That. Cambridge University Press. Franz Baader and Tobias Nipkow. 1998. Term Rewriting and All That . Cambridge University Press.","DOI":"10.1017\/CBO9781139172752"},{"key":"e_1_3_2_1_4_1","unstructured":"Kent Beck. 2003. Test-Driven Development by Example. Addison-Wesley. Kent Beck. 2003. Test-Driven Development by Example . Addison-Wesley."},{"volume-title":"Proceedings of Second International Workshop on the Theory and Practice of Algebraic Specifications (Electronic Workshops in Computing), M. P. A. Sellink (Ed.). Springer.","year":"1997","author":"van den Brand Mark","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/580914.858216"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380101104"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/966221.966235"},{"volume-title":"Software Engineering Techniques. Conference Report. J. N. Buxton and B. Randell (Eds.). NATO Science Committee. http:\/\/homepages.cs.ncl.ac.uk\/brian.randell\/NATO\/nato1969","author":"Ercoli P.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Michael Feathers. 2004. Working Effectively with Legacy Code. Prentice Hall. Michael Feathers. 2004. Working Effectively with Legacy Code. Prentice Hall.","DOI":"10.1007\/978-3-540-27777-4_42"},{"key":"e_1_3_2_1_11_1","first-page":"324","volume-title":"Comparison of Context-free Grammars Based on Parsing Generated Test Data. In Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011)","volume":"6940","author":"Fischer Bernd","year":"2012"},{"volume-title":"Refactoring: Improving the Design or Existing Code","year":"1999","author":"Fowler Martin","key":"e_1_3_2_1_12_1"},{"volume-title":"Proceedings of the International Conference on Reliable Software. ACM, 493-510","author":"John","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","article-title":"Two-dimensional Approximation Coverage","volume":"24","author":"Harm J\u00f6rg","year":"2000","journal-title":"Informatica Journal"},{"volume-title":"Selected Papers of the Eighth Nordic Workshop on Programming Theory (NWPT'96)","year":"1997","author":"Harm J\u00f6rg","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80398-0"},{"key":"e_1_3_2_1_17_1","unstructured":"Uwe Kastens. 1980. Studie zur Erzeugung von Testprogrammen f\u00fcr \u00dcbersetzer. Bericht 12\/80. Institut f\u00fcr Informatik II University Karlsruhe. Uwe Kastens. 1980. Studie zur Erzeugung von Testprogrammen f\u00fcr \u00dcbersetzer . Bericht 12\/80. Institut f\u00fcr Informatik II University Karlsruhe."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1073000"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"A. S. Kossatchev and M. A. Posypkin. 2005. Survey of Compiler Testing Methods. Programming and Computing Software 31 (Jan. 2005) 10-19. Issue 1. A. S. Kossatchev and M. A. Posypkin. 2005. Survey of Compiler Testing Methods. Programming and Computing Software 31 (Jan. 2005) 10-19. Issue 1.","DOI":"10.1007\/s11086-005-0008-6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Ralf L\u00e4mmel and Chris Verhoef. 2001. Semi-automatic Grammar Recovery. Software -- Practice & Experience 31 (December 2001) 1395-1438. Issue 15. Ralf L\u00e4mmel and Chris Verhoef. 2001. Semi-automatic Grammar Recovery. Software -- Practice & Experience 31 (December 2001) 1395-1438. Issue 15.","DOI":"10.1002\/spe.423"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.040"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_23_1","first-page":"550","volume-title":"Grammar Adaptation. In Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity (FME) (LNCS)","volume":"2021","author":"L\u00e4mmel Ralf","year":"2001"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/645369.651271"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90800-7"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.965809"},{"key":"e_1_3_2_1_28_1","unstructured":"P. Naur and B. Randell (Eds.). 1969. Software Engineering. Scientific Affairs Division NATO. P. Naur and B. Randell (Eds.). 1969. Software Engineering . Scientific Affairs Division NATO."},{"key":"e_1_3_2_1_29_1","unstructured":"James W. Newkirk and Alexei A. Vorontsov. 2004. Test-Driven Development in Microsoft.NET. Microsoft Press. James W. Newkirk and Alexei A. Vorontsov. 2004. Test-Driven Development in Microsoft.NET . Microsoft Press."},{"key":"e_1_3_2_1_30_1","unstructured":"Ron Petrusha Maira Wenzel Luke Latham Tom Pratt and Yisheng Jin. 2017. Peverify.exe (PEVerify Tool). https:\/\/docs.microsoft.com\/en-us\/dotnet\/framework\/tools\/peverify-exe-peverify-tool. Ron Petrusha Maira Wenzel Luke Latham Tom Pratt and Yisheng Jin. 2017. Peverify.exe (PEVerify Tool). https:\/\/docs.microsoft.com\/en-us\/dotnet\/framework\/tools\/peverify-exe-peverify-tool."},{"key":"e_1_3_2_1_31_1","unstructured":"David S. Platt. 2007. Why Software Sucks... and what You Can Do about it. Addison-Wesley. David S. Platt. 2007. Why Software Sucks... and what You Can Do about it . Addison-Wesley."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932308"},{"volume-title":"Proceedings of the Fourth Conference on Software Maintenance and Reengineering. IEEE Computer Society, 151-160","author":"M. P.","key":"e_1_3_2_1_33_1"},{"key":"e_1_3_2_1_34_1","unstructured":"Tijs van der Storm and Markus V\u00f6lter. 2018. LangDevCon: a Language Developers Meetup. http:\/\/langdevcon.org. Tijs van der Storm and Markus V\u00f6lter. 2018. LangDevCon: a Language Developers Meetup. http:\/\/langdevcon.org."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/648238.751554"},{"volume-title":"Revised Papers of the Second International Summer School on Generative and Transformational Techniques in Software Engineering (LNCS), Ralf L\u00e4mmel, Joost Visser, and Jo\u00e3o Saraiva (Eds.)","author":"Tratt Laurence","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","unstructured":"Nicole Vavrov\u00e1 and Vadim Zaytsev. 2017. Does Python Smell Like Java? The Art Science and Engineering of Programming (?Programming?) 1 (April 2017) 11-1-11-29. Issue 2. Nicole Vavrov\u00e1 and Vadim Zaytsev. 2017. Does Python Smell Like Java? The Art Science and Engineering of Programming (?Programming?) 1 (April 2017) 11-1-11-29. Issue 2."},{"volume-title":"Revised Papers of the Second International Summer School on Generative and Transformational Techniques in Software Engineering (LNCS), Ralf L\u00e4mmel, Joost Visser, and Jo\u00e3o Saraiva (Eds.)","author":"Visser Eelco","key":"e_1_3_2_1_38_1"},{"key":"e_1_3_2_1_39_1","unstructured":"Joost Visser Sylvan Rigal Pascal van Eck Gijs Wijnholds and Rob van der Leek. 2016. Building Maintainable Software C# Edition. Ten Guidelines for Future-Proof Code. O'Reilly Media. Joost Visser Sylvan Rigal Pascal van Eck Gijs Wijnholds and Rob van der Leek. 2016. Building Maintainable Software C# Edition. Ten Guidelines for Future-Proof Code . O'Reilly Media."},{"key":"e_1_3_2_1_40_1","first-page":"154","volume-title":"Participants Workshop, Part II of the Pre-proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE","author":"Zaytsev Vadim","year":"2005"},{"key":"e_1_3_2_1_41_1","first-page":"4661","article-title":"MediaWiki Grammar Recovery","volume":"1107","author":"Zaytsev Vadim","year":"2011","journal-title":"Computing Research Repository (CoRR)"},{"volume-title":"Notation-Parametric Grammar Recovery. In Post-proceedings of the 12th International Workshop on Language Descriptions, Tools, and Applications (LDTA","year":"2012","author":"Zaytsev Vadim","key":"e_1_3_2_1_42_1"},{"key":"e_1_3_2_1_43_1","first-page":"4446","article-title":"The Grammar Hammer of 2012","volume":"1212","author":"Zaytsev Vadim","year":"2012","journal-title":"Computing Research Repository (CoRR)"},{"volume-title":"Grammar Zoo: A Corpus of Experimental Grammarware. Fifth Special issue on Experimental Software and Toolkits of Science of Computer Programming (SCP EST5) 98 (Feb.","year":"2015","author":"Zaytsev Vadim","key":"e_1_3_2_1_44_1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136040.3136058"},{"key":"e_1_3_2_1_46_1","unstructured":"Vadim Zaytsev. 2018. CoCoDo: Raincode Labs Compiler Coding Dojo. https:\/\/cocodo.github.io. Vadim Zaytsev. 2018. CoCoDo: Raincode Labs Compiler Coding Dojo. https:\/\/cocodo.github.io."},{"volume-title":"Formal Approaches to Software Testing, Wolfgang Grieskamp and Carsten Weise (Eds.). LNCS","author":"Zelenov Sergey","key":"e_1_3_2_1_47_1"},{"volume-title":"Testing of Software and Communicating Systems, Alexandre Petrenko, Margus Veanes, Jan Tretmans, and Wolfgang Grieskamp (Eds.). LNCS","author":"Zelenov Sergey","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Andreas Zeller. 2009. Why Programs Fail: A Guide to Systematic Debugging. Elsevier Science. Andreas Zeller. 2009. Why Programs Fail: A Guide to Systematic Debugging . Elsevier Science.","DOI":"10.1016\/B978-0-12-374515-6.00006-X"}],"event":{"name":"SLE '18: 11th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston MA USA","acronym":"SLE '18"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276604.3276619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T22:52:54Z","timestamp":1673477574000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276604.3276619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":49,"alternative-id":["10.1145\/3276604.3276619","10.1145\/3276604"],"URL":"https:\/\/doi.org\/10.1145\/3276604.3276619","relation":{},"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}