Journal: IEEE Trans. Software Eng.

Volume 50, Issue 9

2219 -- 2239Yunbo Lyu, Hong Jin Kang, Ratnadira Widyasari, Julia Lawall, David Lo 0001. Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel
2240 -- 2253Mona Nashaat, James Miller 0001. Towards Efficient Fine-Tuning of Language Models With Organizational Data for Automated Software Review
2254 -- 2268Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri. LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
2269 -- 2293Ana Cristina Marcén, Antonio Iglesias, Raúl Lapeña, Francisca Pérez 0001, Carlos Cetina. A Systematic Literature Review of Model-Driven Engineering Using Machine Learning
2294 -- 2312Zhe Yu 0002, Joymallya Chakraborty, Tim Menzies. FairBalance: How to Achieve Equalized Odds With Data Pre-Processing
2313 -- 2336Qi Mo, Jianeng Wang, Zhongwen Xie, Cong Liu 0012, Fei Dai 0002. Enforcing Correctness of Collaborative Business Processes Using Plans
2337 -- 2349Jiho Shin, Hadi Hemmati, Moshi Wei, Song Wang 0009. Assessing Evaluation Metrics for Neural Test Oracle Generation
2350 -- 2362Xiaoyan Xu, Filipe R. Cogo, Shane McIntosh. Mitigating the Uncertainty and Imprecision of Log-Based Code Coverage Without Requiring Additional Logging Statements
2363 -- 2378Zheng Li 0001, Nicolás Saldías-Vallejos, Diego Seco, María Andrea Rodríguez Tastets, Rajiv Ranjan 0001. Long Live the Image: On Enabling Resilient Production Database Containers for Microservice Applications
2379 -- 2397Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu 0009, Lian Li 0002, Jingling Xue. Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving
2398 -- 2411Aniruddhan Murali, Mahmoud Alfadel, Meiyappan Nagappan, Meng Xu, Chengnian Sun. AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
2412 -- 2436Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani. DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing
2437 -- 2457Guang Yang 0019, Yu Zhou 0010, Xiang Chen 0005, Xiangyu Zhang, Terry Yue Zhuo, Taolue Chen 0001. Chain-of-Thought in Neural Code Generation: From and for Lightweight Language Models
2458 -- 2471Georgios Kourtis, Clare Dixon, Michael Fisher 0001. Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
2472 -- 2484Mohan Cui, Hui Xu 0009, Hongliang Tian, Yangfan Zhou. rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust

Volume 50, Issue 8

1967 -- 1983Yuanjie Xia, Lizhi Liao, Jinfu Chen 0002, Heng Li 0007, Weiyi Shang. Reducing the Length of Field-Replay Based Load Testing
1984 -- 2004Hanouf Al Ghanmi, Rami Bahsoon. ExplanaSC: A Framework for Determining Information Requirements for Explainable Blockchain Smart Contracts
2005 -- 2020Roman Haas, Raphael Nömmer, Elmar Juergens, Sven Apel. Optimization of Automated and Manual Software Tests in Industrial Practice: A Survey and Historical Analysis
2021 -- 2039Eduard Baranov, Sourav Chakraborty 0001, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran. A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications
2040 -- 2053Matteo Biagiola, Paolo Tonella. Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
2054 -- 2076Minghao Yang, Shunkun Yang, W. Eric Wong. Multi-Objective Software Defect Prediction via Multi-Source Uncertain Information Fusion and Multi-Task Multi-View Learning
2077 -- 2095Chunrong Fang, Weisong Sun, Yuchen Chen, Xiao Chen, Zhao Wei, Quanjun Zhang, Yudu You, Bin Luo 0003, Yang Liu 0003, Zhenyu Chen 0001. Esale: Enhancing Code-Summary Alignment Learning for Source Code Summarization
2096 -- 2109Farshad Kazemi, Maxime Lamothe, Shane McIntosh. Characterizing the Prevalence, Distribution, and Duration of Stale Reviewer Recommendations
2110 -- 2123Dimitrios Tsoukalas, Nikolaos Mittas, Elvira-Maria Arvanitou, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Dionysios D. Kehagias. Local and Global Explainability for Technical Debt Identification
2124 -- 2141Márton Elekes 0001, Vince Molnár, Zoltán Micskei. To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
2142 -- 2162Lei Cui 0003, Junnan Yin, Jiancong Cui, Yuede Ji, Peng Liu 0044, Zhiyu Hao, Xiaochun Yun. API2Vec++: Boosting API Sequence Representation for Malware Detection and Classification
2163 -- 2177Partha Chakraborty, Krishna Kanth Arumugam, Mahmoud Alfadel, Meiyappan Nagappan, Shane McIntosh. Revisiting the Performance of Deep Learning-Based Vulnerability Detection on Realistic Datasets
2178 -- 2199Fangcheng Qiu, Zhongxin Liu, Xing Hu 0008, Xin Xia 0001, Gang Chen 0001, Xinyu Wang 0001. Vulnerability Detection via Multiple-Graph-Based Code Representation
2200 -- 2218Maryam Masoudian, Heqing Huang 0002, Morteza Amini, Charles Zhang 0001. Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events

