Software Engineering

Authors and titles for July 2024

[26] arXiv:2407.02509 [pdf, html, other]

Title: Variables are a Curse in Software Vulnerability Prediction

Jinghua Groppe, Sven Groppe, Ralf Möller

Journal-ref: In Database and Expert Systems Applications: 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I. Springer-Verlag, Berlin, Heidelberg, 516-521

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

[27] arXiv:2407.02510 [pdf, html, other]

Title: Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure

Xuan Zheng, Tim Blackmore, James Buckingham, Kerstin Eder

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

[28] arXiv:2407.02512 [pdf, html, other]

Title: Domain-Driven Design Representation of Monolith Candidate Decompositions Based on Entity Accesses

Miguel Levezinho (1), Stefan Kapferer (2), Olaf Zimmermann (2), António Rito Silva (1) ((1) INESC, University of Lisbon Instituto Superior Técnico, Lisbon, Portugal, (2) OST Eastern Switzerland University of Applied Sciences, Rapperswil, Switzerland)

Comments: 11 pages, 11 figures, 4 tables

Subjects: Software Engineering (cs.SE)

[29] arXiv:2407.02518 [pdf, html, other]

Title: INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness

Hung Le, Yingbo Zhou, Caiming Xiong, Silvio Savarese, Doyen Sahoo

Comments: Accepted to The Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Cryptography and Security (cs.CR); Multiagent Systems (cs.MA); Programming Languages (cs.PL)

[30] arXiv:2407.02522 [pdf, html, other]

Title: Systematic literature review of the trust reinforcement mechanisms exist in package ecosystems

Angel Temelko, Fang Hou, Siamak Farshidi, Slinger Jansen

Subjects: Software Engineering (cs.SE)

[31] arXiv:2407.02620 [pdf, html, other]

Title: RefExpo: Unveiling Software Project Structures through Advanced Dependency Graph Extraction

Vahid Haratian, Pouria Derakhshanfar, Vladimir Kovalenko, Eray Tüzün

Subjects: Software Engineering (cs.SE)

[32] arXiv:2407.02643 [pdf, html, other]

Title: ResearchBot: Bridging the Gap between Academic Research and Practical Programming Communities

Sahar Farzanehpour, Swetha Rajeev, Huayu Liang, Ritvik Prabhu, Chris Brown

Subjects: Software Engineering (cs.SE)

[33] arXiv:2407.02644 [pdf, html, other]

Title: Example-Based Automatic Migration of Continuous Integration Systems

Dhia Elhaq Rzig, Alaa Houerbi, Chungha Sung, Foyzul Hassan

Subjects: Software Engineering (cs.SE)

[34] arXiv:2407.02680 [pdf, html, other]

Title: KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution

Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray

Subjects: Software Engineering (cs.SE)

[35] arXiv:2407.02706 [pdf, other]

Title: Pushing the Boundary: Specialising Deep Configuration Performance Learning

Jingzhi Gong

Comments: This PhD thesis was submitted in May 2024

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

[36] arXiv:2407.02732 [pdf, html, other]

Title: Supporting Cross-language Cross-project Bug Localization Using Pre-trained Language Models

Mahinthan Chandramohan, Dai Quoc Nguyen, Padmanabhan Krishnan, Jovan Jancic

Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR)

[37] arXiv:2407.02742 [pdf, html, other]

Title: A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentation

Nastaran Bassamzadeh, Chhaya Methani

Comments: 8 pages, 1 figure

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

[38] arXiv:2407.02791 [pdf, html, other]

Title: Model-Enhanced LLM-Driven VUI Testing of VPA Apps

Suwan Li, Lei Bu, Guangdong Bai, Fuman Xie, Kai Chen, Chang Yue

Comments: 13 pages, 11 figures

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

[39] arXiv:2407.02805 [pdf, html, other]

Title: Efficient DNN-Powered Software with Fair Sparse Models

Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen

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

[40] arXiv:2407.02818 [pdf, html, other]

Title: WizardMerge -- Save Us From Merging Without Any Clues

Qingyu Zhang, Junzhe Li, Jiayi Lin, Jie Ding, Lanteng Lin, Chenxiong Qian

Comments: 22 pages

Subjects: Software Engineering (cs.SE); Emerging Technologies (cs.ET); Programming Languages (cs.PL)

[41] arXiv:2407.02824 [pdf, html, other]

Title: Exploring the Capabilities of LLMs for Code Change Related Tasks

Lishui Fan, Jiakun Liu, Zhongxin Liu, David Lo, Xin Xia, Shanping Li

Subjects: Software Engineering (cs.SE)

[42] arXiv:2407.03037 [pdf, html, other]

Title: Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps

Zhe Liu, Cheng Li, Chunyang Chen, Junjie Wang, Mengzhuo Chen, Boyu Wu, Yawen Wang, Jun Hu, Qing Wang

Subjects: Software Engineering (cs.SE)

[43] arXiv:2407.03093 [pdf, html, other]

Title: Revisiting the Performance of Deep Learning-Based Vulnerability Detection on Realistic Datasets

Partha Chakraborty, Krishna Kanth Arumugam, Mahmoud Alfadel, Meiyappan Nagappan, Shane McIntosh

Journal-ref: 10.1109/TSE.2024.3423712

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

[44] arXiv:2407.03283 [pdf, html, other]

Title: From B Specifications to $\{log$\}$ Forgrams

Maximiliano Cristiá

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

Subjects: Software Engineering (cs.SE)

[45] arXiv:2407.03387 [pdf, html, other]

Title: ConCodeEval: Evaluating Large Language Models for Code Constraints in Domain-Specific Languages

Mehant Kammakomati, Sameer Pimparkhede, Srikanth Tamilselvam, Prince Kumar, Pushpak Bhattacharyya

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

[46] arXiv:2407.03469 [pdf, other]

Title: Scaling Data-Driven Building Energy Modelling using Large Language Models

Sunil Khadka, Liang Zhang

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

[47] arXiv:2407.03472 [pdf, html, other]

Title: ESBMC-Python: A Bounded Model Checker for Python Programs

Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro

Subjects: Software Engineering (cs.SE)

[48] arXiv:2407.03611 [pdf, html, other]

Title: An Empirical Study on Capability of Large Language Models in Understanding Code Semantics

Thu-Trang Nguyen, Thanh Trong Vu, Hieu Dinh Vo, Son Nguyen

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

[49] arXiv:2407.03625 [pdf, html, other]

Title: Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker

Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian Zhang

Comments: to be published in ISSRE 2024

Subjects: Software Engineering (cs.SE)

[50] arXiv:2407.03790 [pdf, html, other]

Title: Assessing Consensus of Developers' Views on Code Readability

Agnia Sergeyuk, Olga Lvova, Sergey Titov, Anastasiia Serova, Farid Bagirov, Timofey Bryksin

Comments: 8 pages, 1 figure, accepted to be presented at the PPIG'24 workshop

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