We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for recent submissions

[ total of 90 entries: 1-25 | 26-50 | 51-75 | 76-90 ]
[ showing 25 entries per page: fewer | more | all ]

Thu, 2 May 2024

[1]  arXiv:2405.00648 [pdf, other]
Title: HalluVault: A Novel Logic Programming-aided Metamorphic Testing Framework for Detecting Fact-Conflicting Hallucinations in Large Language Models
Authors: Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, Haoyu Wang
Subjects: Software Engineering (cs.SE)
[2]  arXiv:2405.00565 [pdf, other]
Title: Leveraging Stack Traces for Spectrum-based Fault Localization in the Absence of Failing Tests
Authors: Lorena Barreto Simedo Pacheco, An Ran Chen, Jinqiu Yang, Tse-Hsun (Peter) Chen
Subjects: Software Engineering (cs.SE)
[3]  arXiv:2405.00453 [pdf, other]
Title: Fuzzy Intelligent System for Student Software Project Evaluation
Authors: Anna Ogorodova, Pakizar Shamoi, Aron Karatayev
Comments: Submitted to IJMECS for consideration
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[4]  arXiv:2405.00428 [pdf, other]
Title: CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection
Authors: Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, Yang Liu
Comments: 21 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[5]  arXiv:2405.00415 [pdf, other]
Title: On Developing an Artifact-based Approach to Regulatory Requirements Engineering
Authors: Oleksandr Kosenkov, Michael Unterkalmsteiner, Jannik Fischbach, Daniel Mendez, Davide Fucci, Tony Gorschek
Comments: The paper was accepted to the 14th International Model-Driven Requirements Engineering (MoDRE) workshop co-located with the 32nd IEEE International Requirements Engineering Conference (RE 2024) in Reykjavik, Iceland
Subjects: Software Engineering (cs.SE)
[6]  arXiv:2405.00163 [pdf, ps, other]
Title: Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver
Authors: Simge Yatkın, Tolga Ovatman
Comments: 10 pages, 6 pages, 4 table, 12th International Conference on Software Engineering & Trends (SE 2024)
Subjects: Software Engineering (cs.SE)
[7]  arXiv:2405.00145 [pdf, other]
Title: GUing: A Mobile GUI Search Engine using a Vision-Language Model
Authors: Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre Louis Bernard, Gérard Dray, Walid Maalej
Subjects: Software Engineering (cs.SE); Computer Vision and Pattern Recognition (cs.CV)
[8]  arXiv:2405.00253 (cross-list from cs.CL) [pdf, other]
Title: CodeHalu: Code Hallucinations in LLMs Driven by Execution-based Verification
Authors: Yuchen Tian, Weixiang Yan, Qian Yang, Qian Chen, Wen Wang, Ziyang Luo, Lei Ma
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[9]  arXiv:2405.00218 (cross-list from cs.CR) [pdf, other]
Title: Constrained Decoding for Secure Code Generation
Authors: Yanjun Fu, Ethan Baker, Yizheng Chen
Comments: 17 pages, 8 figures
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[10]  arXiv:2405.00074 (cross-list from cs.LG) [pdf, other]
Title: PAODING: A High-fidelity Data-free Pruning Toolkit for Debloating Pre-trained Neural Networks
Authors: Mark Huasong Meng, Hao Guan, Liuhuo Wan, Sin Gee Teo, Guangdong Bai, Jin Song Dong
Comments: 3 pages
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)

Wed, 1 May 2024