Volume 50, Issue 7

1658 -- 1674Guoping Rong, Yongda Yu, Yifan Zhang, He Zhang 0001, Haifeng Shen, Dong Shao, Hongyu Kuang, Min Wang, Zhao Wei, Yong Xu, Juhong Wang. Distilling Quality Enhancing Comments From Code Reviews to Underpin Reviewer Recommendation
1675 -- 1686Changshu Liu, Pelin Çetin, Yogesh Patodia, Baishakhi Ray, Saikat Chakraborty, Yangruibo Ding. Automated Code Editing With Search-Generate-Modify
1687 -- 1703Christoph Laaber, Tao Yue 0002, Shaukat Ali 0001. Evaluating Search-Based Software Microbenchmark Prioritization
1704 -- 1725Yutong Zhao, Lu Xiao 0001, Sunny Wong. A Platform-Agnostic Framework for Automatically Identifying Performance Issue Reports With Heuristic Linguistic Patterns
1726 -- 1746Hao Bu, Meng Sun 0002. Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation
1747 -- 1767Haoxin Tu, Lingxiao Jiang, Jiaqi Hong, Xuhua Ding, He Jiang 0001. Concretely Mapped Symbolic Memory Locations for Memory Error Detection
1768 -- 1788Haoxin Tu, Zhide Zhou, He Jiang 0001, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang. Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models
1789 -- 1806Xite Wang, Senping Tian, Wei Cui 0004. ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level
1807 -- 1826Bing Zhang 0011, Rong Ren, Jia Liu, Mingcai Jiang, Jiadong Ren, Jingyue Li. SQLPsdem: A Proxy-Based Mechanism Towards Detecting, Locating and Preventing Second-Order SQL Injections
1827 -- 1851Jia Li 0030, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen. A Lean Simulation Framework for Stress Testing IoT Cloud Systems
1852 -- 1866Shangwen Wang, Mingyang Geng, Bo Lin, Zhensu Sun, Ming Wen 0001, Yepang Liu 0001, Li Li 0029, Tegawendé F. Bissyandé, Xiaoguang Mao. Fusing Code Searchers
1867 -- 1887Lina Gong, Haoxiang Zhang 0001. MR${}^{2}$ 2-KG: A Multi-Relation Multi-Rationale Knowledge Graph for Modeling Software Engineering Knowledge on Stack Overflow
1888 -- 1900Jon Ayerdi, Valerio Terragni, Gunel Jahangirova, Aitor Arrieta, Paolo Tonella. GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
1901 -- 1920Shuotong Bai, Huaxiao Liu, Enyan Dai, Lei Liu 0040. Improving Issue-PR Link Prediction via Knowledge-Aware Heterogeneous Graph Learning
1921 -- 1948Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma 0003. LUNA: A Model-Based Universal Analysis Framework for Large Language Models
1949 -- 1966Shengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen 0001, Zhendong Su 0001. Practical, Automated Scenario-Based Mobile App Testing

Volume 50, Issue 6

