Software Engineering

Authors and titles for December 2023

[1] arXiv:2312.00171 [pdf, other]

Title: Extending Rely-Guarantee thinking to handle Real-Time Scheduling

Cliff B. Jones, Alan Burns

Comments: Published on-line (2023-11-30) in "Formal Methods in System Design"

Subjects: Software Engineering (cs.SE)

[2] arXiv:2312.00207 [pdf, other]

Title: EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism

Chengjie Lu, Shaukat Ali, Tao Yue

Comments: 17 pages, 8 figures, 2 tables

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[3] arXiv:2312.00324 [pdf, html, other]

Title: Machine Learning for Actionable Warning Identification: A Comprehensive Survey

Xiuting Ge, Chunrong Fang, Xuanye Li, Weisong Sun, Daoyuan Wu, Juan Zhai, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen

Comments: Accepted by CSUR

Subjects: Software Engineering (cs.SE)

[4] arXiv:2312.00413 [pdf, html, other]

Title: Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?

Weisong Sun, Chunrong Fang, Yun Miao, Yudu You, Mengzhe Yuan, Yuchen Chen, Quanjun Zhang, An Guo, Xiang Chen, Yang Liu, Zhenyu Chen

Comments: submitted to ACM Transactions on Software Engineering and Methodology. arXiv admin note: text overlap with arXiv:2103.10668 by other authors

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

[5] arXiv:2312.00582 [pdf, html, other]

Title: Design Patterns for Machine Learning Based Systems with Human-in-the-Loop

Jakob Smedegaard Andersen, Walid Maalej

Subjects: Software Engineering (cs.SE)

[6] arXiv:2312.00894 [pdf, other]

Title: Leveraging Large Language Models to Improve REST API Testing

Myeongsoo Kim, Tyler Stennett, Dhruv Shah, Saurabh Sinha, Alessandro Orso

Comments: To be published in the 46th IEEE/ACM International Conference on Software Engineering - New Ideas and Emerging Results Track (ICSE-NIER 2024)

Subjects: Software Engineering (cs.SE)

[7] arXiv:2312.00918 [pdf, other]

Title: PACE: A Program Analysis Framework for Continuous Performance Prediction

Chidera Biringa, Gokhan Kul

Comments: Accepted to the ACM Transactions on Software Engineering and Methodology (TOSEM)

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

[8] arXiv:2312.00925 [pdf, html, other]

Title: Describing Globally Distributed Software Architectures for Tax Compliance

Michael Dorner, Oliver Treidler, Tom-Eric Kunz, Ehsan Zabardast, Daniel Mendez, Darja Šmite, Maximilian Capraro, Krzysztof Wnuk

Comments: submitted to EMSE

Subjects: Software Engineering (cs.SE)

[9] arXiv:2312.01524 [pdf, other]

Title: Code Swarm: A Code Generation Tool Based on the Automatic Derivation of Transformation Rule Set

Hina Mahmood, Atif Aftab Jilani, Abdul Rauf

Comments: 11 pages, 4 figures

Journal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol. 14, No. 6, November 2023

Subjects: Software Engineering (cs.SE)

[10] arXiv:2312.01588 [pdf, html, other]

Title: ActiveClean: Generating Line-Level Vulnerability Data via Active Learning

Ashwin Kallingal Joshy, Mirza Sanjida Alam, Shaila Sharmin, Qi Li, Wei Le

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

[11] arXiv:2312.01639 [pdf, html, other]

Title: On the Effectiveness of Large Language Models in Domain-Specific Code Generation

Xiaodong Gu, Meng Chen, Yalan Lin, Yuhan Hu, Hongyu Zhang, Chengcheng Wan, Zhao Wei, Yong Xu, Juhong Wang

Comments: Accepted by the ACM Transactions on Software Engineering and Methodology (TOSEM 2024)

Subjects: Software Engineering (cs.SE)

[12] arXiv:2312.01680 [pdf, other]

Title: With Great Humor Comes Great Developer Engagement

Deepika Tiwari, Tim Toady, Martin Monperrus, Benoit Baudry

Journal-ref: Proceedings of International Conference on Software Engineering, 2024

Subjects: Software Engineering (cs.SE)

[13] arXiv:2312.01921 [pdf, html, other]

Title: A Machine Learning Approach Towards SKILL Code Autocompletion

