Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleDecember 2024JUST ACCEPTED
Efficient and Green Large Language Models for Software Engineering: Vision and the Road Ahead
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3708525Large Language Models (LLMs) have recently shown remarkable capabilities in various software engineering tasks, spurring the rapid growth of the Large Language Models for Software Engineering (LLM4SE) area. However, limited attention has been paid to ...
- editorialDecember 2024
- research-articleDecember 2024JUST ACCEPTED
Large Language Model Supply Chain: A Research Agenda
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3708531The rapid advancement of large language models (LLMs) has revolutionized artificial intelligence, introducing unprecedented capabilities in natural language processing and multimodal content generation. However, the increasing complexity and scale of ...
- research-articleDecember 2024JUST ACCEPTED
Editorial: TOSEM journal in 2025 and beyond
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3708477TOSEM is ACM’s flagship journal for publishing software engineering research. TOSEM stays true to the foundations of the discipline while meaningfully engaging with the wave of disruptive innovations in the field. In this light, we discuss the plans for ...
- research-articleDecember 2024
Large Language Models for Software Engineering: A Systematic Literature Review
- Xinyi Hou,
- Yanjie Zhao,
- Yue Liu,
- Zhou Yang,
- Kailong Wang,
- Li Li,
- Xiapu Luo,
- David Lo,
- John Grundy,
- Haoyu Wang
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 8Article No.: 220, Pages 1–79https://doi.org/10.1145/3695988Large Language Models (LLMs) have significantly impacted numerous domains, including Software Engineering (SE). Many recent publications have explored LLMs applied to various SE tasks. Nevertheless, a comprehensive understanding of the application, ...
-
- research-articleDecember 2024
Enhancing Energy-Awareness in Deep Learning through Fine-Grained Energy Measurement
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 8Article No.: 211, Pages 1–34https://doi.org/10.1145/3680470With the increasing usage, scale, and complexity of Deep Learning (dl) models, their rapidly growing energy consumption has become a critical concern. Promoting green development and energy awareness at different granularities is the need of the hour to ...
- research-articleNovember 2024JUST ACCEPTED
Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3705311Detecting atomicity violations effectively in interrupt-driven programs is difficult due to the asymmetric concurrency interleaving of interrupts. Current approaches face two main challenges: (1) A large number of false positives are generated by ...
- research-articleNovember 2024JUST ACCEPTED
EffFix: Efficient and Effective Repair of Pointer Manipulating Programs
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3705310This work introduces EffFix, a tool that applies a novel static analysis-driven Automated Program Repair (APR) technique for fixing memory errors. APR tools typically rely on a given test-suite to guide the repair process. Apart from the need to provide ...
- research-articleNovember 2024JUST ACCEPTED
Certified Cost Bounds for Abstract Programs
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3705298A program containing placeholders for unspecified statements or expressions is called an abstract (or schematic) program. Placeholder symbols occur naturally in program transformation rules, as used in refactoring, compilation or optimization. Static cost ...
- research-articleNovember 2024
Cleaning Up Confounding: Accounting for Endogeneity Using Instrumental Variables and Two-Stage Models
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 8Article No.: 199, Pages 1–31https://doi.org/10.1145/3674730Studies in empirical software engineering are often most useful if they make causal claims because this allows practitioners to identify how they can purposefully influence (rather than only predict) outcomes of interest. Unfortunately, many non-...
- research-articleNovember 2024JUST ACCEPTED
Repairs and Breaks Prediction for Deep Neural Networks
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3702983With the increasing prevalence of software incorporating deep neural networks (DNNs), quality assurance for these software systems has become a crucial concern. To this end, various methods have been proposed to repair the misbehavior of DNNs by modifying ...
- research-articleNovember 2024JUST ACCEPTED
Identifying Performance Issues in Cloud Service Systems Based on Relational-Temporal Features
- Wenwei Gu,
- Jinyang Liu,
- Zhuangbin Chen,
- Jianping Zhang,
- Yuxin Su,
- Jiazhen Gu,
- Cong Feng,
- Zengyin Yang,
- Yongqiang Yang,
- Michael R. Lyu
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3702978Cloud systems, typically comprised of various components (e.g., microservices), are susceptible to performance issues, which may cause service-level agreement violations and financial losses. Identifying performance issues is thus of paramount importance ...
- research-articleSeptember 2024
A Comprehensive View on TD Prevention Practices and Reasons for Not Preventing It
- Sávio Freire,
- Alexia Pacheco,
- Nicolli Rios,
- Boris Pérez,
- Camilo Castellanos,
- Darío Correal,
- Robert Ramač,
- Vladimir Mandić,
- Nebojša Taušan,
- Gustavo López,
- Manoel Mendonça,
- Davide Falessi,
- Clemente Izurieta,
- Carolyn Seaman,
- Rodrigo Spínola
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 7Article No.: 178, Pages 1–44https://doi.org/10.1145/3674727Context. Technical debt (TD) prevention allows software practitioners to apply practices to avoid potential TD items in their projects. Aims. To uncover and prioritize, from the point of view of software practitioners, the practices that could be used to ...
- research-articleSeptember 2024JUST ACCEPTED
ZigZagFuzz: Interleaved Fuzzing of Program Options and Files
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3697014Command-line options (e.g., -l, -F, -R for ls) given to a command-line program can significantly alternate the behaviors of the program. Thus, fuzzing not only file input but also program options can improve test coverage and bug detection. In this paper, ...
- research-articleSeptember 2024JUST ACCEPTED
An Empirical Study of the Non-determinism of ChatGPT in Code Generation
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3697010There has been a recent explosion of research on Large Language Models (LLMs) for software engineering tasks, in particular code generation. However, results from LLMs can be highly unstable; nondeterministically returning very different code for the same ...
- research-articleSeptember 2024JUST ACCEPTED
Identifying the Failure-Revealing Test Cases in Metamorphic Testing: A Statistical Approach
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3695990Metamorphic testing, thanks to its high failure-detection effectiveness especially in the absence of test oracle, has been widely applied in both the traditional context of software testing and other relevant fields such as fault localization and program ...
- research-articleAugust 2024JUST ACCEPTED
My Fuzzers Won’t Build: An Empirical Study of Fuzzing Build Failures
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3688842Fuzzing is an automated software testing technique used to find software vulnerabilities that works by sending large amounts of inputs to a software system to trigger bad behaviors. In recent years, the open-source software ecosystem has seen a ...
- research-articleAugust 2024JUST ACCEPTED
Measuring and Mining Community Evolution in Developer Social Networks with Entropy-Based Indices
ACM Transactions on Software Engineering and Methodology (TOSEM), Just Accepted https://doi.org/10.1145/3688832This work presents four novel entropy-based indices for measuring the community evolution of developer social networks (DSNs) in open source software (OSS) projects. The proposed indices offer a quantitative measure of community split, shrink, merge, and ...
- research-articleJune 2024
Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 5Article No.: 116, Pages 1–26https://doi.org/10.1145/3643674Since its introduction in November 2022, ChatGPT has rapidly gained popularity due to its remarkable ability in language understanding and human-like responses. ChatGPT, based on GPT-3.5 architecture, has shown great promise for revolutionizing various ...
- research-articleJune 2024
Generating Python Type Annotations from Type Inference: How Far Are We?
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 5Article No.: 123, Pages 1–38https://doi.org/10.1145/3652153In recent years, dynamic languages such as Python have become popular due to their flexibility and productivity. The lack of static typing makes programs face the challenges of fixing type errors, early bug detection, and code understanding. To alleviate ...