1306 -- 1324Boqin Qin, Yilun Chen, Haopeng Liu, Hua Zhang 0001, Qiaoyan Wen, Linhai Song, Yiying Zhang. Understanding and Detecting Real-World Safety Issues in Rust
1325 -- 1339Xin-Cheng Wen, Cuiyun Gao, Feng Luo, Haoyu Wang 0001, Ge Li 0001, Qing Liao 0001. LIVABLE: Exploring Long-Tailed Classification of Software Vulnerability Types
1340 -- 1359Yutian Tang, Zhijie Liu, Zhichao Zhou, Xiapu Luo. ChatGPT vs SBST: A Comparative Assessment of Unit Test Suite Generation
1360 -- 1373Zibin Zheng, Jianzhong Su, Jiachi Chen, David Lo 0001, Zhijie Zhong, Mingxi Ye. DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
1374 -- 1395Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez. Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
1396 -- 1424Yinghua Li, Xueqi Dang, Weiguo Pian, Andrew Habib, Jacques Klein, Tegawendé F. Bissyandé. Test Input Prioritization for Graph Neural Networks
1425 -- 1449Chenxing Zhong, Shanshan Li, Huang Huang, Xiaodong Liu, Zhikun Chen, Yi Zhang, He Zhang. Domain-Driven Design for Microservices: An Evidence-Based Investigation
1450 -- 1463Nimmi Rashinika Weeraddana, Mahmoud Alfadel, Shane McIntosh. Characterizing Timeout Builds in Continuous Integration
1464 -- 1477QingHua Xu, Tao Yue 0002, Shaukat Ali 0001, Maite Arratibel. Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-Physical Systems
1478 -- 1504Pengzhou Chen, Tao Chen 0001, Miqing Li. MMO: Meta Multi-Objectivization for Software Configuration Tuning
1505 -- 1517Yalan Lin, Chengcheng Wan 0001, Shuwen Bai, Xiaodong Gu 0002. VarGAN: Adversarial Learning of Variable Semantic Representations
1518 -- 1533Shuangxiang Kan, Yuhao Gao, Zexin Zhong, Yulei Sui. Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for Java
1534 -- 1547Zewei Lin, Jiachi Chen, Jiajing Wu, Weizhe Zhang, Yongjuan Wang, Zibin Zheng. CRPWarner: Warning the Risk of Contract-Related Rug Pull in DeFi Smart Contracts
1548 -- 1584Zhijie Liu, Yutian Tang, Xiapu Luo, Yuming Zhou, Liang Feng Zhang. No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
1585 -- 1599Daniel Sokolowski, David Spielmann, Guido Salvaneschi. Automated Infrastructure as Code Program Testing
1600 -- 1619Zixiang Xian, Rubing Huang, Dave Towey, Chunrong Fang, Zhenyu Chen 0001. TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation
1620 -- 1638Bo Li 0103, Haowei Quan, Jiawei Wang 0003, Pei Liu, Haipeng Cai, Yuan Miao 0001, Yun Yang 0001, Li Li 0029. Neural Library Recommendation by Embedding Project-Library Knowledge Graph
1639 -- 1657Negar Ghorbani, Tarandeep Singh, Joshua Garcia, Sam Malek. Darcy: Automatic Architectural Inconsistency Resolution in Java

Volume 50, Issue 5

1015 -- 1039Stephen John Warnett, Uwe Zdun. On the Understandability of MLOps System Architectures
1040 -- 1064Yuanyuan Yuan, Qi Pang, Shuai Wang 0011. Provably Valid and Diverse Mutations of Real-World Media Data for DNN Testing
1065 -- 1079Micha Prudjinski, Irit Hadar, Gil Luria. Exploring the Role of Team Security Climate in the Implementation of Security by Design: A Case Study in the Defense Sector
1080 -- 1095Qiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Lei Ma 0003, Mike Papadakis, Yves Le Traon. Active Code Learning: Benchmarking Sample-Efficient Training of Code Models
1096 -- 1117Alison Fernandez Blanco, Araceli Queirolo Córdova, Alexandre Bergel, Juan Pablo Sandoval Alcocer. Asking and Answering Questions During Memory Profiling
1118 -- 1129Miles Frantz, Ya Xiao, Tanmoy Sarkar Pias, Na Meng 0001, Danfeng Yao. Methods and Benchmark for Detecting Cryptographic API Misuses in Python
1130 -- 1143Ana Belén Sánchez, José Antonio Parejo, Sergio Segura, Amador Durán Toro, Mike Papadakis. Mutation Testing in Practice: Insights From Open-Source Software Developers
1144 -- 1162Haofeng Li, Tian Tan 0001, Yue Li 0006, Jie Lu 0009, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li 0002, Lin Gao 0002, Peng Di, Liang Lin, Chenxi Cui. Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
1163 -- 1181Jiaqi Liu 0002, Fengming Zhang, Xin Zhang, Zhiwen Yu 0001, Liang Wang 0017, Yao Zhang 0005, Bin Guo 0001. hmCodeTrans: Human-Machine Interactive Code Translation
1182 -- 1214Rubing Huang, Chenhui Cui, Junlong Lian, Dave Towey, Weifeng Sun, Haibo Chen 0005. Toward Cost-Effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
1215 -- 1243David Nader-Palacio, Alejandro Velasco, Nathan Cooper, Alvaro Rodriguez, Kevin Moran, Denys Poshyvanyk. Toward a Theory of Causation for Interpreting Neural Code Models
1244 -- 1263Zhijun Ding, Yuehao Xu, Binbin Feng, Changjun Jiang. Microservice Extraction Based on a Comprehensive Evaluation of Logical Independence and Performance
1264 -- 1280Carolin E. Brandt, Ali Khatami, Mairieli Wessel, Andy Zaidman. Shaken, Not Stirred: How Developers Like Their Amplified Tests
1281 -- 1305Haonan Tong, Dalin Zhang 0003, Jiqiang Liu, Weiwei Xing, Lingyun Lu, Wei Lu 0010, Yumei Wu. MASTER: Multi-Source Transfer Weighted Ensemble Learning for Multiple Sources Cross-Project Defect Prediction

