{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:33Z","timestamp":1750309293460,"version":"3.41.0"},"reference-count":15,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T00:00:00Z","timestamp":1712102400000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2024,4,3]]},"abstract":"<jats:p>Top Software Engineering conferences and journals have long been an important platform for disseminating theoretical and fundamental results. Several signals suggest that this is less and less the case.<\/jats:p>","DOI":"10.1145\/3650142.3650148","type":"journal-article","created":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T22:19:58Z","timestamp":1712182798000},"page":"19-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Column: Is Theory (Still) Welcome in Software Engineering Research?"],"prefix":"10.1145","volume":"49","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[{"name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,3]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Accessed February 20th","author":"FSE","year":"2004","unstructured":"FSE 2004 { call for papers, 2004. https:\/\/web.archive.org\/web\/20031013221307\/http: \/\/www.isr.uci.edu\/FSE-12\/cfp.html, Accessed February 20th, 2024."},{"key":"e_1_2_1_2_1","volume-title":"Accessed February 20th","author":"FSE","year":"2023","unstructured":"FSE 2023 { call for papers, 2023. https:\/\/2023.esec-fse.org\/track\/ fse-2023-research-papers?#Call-for-Papers, Accessed February 20th, 2024."},{"key":"e_1_2_1_3_1","volume-title":"Accessed February 20th","author":"IEEE","year":"2024","unstructured":"IEEE transactions on software engineering { aims & scope, 2024. https:\/\/ieeexplore.ieee.org\/xpl\/aboutJournal. jsp?punumber=32, Accessed February 20th, 2024."},{"issue":"7","key":"e_1_2_1_4_1","first-page":"633","article-title":"Inference of message sequence charts","volume":"29","author":"Alur Rajeev","year":"2003","unstructured":"Rajeev Alur, Kousha Etessami, and Mihalis Yannakakis. Inference of message sequence charts. IEEE Trans. Software Eng., 29(7):623{633, 2003.","journal-title":"IEEE Trans. Software Eng."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.86"},{"issue":"10","key":"e_1_2_1_7_1","first-page":"24","article-title":"Can practitioners neglect theory and theoreticians neglect practice?","volume":"44","author":"Broy Manfred","year":"2011","unstructured":"Manfred Broy. Can practitioners neglect theory and theoreticians neglect practice? Computer, 44(10):19{24, 2011.","journal-title":"Computer"},{"issue":"72","key":"e_1_2_1_8_1","first-page":"56","article-title":"Professionalization comes from theory and research: The \\why\" instead of the \\how to","volume":"1996","author":"Chalofsky Neal E.","year":"1996","unstructured":"Neal E. Chalofsky. Professionalization comes from theory and research: The \\why\" instead of the \\how to\". New Directions for Adult and Continuing Education, 1996(72):51{56, 1996.","journal-title":"New Directions for Adult and Continuing Education"},{"issue":"8","key":"e_1_2_1_9_1","first-page":"574","article-title":"Integrating formal verification and conformance testing for reactive systems","volume":"33","author":"Constant Camille","year":"2007","unstructured":"Camille Constant, Thierry J--eron, Herv--e Marchand, and Vlad Rusu. Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng., 33(8):558{574, 2007.","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"e_1_2_1_10_1","first-page":"104","article-title":"How NOT to review a paper: the tools and techniques of the adversarial reviewer","volume":"37","author":"Cormode Graham","year":"2008","unstructured":"Graham Cormode. How NOT to review a paper: the tools and techniques of the adversarial reviewer. SIGMOD Rec., 37(4):100{104, 2008.","journal-title":"SIGMOD Rec."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2089116.2089119"},{"issue":"3","key":"e_1_2_1_12_1","first-page":"1754","article-title":"Practical relevance of software engineering research: synthesizing the community's voice","volume":"25","author":"Garousi Vahid","year":"2020","unstructured":"Vahid Garousi, Markus Borg, and Markku Oivo. Practical relevance of software engineering research: synthesizing the community's voice. Empirical Software Engineering, 25(3):1687{1754, March 2020.","journal-title":"Empirical Software Engineering"},{"key":"e_1_2_1_13_1","volume-title":"International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23--25, 2007","author":"Osterweil Leon J.","year":"2007","unstructured":"Leon J. Osterweil. A future for software engineering? In Lionel C. Briand and Alexander L. Wolf, editors, International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23--25, 2007, Minneapolis, MN, USA, pages 1{11. IEEE Computer Society, 2007."},{"key":"e_1_2_1_14_1","unstructured":"Paul Ralph Sebastian Baltes Domenico Bianculli Yvonne Dittrich Michael Felderer Robert Feldt Antonio Filieri Carlo Alberto Furia Daniel Graziotin Pinjia He Rashina Hoda Natalia Juristo Barbara A. Kitchenham Romain Robbes Daniel M--endez Je erson Seide Moll--eri Diomidis Spinellis Miroslaw Staron Klaas-Jan Stol Damian A. Tamburri Marco Torchiano Christoph Treude Burak Turhan and Sira Vegas. ACM SIGSOFT empirical standards. CoRR abs\/2010.03525 2020."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.11.010"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650142.3650148","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650142.3650148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:31Z","timestamp":1750291411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650142.3650148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,3]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,4,3]]}},"alternative-id":["10.1145\/3650142.3650148"],"URL":"https:\/\/doi.org\/10.1145\/3650142.3650148","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2024,4,3]]},"assertion":[{"value":"2024-04-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}