Enrique Dehaerne, Bappaditya Dey, Wannes Meert

Comments: Accepted for SPIE Advanced Lithography + Patterning, 2024

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Programming Languages (cs.PL)

[14] arXiv:2312.01934 [pdf, html, other]

Title: Speed and Performance of Parserless and Unsupervised Anomaly Detection Methods on Software Logs

Jesse Nyyssölä, Mika Mäntylä

Comments: Accepted to IEEE International Conference on Software Quality, Reliability and Security. Title adjusted from first version

Subjects: Software Engineering (cs.SE)

[15] arXiv:2312.01981 [pdf, other]

Title: Unveiling Competition Dynamics in Mobile App Markets through User Reviews

Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco

Journal-ref: Requirements Engineering: Foundation for Software Quality. REFSQ 2024. Lecture Notes in Computer Science, vol 14588

Subjects: Software Engineering (cs.SE)

[16] arXiv:2312.02392 [pdf, other]

Title: Instance Space Analysis of Search-Based Software Testing

Neelofar Neelofar, Kate Smith-Miles, Mario Andres Munoz, Aldeida Aleti

Journal-ref: IEEE Transactions on Software Engineering, 49(4), 2642-2660 (2022)

Subjects: Software Engineering (cs.SE)

[17] arXiv:2312.02710 [pdf, html, other]

Title: User Interaction Data in Apps: Comparing Policy Claims to Implementations

Feiyang Tang, Bjarte M. Østvold

Comments: Published at the 18th IFIP Summer School on Privacy and Identity Management 2023 (IFIPSC 2023)

Journal-ref: Privacy and Identity Management. Sharing in a Digital World. Privacy and Identity 2023. IFIP Advances in Information and Communication Technology, vol 695. Springer, Cham

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Social and Information Networks (cs.SI)

[18] arXiv:2312.03049 [pdf, other]

Title: Architectural Approaches to Overcome Challenges in the Development of Data-Intensive Systems

Aleksandar Dimov, Simeon Emanuilov, Boyan Bontchev, Yavor Dankov, Tasos Papapostolu

Journal-ref: Human Factors in Software and Systems Engineering, Vol. 61, 2022, 38-43

Subjects: Software Engineering (cs.SE)

[19] arXiv:2312.03182 [pdf, other]

Title: Investigating Technology Usage Span by Analyzing Users' Q&A Traces in Stack Overflow

Saikat Mondal, Debajyoti Mondal, Chanchal K. Roy

Comments: Accepted in the 30th Asia-Pacific Software Engineering Conference (APSEC 2023)

Subjects: Software Engineering (cs.SE)

[20] arXiv:2312.03250 [pdf, html, other]

Title: Adapting Installation Instructions in Rapidly Evolving Software Ecosystems

Haoyu Gao, Christoph Treude, Mansooreh Zahedi

Comments: under submission to IEEE Transactions on Software Engineering

Subjects: Software Engineering (cs.SE)

[21] arXiv:2312.03335 [pdf, other]

Title: EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software

Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li

Subjects: Software Engineering (cs.SE)

[22] arXiv:2312.03373 [pdf, html, other]

Title: EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things

Bingkun Sun, Liwei Shen, Jialin Ren, Zhen Dong, Siao Wang, Xin Peng

Subjects: Software Engineering (cs.SE)

[23] arXiv:2312.03393 [pdf, other]

Title: PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature

Qi Zhan, Xing Hu, Zhiyang Li, Xin Xia, David Lo, Shanping Li

Comments: Accepted to ICSE 2024; Camera-ready version

Subjects: Software Engineering (cs.SE)

[24] arXiv:2312.03966 [pdf, other]

Title: Impostor Phenomenon in Software Engineers

Paloma Guenes, Rafael Tomaz, Marcos Kalinowski, Maria Teresa Baldassarre, Margaret-Anne Storey

Comments: Preprint with the original submission accepted for publication at ICSE-SEIS 2024

Subjects: Software Engineering (cs.SE)

[25] arXiv:2312.04004 [pdf, html, other]

Title: Occlusion-based Detection of Trojan-triggering Inputs in Large Language Models of Code

Aftab Hussain, Md Rafiqul Islam Rabin, Toufique Ahmed, Mohammad Amin Alipour, Bowen Xu

Subjects: Software Engineering (cs.SE)