Volume 50, Issue 4

668 -- 694Eman Abdullah AlOmar, Mohamed Wiem Mkaouer, Ali Ouni 0001. Behind the Intent of Extract Method Refactoring: A Systematic Literature Review
695 -- 720Alvaro Veizaga, Seung Yeob Shin, Lionel C. Briand. Automated Smell Detection and Recommendation in Natural Language Requirements
721 -- 741Zhou Yang 0003, Bowen Xu, Jie M. Zhang, Hong Jin Kang, Jieke Shi, Junda He, David Lo 0001. Stealthy Backdoor Attack for Code Models
742 -- 764Anna Barzolevskaia, Enrico Branca, Natalia Stakhanova. Measuring and Characterizing (Mis)compliance of the Android Permission System
765 -- 784Dimitri Prestat, Naouel Moha, Roger Villemaire, Florent Avellaneda. DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells
785 -- 815Jean Baptiste Minani, Fatima Sabir, Naouel Moha, Yann-Gaël Guéhéneuc. A Systematic Review of IoT Systems Testing: Objectives, Approaches, Tools, and Challenges
816 -- 835Yuxia Zhang, Zhiqing Qiu, Klaas-Jan Stol, Wenhui Zhu, Jiaxin Zhu, Yingchen Tian, Hui Liu 0003. Automatic Commit Message Generation: A Critical Review and Directions for Future Work
836 -- 853Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani. Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency
854 -- 883Zhichao Zhou, Yuming Zhou, Chunrong Fang, Zhenyu Chen 0001, Xiapu Luo, Jingzhu He, Yutian Tang. Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
884 -- 899Fahimeh Hajari, Samaneh Malmir, Ehsan Mirsaeedi, Peter C. Rigby. Factoring Expertise, Workload, and Turnover Into Code Review Recommendation
900 -- 910Juraj Doncevic, Kresimir Fertalj, Mario Brcic, Mihael Kovac. Mask-Mediator-Wrapper Architecture as a Data Mesh Driver
911 -- 936Junjie Wang 0001, Yuchao Huang, Chunyang Chen, Zhe Liu 0025, Song Wang 0009, Qing Wang 0001. Software Testing With Large Language Models: Survey, Landscape, and Vision
937 -- 955He Jiang 0001, Zun Wang, Zhide Zhou, Xiaochen Li, Shikai Guo, Weifeng Sun, Tao Zhang 0001. A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
956 -- 978Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya. Automatic Debugging of Design Faults in MapReduce Applications
979 -- 994Sungjae Hwang, Sungho Lee, Sukyoung Ryu. An Empirical Study of JVMs' Behaviors on Erroneous JNI Interoperations
995 -- 1014Andrea Bombarda, Silvia Bonfanti, Martina de Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra. Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems

Volume 50, Issue 3

