Software Engineering

Authors and titles for July 2024

[226] arXiv:2407.18779 [pdf, html, other]

Title: Foundation Models for the Digital Twin Creation of Cyber-Physical Systems

Shaukat Ali, Paolo Arcaini, Aitor Arrieta

Journal-ref: Leveraging Applications of Formal Methods, Verification and Validation (Isola 2024)

Subjects: Software Engineering (cs.SE)

[227] arXiv:2407.18877 [pdf, html, other]

Title: Line-level Semantic Structure Learning for Code Vulnerability Detection

Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin

Comments: 10 pages

Subjects: Software Engineering (cs.SE)

[228] arXiv:2407.18888 [pdf, html, other]

Title: Semistructured Merge with Language-Specific Syntactic Separators

Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jonatas Clementino

Subjects: Software Engineering (cs.SE)

[229] arXiv:2407.18901 [pdf, other]

Title: AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents

Harsh Trivedi, Tushar Khot, Mareike Hartmann, Ruskin Manku, Vinty Dong, Edward Li, Shashank Gupta, Ashish Sabharwal, Niranjan Balasubramanian

Comments: ACL'24 Camera Ready

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

[230] arXiv:2407.18977 [pdf, other]

Title: Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil

Antonio Pedro Santos Alves, Marcos Kalinowski, Daniel Mendez, Hugo Villamizar, Kelly Azevedo, Tatiana Escovedo, Helio Lopes

Comments: arXiv admin note: substantial text overlap with arXiv:2310.06726

Subjects: Software Engineering (cs.SE)

[231] arXiv:2407.19053 [pdf, other]

Title: A Study of Using Multimodal LLMs for Non-Crash Functional Bug Detection in Android Apps

Bangyan Ju, Jin Yang, Tingting Yu, Tamerlan Abdullayev, Yuanyuan Wu, Dingbang Wang, Yu Zhao

Subjects: Software Engineering (cs.SE)

[232] arXiv:2407.19055 [pdf, html, other]

Title: Effective Large Language Model Debugging with Best-first Tree Search

Jialin Song, Jonathan Raiman, Bryan Catanzaro

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[233] arXiv:2407.19087 [pdf, html, other]

Title: Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems

Lucas Albuquerque, Rohit Gheyi, Márcio Ribeiro

Comments: Accepted at NIER track of the Brazilian Symposium on Software Engineering (SBES 2024), 7 Pages

Subjects: Software Engineering (cs.SE)

[234] arXiv:2407.19261 [pdf, html, other]

Title: Evaluating Large Language Models in Detecting Test Smells

Keila Lucas, Rohit Gheyi, Elvys Soares, Márcio Ribeiro, Ivan Machado

Comments: 7 pages, Accepted at Insightful Ideas and Emerging Results (IIER) Track of the Brazilian Symposium on Software Engineering (SBES 2024)

Subjects: Software Engineering (cs.SE)

[235] arXiv:2407.19292 [pdf, html, other]

Title: Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches

Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley

Comments: 13 pages

Subjects: Software Engineering (cs.SE); Robotics (cs.RO)

[236] arXiv:2407.19318 [pdf, other]

Title: Application State Management (ASM) in the Modern Web and Mobile Applications: A Comprehensive Review

Anujkumarsinh Donvir, Apeksha Jain, Pradeep Kumar Saraswathi

Subjects: Software Engineering (cs.SE)

[237] arXiv:2407.19487 [pdf, html, other]

Title: RLCoder: Reinforcement Learning for Repository-Level Code Completion

Yanlin Wang, Yanli Wang, Daya Guo, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng

Comments: To appear at ICSE 2025

Journal-ref: 47th International Conference on Software Engineering (ICSE 2025)

Subjects: Software Engineering (cs.SE)

[238] arXiv:2407.19711 [pdf, other]

Title: TVDiag: A Task-oriented and View-invariant Failure Diagnosis Framework with Multimodal Data

Shuaiyu Xie, Jian Wang, Hanbin He, Zhihao Wang, Yuqi Zhao, Neng Zhang, Bing Li

Comments: 32 pages

Subjects: Software Engineering (cs.SE)

[239] arXiv:2407.19901 [pdf, html, other]

Title: Carbon-Efficient Software Design and Development: A Systematic Literature Review

Ornela Danushi, Stefano Forti, Jacopo Soldani

Subjects: Software Engineering (cs.SE)

[240] arXiv:2407.20042 [pdf, html, other]

Title: When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention

Lianghong Guo, Yanlin Wang, Ensheng Shi, Wanjun Zhong, Hongyu Zhang, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng

Comments: To appear at ISSTA 2024

Subjects: Software Engineering (cs.SE)

[241] arXiv:2407.20696 [pdf, other]

Title: Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA

Saurabh Mittal, Bernard P. Zeigler, José L. Risco-Martín

Comments: arXiv admin note: substantial text overlap with arXiv:2407.03686

Journal-ref: The International C2 Journal, 3(1), pp. 1-61, 2009

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)

[242] arXiv:2407.20898 [pdf, html, other]

Title: ThinkRepair: Self-Directed Automated Program Repair

Xin Yin, Chao Ni, Shaohua Wang, Zhenhao Li, Limin Zeng, Xiaohu Yang

Comments: Accepted By ISSTA'24

Subjects: Software Engineering (cs.SE)

[243] arXiv:2407.20900 [pdf, html, other]

Title: Visual Analysis of GitHub Issues to Gain Insights

Rifat Ara Proma, Paul Rosen

Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)

[244] arXiv:2407.20924 [pdf, html, other]

Title: Automatically Removing Unnecessary Stubbings from Test Suites

Mengzhen Li, Mattia Fazzini

Subjects: Software Engineering (cs.SE)

[245] arXiv:2407.21007 [pdf, html, other]

Title: The Dual-Edged Sword of Technical Debt: Benefits and Issues Analyzed Through Developer Discussions

Xiaozhou Li, Matteo Esposito, Andrea Janes, Valentina Lenarduzzi

Subjects: Software Engineering (cs.SE)

[246] arXiv:2407.21069 [pdf, html, other]

Title: High-Dimensional Fault Tolerance Testing of Highly Automated Vehicles Based on Low-Rank Models

Yuewen Mei, Tong Nie, Jian Sun, Ye Tian

Comments: Accepted by ITSC 2024

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)

[247] arXiv:2407.21127 [pdf, other]

Title: Teaching Survey Research in Software Engineering

Marcos Kalinowski, Allysson Allex Araújo, Daniel Mendez

Subjects: Software Engineering (cs.SE)

[248] arXiv:2407.21152 [pdf, html, other]

Title: WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal

Subjects: Software Engineering (cs.SE)

[249] arXiv:2407.21224 [pdf, html, other]

Title: Predicting Software Reliability in Softwarized Networks

Hasan Yagiz Ozkan, Madeleine Kaufmann, Wolfgang Kellerer, Carmen Mas-Machuca

Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI)

[250] arXiv:2407.21227 [pdf, html, other]

Title: TaskEval: Assessing Difficulty of Code Generation Tasks for Large Language Models

Florian Tambon, Amin Nikanjam, Cyrine Zid, Foutse Khomh, Giuliano Antoniol

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)