发布求助
文献互助 智能选刊 最新文献

ACM SIGSOFT Software Engineering Notes最新文献

筛选
英文 中文
Column: Is Theory (Still) Welcome in Software Engineering Research? 专栏：软件工程研究还欢迎理论吗？
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650148
Sylvain Hallé
{"title":"Column: Is Theory (Still) Welcome in Software Engineering Research?","authors":"Sylvain Hallé","doi":"10.1145/3650142.3650148","DOIUrl":"https://doi.org/10.1145/3650142.3650148","url":null,"abstract":"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.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"674 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749179","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023) 第八届注册会计师检查程序（CPAchecker 2023）国际研讨会摘要
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650150
Marie-Christine Jakobs, Nian-Ze Lee
{"title":"Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)","authors":"Marie-Christine Jakobs, Nian-Ze Lee","doi":"10.1145/3650142.3650150","DOIUrl":"https://doi.org/10.1145/3650142.3650150","url":null,"abstract":"The International Workshop on CPAchecker is an annual event. Its goal is to discuss recent and ongoing research (ideas) as well as tool developments in the context of C program verification, thereby having a particular focus on the open-source software analysis framework CPAchecker. In addition, the workshop offers a platform to advance the research community around CPAchecker and to foster collaborations.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"578 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023) 第 14 届自动化测试用例设计、选择和评估国际研讨会（A-TEST 2023）报告
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650149
João Pascoal Faria, Freek Verbeek, Anna Rita Fasolino
{"title":"Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)","authors":"João Pascoal Faria, Freek Verbeek, Anna Rita Fasolino","doi":"10.1145/3650142.3650149","DOIUrl":"https://doi.org/10.1145/3650142.3650149","url":null,"abstract":"For the past fourteen years, the Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST)1 has provided a venue for researchers and industry members alike to exchange and discuss trending views, ideas, state-of-the-art, work-in-progress, and scientific results on automated testing. The previous thirteen editions of A-TEST were co-located with several conferences over time: CISTI2 (first two editions), FEDCSIS 3 (three editions), and ESEC/FSE4 (seven editions). The 14th edition took place on September 15, 2023, in Kirchberg, Luxembourg, co-located with ASE 2023 (38th IEEE/ACM International Conference on Automated Software Engineering5). The A-TEST 2023 program featured an enlightening keynote on quantum software testing, followed by three technical sessions in which the authors of 6 full papers and 4 short papers dived into various aspects of automated testing, from neuroevolution and fuzzing techniques to GUI-based software testing and test case recommendations. This short report summarizes the keynote and paper presentations at A-TEST 2023.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"81 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140746963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Academic Freedom and International Students, Part 5: The gray areas 学术自由与留学生，第 5 部分：灰色地带
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650145
Robert Schaefer
{"title":"Academic Freedom and International Students, Part 5: The gray areas","authors":"Robert Schaefer","doi":"10.1145/3650142.3650145","DOIUrl":"https://doi.org/10.1145/3650142.3650145","url":null,"abstract":"Computer science and software engineering students and researchers are busy with their courses, in their labs, working on their studies and research - for the most part not really thinking about the impact of politics on their research. However, there are increasing restrictions on the information researchers are allowed to share with their students, and who researchers are allowed to collaborate with respect to national security and increasing concerns with China. To an increasing extent researchers are made aware at grant time. Research institutions must follow federal rules in the grant and hiring process and are conducting workshops and roundtables on issues of national security. The AIP, The American Institute of Physics provides through their mailing list an informative brief on national science policy titled \"FYI: Science Policy News from AIP, This Week.\" The issue for January 23, 2023, invited those interested to join a National Academies of Science, Engineering, Medicine workshop called a \"Meeting of experts,\" on the topic of \"Fundamental Research, Openness, and Protecting the U.S. Technological Advantage: NSDD-189 in the New Global Context.\"","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"294 ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Passages 段落
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650144
Alex Groce
{"title":"Passages","authors":"Alex Groce","doi":"10.1145/3650142.3650144","DOIUrl":"https://doi.org/10.1145/3650142.3650144","url":null,"abstract":"Manuel Castells' The Rise of the Network Society is the first volume of a trilogy, The Information Age. It is a sociological work describing a new world arising from what some have called the second industrial revolution, the information revolution that is both the bread and butter and the water we fish swim in, for software engineers.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"119 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140748623","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
What Does the World's Biggest Tech Event Tell Us? Key Pointers from CES 2024 世界最大科技盛会告诉我们什么？2024 年消费电子展的关键要点
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650146
Ahmed El-Deeb
{"title":"What Does the World's Biggest Tech Event Tell Us? Key Pointers from CES 2024","authors":"Ahmed El-Deeb","doi":"10.1145/3650142.3650146","DOIUrl":"https://doi.org/10.1145/3650142.3650146","url":null,"abstract":"Getting to know what's in the making by tech industry leaders is something transformative to anyone's awareness in the 21 century. It's like our grandparents having to read journal every morning. What would people at that time consider the person who doesn't read the journal at all? You name it. For tech it's the same; knowing how the technological landscape is shaping helps you prepare for the future by being emotionally ready. For software engineers, it's even critical than ordinary citizens. This is because it's more than emotional readiness. It is career and professional readiness as well. But how you will get to know the key technology industry leaders are working on? One of the key venues is the Consumer Electronics Show (CES). It is an annual giant event that brings in tech leaders in the industry to talk about their latest innovations. This paper brings to you key observations from CES 2024, held in January. From those observations you can extrapolate key future points about the tech ahead of us.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"41 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140747453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Gamify: Gamification in Software Development, Verification,and Validation 游戏化：软件开发、验证和确认中的游戏化
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650151
Riccardo Coppola, Luca Ardito, Maurizio Leotta
{"title":"Gamify: Gamification in Software Development, Verification,and Validation","authors":"Riccardo Coppola, Luca Ardito, Maurizio Leotta","doi":"10.1145/3650142.3650151","DOIUrl":"https://doi.org/10.1145/3650142.3650151","url":null,"abstract":"In this paper we report the outcomes of the 1st and 2nd edition of the International Workshop on Gamification in Software Development, Verification, and Validation (Gamify 2022 and Gamify 2023) which were held as part of the 30th and 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022, in Singapore, November 17, 2022 and ESEC/FSE 2023, online workshop, December 4, 2023).","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"404 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Women and Software Engineering 妇女与软件工程
ACM SIGSOFT Software Engineering Notes Pub Date : 2024-04-03 DOI: 10.1145/3650142.3650147
L. Jaccheri
{"title":"Women and Software Engineering","authors":"L. Jaccheri","doi":"10.1145/3650142.3650147","DOIUrl":"https://doi.org/10.1145/3650142.3650147","url":null,"abstract":"My goal with this text is to provide some concepts and questions that can help the reader to reflect on and elevate the discussion about Women and Software Engineering by providing historical data and some reflection points for the future. Feminism constitutes both a theoretical perspective and a social movement aiming to diminish and ultimately eliminate gender-based inequality and oppression. Data feminism merges data science with feminist principles to examine and address biases and power dynamics in data and technology. Studies at the intersection between gender and software engineering cover gender representation, barriers, and experiences. The main questions I propose for future reflections in the community are: What are the benefits that women bring to software engineering? How does the career and the life of female software engineers unfold? How should software engineering research change so that feminist principles are incorporated? How can feminist knowledge and processes help to examine power structure in software engineering?","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"61 7","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140748897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Passages 段落
ACM SIGSOFT Software Engineering Notes Pub Date : 2023-12-27 DOI: 10.1145/3635439.3635441
Alex Groce
{"title":"Passages","authors":"Alex Groce","doi":"10.1145/3635439.3635441","DOIUrl":"https://doi.org/10.1145/3635439.3635441","url":null,"abstract":"Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"70 S9","pages":"10 - 10"},"PeriodicalIF":0.0,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139153210","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Behind OpenAI CEO Dismissal: An Ethical Dilemma And ANew AI Revolution OpenAI 首席执行官被解职的背后：伦理困境与新的人工智能革命
ACM SIGSOFT Software Engineering Notes Pub Date : 2023-12-27 DOI: 10.1145/3635439.3635442
Ahmed El-Deeb
{"title":"Behind OpenAI CEO Dismissal: An Ethical Dilemma And ANew AI Revolution","authors":"Ahmed El-Deeb","doi":"10.1145/3635439.3635442","DOIUrl":"https://doi.org/10.1145/3635439.3635442","url":null,"abstract":"The world of Artificial Intelligence and Silicon Valley have been rocked in Nov. 2023 by the sudden ouster of OpenAI CEO, Sam Altman, by the company's board. OpenAI is the 2015 start-up behind ChatGPT and GPT-4, which enabled generating content and media-altered by AI. While nothing much was revealed by the board, the official statement mentioned that he wasn't transparent about his communication to the board about the developments of the company, which led the board to lose trust in him and deciding to fire him. Backed up by 700 OpenAI staffers who threatened to resign in solidarity with their fired leader and a supportive offer from Microsoft CEO Satya hiring Altman to lead significant AI Research Lab in Microsoft, Altman was back again as CEO in 5 days along with a revamped new board. While this dramatic story that entertained the software industry for a week could be seen as mere news, it is indeed more than that; and the significance of this story is not Sam Altman himself as an AI business figure. The back story of this fiasco and what happened behind the scene is what interest us as a Software professionals. The purpose of this article is bring some pointers for our learning.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"58 12","pages":"11 - 12"},"PeriodicalIF":0.0,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139153164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信