359 -- 0Sebastián Uchitel. Distinguished Reviewers 2023
360 -- 375Xin-Cheng Wen, Cuiyun Gao, Jiaxin Ye, Yichen Li, Zhihong Tian, Yan Jia 0001, Xuan Wang 0002. Meta-Path Based Attentional Graph Learning Model for Vulnerability Detection
376 -- 390Jie Zhu, Leye Wang, Xiao Han 0001, Anmin Liu, Tao Xie 0001. Safety and Performance, Why Not Both? Bi-Objective Optimized Model Compression Against Heterogeneous Attacks Toward AI Software Deployment
391 -- 412Wei Zheng 0006, Lidan Lin, Xiaoxue Wu, Xiang Chen 0005. An Empirical Study on Correlations Between Deep Neural Network Fairness and Neuron Coverage Criteria
413 -- 442Xueqi Dang, Yinghua Li, Mike Papadakis, Jacques Klein, Tegawendé F. Bissyandé, Yves Le Traon. Test Input Prioritization for Machine Learning Classifiers
443 -- 460Junxiao Han, Jiahao Zhang, David Lo 0001, Xin Xia 0001, ShuiGuang Deng, Minghui Wu 0001. Understanding Newcomers' Onboarding Process in Deep Learning Projects
461 -- 473Ruidong Han, Siqi Ma, Juanru Li, Surya Nepal, David Lo 0001, Zhuo Ma, Jianfeng Ma 0001. Range Specification Bug Detection in Flight Control System Through Fuzzing
474 -- 494Quanjun Zhang, Chunrong Fang, Weisong Sun, Yan Liu, Tieke He, Xiaodong Hao, Zhenyu Chen. APPT: Boosting Automated Patch Correctness Prediction via Fine-Tuning Pre-Trained Models
495 -- 511Yong Wang, Wenzhong Cui, Gai-Ge Wang, Jian Wang 0010, Dunwei Gong. Improving Test Data Generation for MPI Program Path Coverage With FERPSO-IMPR and Surrogate-Assisted Models
512 -- 533Haoran Yang, Yu Nong, Shaowei Wang 0002, Haipeng Cai. Multi-Language Software Development: Issues, Challenges, and Solutions
534 -- 550Junjie Li, Jinqiu Yang 0001. Tracking the Evolution of Static Code Warnings: The State-of-the-Art and a Better Approach
551 -- 573Changqing Wei, Xiangjuan Yao, Dunwei Gong, Huai Liu. Test Data Generation for Mutation Testing Based on Markov Chain Usage Model and Estimation of Distribution Algorithm
574 -- 597Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi 0001, Ivan Yu. Tyukin. Accelerating Finite State Machine-Based Testing Using Reinforcement Learning
598 -- 617Zhengkang Xu, Shikai Guo, Yumiao Wang, Rong Chen 0003, Hui Li 0014, Xiaochen Li, He Jiang 0001. Code Comment Inconsistency Detection Based on Confidence Learning
618 -- 635Yuan-an Xiao, Chenyang Yang 0002, Bo Wang 0050, Yingfei Xiong 0001. Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling
636 -- 650Zifeng Niu, Giuliano Casale. Neural Density Estimation of Response Times in Layered Software Systems
651 -- 667Luiz Carvalho, Thelma Elita Colanzi, Wesley K. G. Assunção, Alessandro F. Garcia 0001, Juliana Alves Pereira, Marcos Kalinowski, Rafael Maiani de Mello, Maria Julia de Lima, Carlos Lucena. On the Usefulness of Automatically Generated Microservice Architectures

Volume 50, Issue 2

159 -- 172Deeksha M. Arya, Jin L. C. Guo, Martin P. Robillard. Properties and Styles of Software Technology Tutorials
173 -- 189Mengxi Zhang, Huaxiao Liu, Chunyang Chen, Guangyong Gao, Han Li, Jian Zhao. AccessFixer: Enhancing GUI Accessibility for Low Vision Users With R-GCN Model
190 -- 208Shunkai Zhu, Jingyi Wang 0004, Jun Sun 0001, Jie Yang 0039, Xingwei Lin, Tian Wang 0001, Liyi Zhang, Peng Cheng. Better Pay Attention Whilst Fuzzing
209 -- 219Daniel Long, Scott Drylie, Jonathan D. Ritschel, Clay Koschnick. An Assessment of Rules of Thumb for Software Phase Management, and the Relationship Between Phase Effort and Schedule Success
220 -- 238Anjan Karmakar, Romain Robbes. INSPECT: Intrinsic and Systematic Probing Evaluation for Code Transformers
239 -- 257Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi. Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks
258 -- 279Wei Cheng, Wei Hu 0007, Xiaoxing Ma. Revisiting Knowledge-Based Inference of Python Runtime Environments: A Realistic and Adaptive Approach
280 -- 295Qing Huang, Zishuai Li, Zhenchang Xing, Zhengkang Zuo, Xin Peng 0001, Xiwei Xu 0001, Qinghua Lu 0001. Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue
296 -- 321Yanming Yang, Xing Hu 0008, Zhipeng Gao, Jinfu Chen 0002, Chao Ni 0001, Xin Xia 0001, David Lo 0001. Federated Learning for Software Engineering: A Case Study of Code Clone Detection and Defect Prediction
322 -- 337Riccardo Coppola, Tommaso Fulcini, Luca Ardito, Marco Torchiano, Emil Alégroth. On Effectiveness and Efficiency of Gamified Exploratory GUI Testing
338 -- 353Rosalia Tufano, Ozren Dabic, Antonio Mastropaolo, Matteo Ciniselli, Gabriele Bavota. Code Review Automation: Strengths and Weaknesses of the State of the Art