[11]  arXiv:2404.19643 [pdf, other]
Title: Cybersecurity Pathways Towards CE-Certified Autonomous Forestry Machines
Authors: Mazen Mohamad, Ramana Reddy Avula, Peter Folkesson, Pierre Kleberger, Aria Mirzai, Martin Skoglund, Marvin Damschen
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2404.19633 [pdf, other]
Title: SEArch: an execution infrastructure for service-based software systems
Authors: Carlos G. Lopez Pombo, Pablo Montepagano, Emilio Tuosto
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2404.19614 [pdf, ps, other]
Title: COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Authors: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[14]  arXiv:2404.19368 [pdf, other]
Title: Exploring Multi-Lingual Bias of Large Code Models in Code Generation
Authors: Chaozheng Wang, Zongjie Li, Cuiyun Gao, Wenxuan Wang, Ting Peng, Hailiang Huang, Yuetang Deng, Shuai Wang, Michael R. Lyu
Comments: 12 pages
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2404.19318 [pdf, other]
Title: Enhancing Trust in LLM-Generated Code Summaries with Calibrated Confidence Scores
Authors: Yuvraj Virk, Premkumar Devanbu, Toufique Ahmed
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[16]  arXiv:2404.19307 [pdf, other]
Title: Enhancing GUI Exploration Coverage of Android Apps with Deep Link-Integrated Monkey
Authors: Han Hu, Han Wang, Ruiqi Dong, Xiao Chen, Chunyang Chen
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[17]  arXiv:2404.19226 [pdf, ps, other]
Title: A Survey of Deep Learning Based Software Refactoring
Authors: Bridget Nyirongo, Yanjie Jiang, He Jiang, Hui Liu
Comments: 45 pages, 8 figures
Subjects: Software Engineering (cs.SE)
[18]  arXiv:2404.19100 [pdf, other]
Title: Predicting Fairness of ML Software Configuration
Authors: Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich, Ashutosh Trivedi, Saeid Tizpaz-Niari
Comments: To Appear in the 20th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE'24)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)
[19]  arXiv:2404.19025 [pdf, ps, other]
Title: Unsupervised Binary Code Translation with Application to Code Similarity Detection and Vulnerability Discovery
Authors: Iftakhar Ahmad, Lannan Luo
Comments: conference
Journal-ref: The 2023 Conference on Empirical Methods in Natural Language Processing. 2023
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[20]  arXiv:2404.19735 (cross-list from cs.AR) [pdf, ps, other]
Title: Selective Parallel Loading of Large-Scale Compressed Graphs with ParaGrapher
Authors: Mohsen Koohi Esfahani, Marco D'Antonio, Syed Ibtisam Tauhidi, Thai Son Mai, Hans Vandierendonck
Subjects: Hardware Architecture (cs.AR); Performance (cs.PF); Software Engineering (cs.SE)
[21]  arXiv:2404.19665 (cross-list from physics.med-ph) [pdf, other]
Title: ATOMMIC: An Advanced Toolbox for Multitask Medical Imaging Consistency to facilitate Artificial Intelligence applications from acquisition to analysis in Magnetic Resonance Imaging
Authors: Dimitrios Karkalousos, Ivana Išgum, Henk A. Marquering, Matthan W.A. Caan
Subjects: Medical Physics (physics.med-ph); Artificial Intelligence (cs.AI); Mathematical Software (cs.MS); Software Engineering (cs.SE); Mathematical Physics (math-ph)
[22]  arXiv:2404.19631 (cross-list from cs.LG) [pdf, other]
Title: On Training a Neural Network to Explain Binaries
Authors: Alexander Interrante-Grant, Andy Davis, Heather Preslier, Tim Leek
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[23]  arXiv:2404.19591 (cross-list from cs.DB) [pdf, other]
Title: Towards Interactively Improving ML Data Preparation Code via "Shadow Pipelines"
Authors: Stefan Grafberger, Paul Groth, Sebastian Schelter
Subjects: Databases (cs.DB); Machine Learning (cs.LG); Software Engineering (cs.SE)
[24]  arXiv:2404.19452 (cross-list from cs.LG) [pdf, other]
Title: How to Sustainably Monitor ML-Enabled Systems? Accuracy and Energy Efficiency Tradeoffs in Concept Drift Detection
Authors: Rafiullah Omar, Justus Bogner, Joran Leest, Vincenzo Stoico, Patricia Lago, Henry Muccini
Comments: Accepted for publication at the International Conference on Information and Communications Technology for Sustainability 2024 (ICT4S'24)
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[25]  arXiv:2404.19428 (cross-list from quant-ph) [pdf, ps, other]
Title: From Quantum Mechanics to Quantum Software Engineering
Authors: Giuseppe Bisicchia, Jose Garcia-Alonso, Juan M. Murillo, Antonio Brogi
Comments: 8 pages
Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)
[ total of 90 entries: 1-25 | 26-50 | 51-75 | 76-90 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2405, contact, help  (Access key information)