ACM SIGSOFT Software Engineering Notes最新文献

{"title":"Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs","authors":"P. Parízek, Filip Kliber","doi":"10.1145/3573074.3573082","DOIUrl":"https://doi.org/10.1145/3573074.3573082","url":null,"abstract":"Many techniques of automated verification target multithreaded programs, because subtle interactions between threads may trigger concurrency errors such as deadlocks and data races. However, techniques and tools involving systematic exploration of the whole space of possible thread interleavings do not scale to large software systems, despite various clever algorithmic optimizations. A viable approach is to use incremental verification techniques that, in each run, focus just on the recently modified code and the relatively small number of affected execution traces, and therefore can provide results (bug reports) very quickly. In this paper we present a new algorithm for incremental verification of multithreaded programs based on the pairwise approach, whose key idea is systematic exploration of all possible thread interleavings just for specific relevant pairs of threads. We implemented the algorithm with Java Pathfinder as the backend verification tool, and evaluated it on several multithreaded Java programs. Results show that our incremental algorithm (1) can find errors very fast, (2) greatly reduces time needed for complete safety verification, and (3) it can find the same errors as full verification of the whole state space.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122874367","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}

{"title":"Risks to the Public","authors":"P. Neumann","doi":"10.1145/3573074.3573077","DOIUrl":"https://doi.org/10.1145/3573074.3573077","url":null,"abstract":"Edited by PGN (Risks Forum Moderator, with contribu- tions by others as indicated. Opinions are individual rather than organizational, with usual disclaimers implied. We ad- dress problems relating to software, hardware, people, and other circumstances relevant to computer systems. Ref- erences (R i j) to the online Risks Forum denote RISKS vol i number j. Cited RISKS items generally identify contributors and sources, together with URLs. Official RISKS archives are available at www.risks.org, with nice html formatting and search engine courtesy of Lindsay Mar- shall at Newcastle: http://catless.ncl.ac.uk/Risks/i.j.html (also ftp://www.sri.com/risks). CACM Inside Risks: http://www.csl.sri.com/neumann/insiderisks.html","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"28 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115713891","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}

{"title":"The First Tech Layoff Wave After Years of Hypergrowth","authors":"Ahmed El-Deeb","doi":"10.1145/3573074.3573075","DOIUrl":"https://doi.org/10.1145/3573074.3573075","url":null,"abstract":"Same month SEN issue published one year ago had this column titled as \"The Human Side of the Tech Industry: Key Drivers Behind the Tech Talent Dilemma.\" It discussed the Tech industry hypergrowth and how the tech industry is challenged in terms of finding talents and closing their hiring needs and deliver their projects; citing this as one of the top risks to delivering the required level of Digitalization projects. One year later from when that issue was published and the Tech Industry has been rocked by a massive layoff movement, with more than 120,000 IT workers have been laid off only in the U.S. This is perplexing. What happened to the Tech talent dilemma? More importantly, how such massive layoffs affects Tech Industry and Software Engineers? This paper surveys key impact points from such wave.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"83 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124461226","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}

{"title":"Researching and Transferring Blended Learning Experiences to Software Development Practices","authors":"Mahyar Mohammadi","doi":"10.1145/3573074.3573090","DOIUrl":"https://doi.org/10.1145/3573074.3573090","url":null,"abstract":"Blended learning combines the advantages of both in-person and online learning. Researchers applied various methodologies before and during the COVID-19 pandemic to better understand its impact on educational achievement and how the environment provides a better experience. Following the growing popularity of E-learning tools and environments, this study explores whether blended learning offers a sound concept and notion for the selection of learning and implementation techniques in software development to optimize the process.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122290501","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}

{"title":"Towards Wider Support for Java String Functions","authors":"Qiuchen Yan, Cyrille Artho, P. Parízek","doi":"10.1145/3573074.3573084","DOIUrl":"https://doi.org/10.1145/3573074.3573084","url":null,"abstract":"We conduct a study about SPF's existing string support by run- ning tests on a version of SPF with the latest string support. Base on the results, we then analyze each string method and identify the major challenges in supporting them. We categorize string API functions by type of the challenge, propose several solutions to each of the challenges, and discuss the feasibility and disad- vantages of di erent approaches. We implement support in the case of three string methods according to the proposed solution, leaving other methods as future work.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114217767","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}

{"title":"Passages","authors":"Alex Groce","doi":"10.1145/3573074.3573076","DOIUrl":"https://doi.org/10.1145/3573074.3573076","url":null,"abstract":"Harry R. Lewis' Baseball as a Second Language is a charming and charmingly short book. It is essential for those who are unfamiliar with the great American pastime, and it is enjoyable for those who are fans of the game. A guided tour through the use of baseball as metaphor in business, politics, and everyday life, it was apparently born out of a desire by Lewis to enable foreign students to appreciate his own use of baseball as a mirror for the world.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136327639","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}

{"title":"MSR4P&S 2022 Workshop Summary","authors":"M. Vidoni, N. E. D. Ferreyra, Zadia Codabux","doi":"10.1145/3573074.3573100","DOIUrl":"https://doi.org/10.1145/3573074.3573100","url":null,"abstract":"The 1st edition of the workshop on Mining Software Repositories for Privacy and Security (MSR4P&S 2022) was held virtually on November 18th, 2022, co-located with the 30th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), which took place in Singapore. MSR4P&S received a total of five submissions from diverse geographic locations, which were all included in the program after a rigorous peer-review process. The program also featured a keynote by M. Ali Babar on the quality of data mined for security research. This report summarises the event and insights stemming from the keynote and presentations in the workshop's two sessions.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133335003","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}

{"title":"Exploring the Essence of Continuous Experimentation","authors":"Bettina Lehtelä","doi":"10.1145/3573074.3573087","DOIUrl":"https://doi.org/10.1145/3573074.3573087","url":null,"abstract":"Context: Today's software industry is faced with rapidly changing requirements and high expectations from customers and users. Agile software development with a focus on rapid and frequent product deployment to end-users calls for equally continuous feedback acquisition, guiding software design and supporting evidencebased product development decisions. For keeping pace and succeeding on the highly competitive software market it is essential for companies to quickly and reliably evaluate their ideas based on real usage experiences in a natural context. This can be enabled using Continuous Experimentation (CE) - an approach to close the feedback cycle and tightly integrate the empirical evaluation of new features into the software development process. Objectives: With this project I aim at creating an understanding of CE as practiced and theorised today. Furthermore, my goal is to identify the smallest set of prerequisites for successfully implementing systematic experimentation practices into companies' software development process. I want to find solutions for companies to adopt CE as most suitable to their product stage, process maturity, and available resources; and enable organisations to systematically run experiments for data-driven decision-making. Methods: In addition to a currently on-going multivocal literature review, the project will involve empirical studies following a design science approach. Starting with a practitioner survey or interview, and a pilot case study for finding both, the typical hurdles encountered and the minimum requirements needed to apply CE in any company, the project will transition into an iterative multiple-case study, where proposed solutions are to be evaluated. Conclusions: The proposed doctoral research project will contribute to an increased understanding of systematic experimentation practices in different organisational settings, and strives for providing actionable solutions for enabling more flexible software development which can quickly react to feedback gained through experimentation, as well as an evaluation of these suggested solutions. Especially, this project aims at the creation of an easy-to-adopt approach called light-weight CE, which allows also companies with few resources or projects involving an earlystage product to benefit from the advantages of CE.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130940572","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}

{"title":"Fuzzing vs SBST","authors":"Giovani Guizzo, Sebastiano Panichella","doi":"10.1145/3573074.3573102","DOIUrl":"https://doi.org/10.1145/3573074.3573102","url":null,"abstract":"Search-Based Software Testing (SBST) is the application of SBSE for solving hard software testing problems. SBST has been the subject of discussion of our International SBST Workshop, colocated with the International Conference on Software Engineering (ICSE). In 2022 we hosted the 15th edition of our SBSTWorkshop, which brought together researchers and industrial practitioners to encourage the use of search-based and fuzz testing techniques and tools for addressing software engineering-specific challenges. In this 2022 edition, SBST held, among other exciting events, a discussion panel on the similarities and differences between SBST and Fuzzing. As it implies, the goal of the panel was to have a common ground for discussion on the main similarities and differences between the Fuzzing and SBST fields, focusing on how both communities can collaborate to advance the stateof- the-art on automated testing. This strong panel composed of researchers from both academia and industry was the highlight of SBST'22 and allowed the chairs of the workshop to make substantial changes for 2023. In this paper, we present the main take away messages from that seminal panel and highlight exciting new challenges in the field.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116037292","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}

{"title":"Games and Software Engineering","authors":"A. Bucchiarone, K. Cooper, Dayi Lin, Edward F. Melcer, Kelvin Sung","doi":"10.1145/3573074.3573096","DOIUrl":"https://doi.org/10.1145/3573074.3573096","url":null,"abstract":"Games are a popular form of entertainment and, due to their nature (i.e., interactive, immersive, etc.), strongly lend themselves for use beyond this original intent. Serious games, or games with a purpose, have been introduced to integrate the entertainment value games with domain specific objectives on important topics within education, health, and the environment to mention a few. In addition, gamification has been used to enhance nonentertainment applications with game elements; it aspires to foster behavioral changes, engagement, motivation, and participation in activities. In this context, the actions performed have meaning/value in the game experience in order to improve workplace performance or learn something in real life. The growing adoption of gameful experiences in all of the previous contexts make their design and development increasingly complex due to, for example, the number and variety of users, and their potential mission criticality. This complexity is nurtured, among the other factors, by a lack of theoretical grounding and adequate frameworks to engineer the intended solutions. In this paper, we report the outcomes of the 6th International Workshop on Games and Software Engineering: Engineering fun, inspiration, and motivation (GAS 2023 ) 1, which was held as part of the 44th International Conference on Software Engineering (ICSE 2022) in Pittsburgh, PA, USA on May 20, 2022. The workshop program includes two exciting keynotes discussing topics related to training and learning, and fulfilling the promise and potential of gamification. The two paper sessions examined gamification from the perspectives of software project, testing, and, design. The conclusion of the workshop is anchored by a panel of four highly qualified researchers and practitioners discussing lessons learned and the future of gamification.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132915810","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}