Volume 50, Issue 12

3088 -- 3103Zhuo Su 0005, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang 0024, Wanli Chang 0001, Aiguo Cui, Yu Jiang 0001. HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy
3104 -- 3121Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter 0001, Jonathan Bell 0001. The Effects of Computational Resources on Flaky Tests
3122 -- 3145Paula Muñoz 0001, Manuel Wimmer, Javier Troya, Antonio Vallecillo. Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments
3146 -- 3171Sakina Fatima, Hadi Hemmati, Lionel C. Briand. FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
3172 -- 3187Jorge Melegati, Kieran Conboy, Daniel Graziotin. Qualitative Surveys in Software Engineering Research: Definition, Critical Review, and Guidelines
3188 -- 3207Yichen Li 0003, Yintong Huo, Zhihan Jiang, Renyi Zhong, Pinjia He, Yuxin Su 0001, Lionel C. Briand, Michael R. Lyu. Exploring the Effectiveness of LLMs in Automated Logging Statement Generation: An Empirical Study
3208 -- 3224Pengyu Xue, Linhao Wu, Zhongxing Yu, Zhi Jin, Zhen Yang, Xinyi Li, Zhenyu Yang, Yue Tan. Automated Commit Message Generation With Large Language Models: An Empirical Study and Beyond
3225 -- 3248Yin Wang, Ming Fan 0002, Junfeng Liu, Junjie Tao, Wuxia Jin, Haijun Wang, Qi Xiong, Ting Liu 0002. Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App
3249 -- 3264Xinyi Wang 0004, Shaukat Ali 0001, Tao Yue 0002, Paolo Arcaini. Quantum Approximate Optimization Algorithm for Test Case Optimization
3265 -- 3289Huan Xie, Yan Lei, Meng Yan 0001, Shanshan Li 0001, Xiaoguang Mao, Yue Yu 0001, David Lo 0001. Towards More Precise Coincidental Correctness Detection With Deep Semantic Learning
3290 -- 3306Zhou Yang 0003, Zhipeng Zhao, Chenyu Wang, Jieke Shi, Dongsun Kim 0001, DongGyun Han, David Lo 0001. Gotcha! This Model Uses My Code! Evaluating Membership Leakage Risks in Code Models
3307 -- 3329Amin Abbasishahkoo, Mahboubeh Dadkhah, Lionel C. Briand, Dayi Lin. TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks
3330 -- 3350Mohammed Tayeeb Hasan, Nikolaos Tsantalis, Pouria Alikhanifard. Refactoring-Aware Block Tracking in Commit History
3351 -- 3368Mengxi Zhang, Huaxiao Liu, Yuheng Zhou, Chunyang Chen, Pei Huang 0002, Jian Zhao. Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users
3369 -- 3384Dianshu Liao, Shidong Pan, Xiaoyu Sun 0002, Xiaoxue Ren, Qing Huang, Zhenchang Xing, Huan Jin, Qinying Li. $\mathbf{A^{3}}$A3-CodGen: A Repository-Level Code Generation Framework for Code Reuse With Local-Aware, Global-Aware, and Third-Party-Library-Aware
3385 -- 3402Jingyun Zhu, Kaixuan Li 0002, Sen Chen 0001, Lingling Fan 0003, Junjie Wang 0007, Xiaofei Xie. A Comprehensive Study on Static Application Security Testing (SAST) Tools for Android
3403 -- 3434Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand. AIM: Automated Input Set Minimization for Metamorphic Security Testing
3435 -- 3453Xiao Yu 0008, Lei Liu, Xing Hu 0008, Jacky Wai Keung, Jin Liu 0016, Xin Xia 0001. Fight Fire With Fire: How Much Can We Trust ChatGPT on Source Code-Related Tasks?
3454 -- 3471Yuan Jiang, Yujian Zhang, Xiaohong Su, Christoph Treude, Tiantian Wang 0001. StagedVulBERT: Multigranular Vulnerability Detection With a Novel Pretrained Code Model

