Software Engineering

Authors and titles for cs.SE in Dec 2023

[1]  arXiv:2312.00171 [pdf, ps, other]

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

Authors: 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

Authors: 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, other]

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

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

Subjects: Software Engineering (cs.SE)

[4]  arXiv:2312.00413 [pdf, other]

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

Authors: 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, other]

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

Authors: 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

Authors: 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

Authors: 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, ps, other]

Title: Describing Globally Distributed Software Architectures for Tax Compliance

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

Comments: submitted to TOSEM

Subjects: Software Engineering (cs.SE)

[9]  arXiv:2312.01524 [pdf, ps, other]

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

Authors: 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, other]

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

Authors: 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, other]

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

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

Comments: Preprint submitted to ACM Transactions on Software Engineering and Methodology

Subjects: Software Engineering (cs.SE)

[12]  arXiv:2312.01680 [pdf, other]

Title: With Great Humor Comes Great Developer Engagement

Authors: 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, other]

Title: A Machine Learning Approach Towards SKILL Code Autocompletion

Authors: 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, other]

Title: Efficiency of Unsupervised Anomaly Detection Methods on Software Logs

Authors: Jesse Nyyssölä, Mika Mäntylä

Subjects: Software Engineering (cs.SE)

[15]  arXiv:2312.01981 [pdf, ps, other]

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

Authors: Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco

Subjects: Software Engineering (cs.SE)

[16]  arXiv:2312.02392 [pdf, other]

Title: Instance Space Analysis of Search-Based Software Testing

Authors: 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, ps, other]

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

Authors: 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, ps, other]

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

Authors: 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

Authors: 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, other]

Title: "Add more config detail": A Taxonomy of Installation Instruction Changes

Authors: Haoyu Gao, Christoph Treude, Mansooreh Zahedi

Comments: under submission to Transaction on Software Engineering

Subjects: Software Engineering (cs.SE)

[21]  arXiv:2312.03335 [pdf, ps, other]

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

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

Subjects: Software Engineering (cs.SE)

[22]  arXiv:2312.03373 [pdf, other]

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

Authors: 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

Authors: 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, ps, other]

Title: Impostor Phenomenon in Software Engineers

Authors: 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, other]

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

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

Subjects: Software Engineering (cs.SE)