Volume 50, Issue 11

2709 -- 2711Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti 0001, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, LiGuo Huang, David Lo 0001, Michael R. Lyu, Lei Ma 0003, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun 0001, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong 0001, Tao Yue 0002, Andy Zaidman, Tao Zhang 0001, Hao Zhong 0001. Scoping Software Engineering for AI: The TSE Perspective
2712 -- 2731Tanghaoran Zhang, Yao Lu 0003, Yue Yu 0001, XinJun Mao, Yang Zhang 0026, Yuxin Zhao. How Do Developers Adapt Code Snippets to Their Contexts? An Empirical Study of Context-Based Code Snippet Adaptations
2732 -- 2752Haoye Wang, Zhipeng Gao, Xing Hu 0008, David Lo 0001, John Grundy 0001, Xinyu Wang 0001. Just-In-Time TODO-Missed Commits Detection
2753 -- 2785Wardah Mahmood, Gül Çalikli, Daniel Strüber 0001, Ralf Lämmel, Mukelabai Mukelabai, Thorsten Berger. Virtual Platform: Effective and Seamless Variability Management for Software Systems
2786 -- 2806Muhui Jiang, Xiaoye Zheng, Rui Chang, Yajin Zhou, Xiapu Luo. Examiner-Pro: Testing Arm Emulators Across Different Privileges
2807 -- 2826Hanzhi Jiang, Lin Shi 0006, Meiru Che, Yuxia Zhang, Qing Wang 0001. Bringing Open Source Communication and Development Together: A Cross-Platform Study on Gitter and GitHub
2827 -- 2848Zejun Zhang 0006, Zhenchang Xing, Dehai Zhao, Xiwei Xu 0001, Liming Zhu 0001, Qinghua Lu 0001. Automated Refactoring of Non-Idiomatic Python Code With Pythonic Idioms
2849 -- 2864Zimin Chen, Sen Fang, Martin Monperrus. Supersonic: Learning to Generate Source Code Optimizations in C/C++
2865 -- 2883Xin Zhou 0014, Bowen Xu, Kisub Kim, DongGyun Han, Hung Huu Nguyen, Thanh Le-Cong, Junda He, Bach Le 0001, David Lo 0001. Leveraging Large Language Model for Automatic Patch Correctness Assessment
2884 -- 2905Xin Chen 0032, Tian Sun, Dongling Zhuang, Dongjin Yu, He Jiang 0001, Zhide Zhou, Sicheng Li. HetFL: Heterogeneous Graph-Based Software Fault Localization
2906 -- 2920Fangyuan Zhang, Lingling Fan 0003, Sen Chen 0001, Miaoying Cai, Sihan Xu, Lida Zhao. Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries
2921 -- 2946Deepika Tiwari, Martin Monperrus, Benoit Baudry. Mimicking Production Behavior With Generated Mocks
2947 -- 2961Asmar Muqeet, Tao Yue 0002, Shaukat Ali 0001, Paolo Arcaini. Mitigating Noise in Quantum Software Testing Using Machine Learning
2962 -- 2982Xiaoyuan Xie, Xingpeng Li, Songqiang Chen. Metamorphic Testing of Image Captioning Systems via Image-Level Reduction
2983 -- 3006Pengcheng Zhang 0001, Ben Wang, Xiapu Luo, Hai Dong. SCAnoGenerator: Automatic Anomaly Injection for Ethereum Smart Contracts
3007 -- 3021Danniell Hu, Priscila Santiesteban, Madeline Endres, Westley Weimer. Towards a Cognitive Model of Dynamic Debugging: Does Identifier Construction Matter?
3022 -- 3036Yi Sun 0004, Chengpeng Wang, Gang Fan, Qingkai Shi, Xiangyu Zhang 0001. Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing
3037 -- 3052Lingxiao Tang, Chao Ni 0001, Qiao Huang, Lingfeng Bao. Enhancing Bug-Inducing Commit Identification: A Fine-Grained Semantic Analysis Approach
3053 -- 3070Rongqi Pan, Taher Ahmed Ghaleb, Lionel C. Briand. LTM: Scalable and Black-Box Similarity-Based Test Suite Minimization Based on Language Models
3071 -- 3087Xin Yin, Chao Ni 0001, Shaohua Wang 0002. Multitask-Based Evaluation of Open-Source LLM on Software Vulnerability

Volume 50, Issue 10

2485 -- 2497Shuai Jiang, Cai Fu, Shuai He, Jianqiang Lv, Lansheng Han, Hong Hu 0004. BinCola: Diversity-Sensitive Contrastive Learning for Binary Code Similarity Detection
2498 -- 2511Anda Liang, Emerson R. Murphy-Hill, Westley Weimer, Yu Huang 0015. A Controlled Experiment in Age and Gender Bias When Reading Technical Articles in Software Engineering
2512 -- 2528Ziyi Zhou, Mingchen Li, Huiqun Yu, Guisheng Fan, Penghui Yang, Zijie Huang 0001. Learning to Generate Structured Code Summaries From Hybrid Code Context
2529 -- 2543SayedHassan Khatoonabadi, Ahmad Abdellatif, Diego Elias Costa, Emad Shihab. Predicting the First Response Latency of Maintainers and Contributors in Pull Requests
2544 -- 2567Ricardo Caldas, Juan Antonio Piñera García, Matei Schiopu, Patrizio Pelliccione, Genaína Nunes Rodrigues, Thorsten Berger. Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems
2568 -- 2582Matteo Paltenghi, Rahul Pandita, Austin Z. Henley, Albert Ziegler 0001. Follow-Up Attention: An Empirical Study of Developer and Neural Model Code Exploration
2583 -- 2601Xiangbo Tian, Shi Ying, Tiangang Li, Mengting Yuan, Ruijin Wang, Yishi Zhao, Jianga Shang. iTCRL: Causal-Intervention-Based Trace Contrastive Representation Learning for Microservice Systems
2602 -- 2613Vikram Nitin, Anne Mulhern, Sanjay Arora, Baishakhi Ray. Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
2614 -- 2632Chengjie Lu, Shaukat Ali 0001, Tao Yue 0002. EpiTESTER: Testing Autonomous Vehicles With Epigenetic Algorithm and Attention Mechanism
2633 -- 2655Jingwen Liu, Wuxia Jin, Junhui Zhou, Qiong Feng, Ming Fan 0002, Haijun Wang, Ting Liu 0002. 3Erefactor: Effective, Efficient and Executable Refactoring Recommendation for Software Architectural Consistency
2656 -- 2676Weifeng Sun, Zhenting Guo, Meng Yan 0001, Zhongxin Liu, Yan Lei, Hongyu Zhang 0002. Method-Level Test-to-Code Traceability Link Construction by Semantic Correlation Learning
2677 -- 2694Sungmin Kang, Juyeon Yoon, Nargiz Askarbekkyzy, Shin Yoo. Evaluating Diverse Large Language Models for Automatic and General Bug Reproduction
2695 -- 2708Partha Chakraborty, Mahmoud Alfadel, Meiyappan Nagappan. RLocator: Reinforcement Learning for Bug Localization

Volume 50, Issue 1

1 -- 15Zicong Gao, Hao Xiong, Weiyu Dong, Rui Chang, Rui Yang, Yajin Zhou, Liehui Jiang. FA-Fuzz: A Novel Scheduling Scheme Using Firefly Algorithm for Mutation-Based Fuzzing
16 -- 47Sven Peldszus, Jens Bürger 0001, Jan Jürjens. UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering
48 -- 68Aren A. Babikian, Oszkár Semeráth, Dániel Varró. Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
69 -- 84Yuchen Shen, Travis D. Breaux. Stakeholder Preference Extraction From Scenarios
85 -- 105Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip. An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
106 -- 122Shanquan Gao, Liyuan Zhang, Huaxiao Liu, Yihui Wang. Which Animation API Should I Use Next? A Multimodal Real-Time Animation API Recommendation Model for Android Apps
123 -- 140Mateusz Dolata, Kevin Crowston. Making Sense of AI Systems Development
141 -- 157Christiaan Verwijs, Daniel Russo 0002. The Double-Edged Sword of Diversity: How Diversity, Conflict, and Psychological Safety Impact Software Teams
158 -- 0Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou. Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving"