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

Software Engineering

Authors and titles for recent submissions

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

Wed, 1 May 2024

[1]  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)
[2]  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)
[3]  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)
[4]  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)
[5]  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)
[6]  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)
[7]  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)
[8]  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)
[9]  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)
[10]  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)
[11]  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)
[12]  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)
[13]  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)
[14]  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)
[15]  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)

Tue, 30 Apr 2024 (showing first 10 of 34 entries)

[16]  arXiv:2404.18887 [pdf, other]
Title: PrescientFuzz: A more effective exploration approach for grey-box fuzzing
Authors: Daniel Blackwell, David Clark
Comments: 20 pages, 12 figures
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[17]  arXiv:2404.18771 [pdf, other]
Title: KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Authors: Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
Subjects: Software Engineering (cs.SE)
[18]  arXiv:2404.18756 [pdf, other]
Title: K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
Authors: Jianhong Zhao, Jinhui Kang, Yongwang Zhao
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[19]  arXiv:2404.18682 [pdf, other]
Title: Human Factors in Model-Driven Engineering: Future Research Goals and Initiatives for MDE
Authors: Grischa Liebel, Jil Klünder, Regina Hebig, Christopher Lazik, Inês Nunes, Isabella Graßl, Jan-Philipp Steghöfer, Joeri Exelmans, Julian Oertel, Kai Marquardt, Katharina Juhnke, Kurt Schneider, Lucas Gren, Lucia Happe, Marc Herrmann, Marvin Wyrich, Matthias Tichy, Miguel Goulão, Rebekka Wohlrab, Reyhaneh Kalantari, Robert Heinrich, Sandra Greiner, Satrio Adi Rukmono, Shalini Chakraborty, Silvia Abrahão, Vasco Amaral
Subjects: Software Engineering (cs.SE)
[20]  arXiv:2404.18677 [pdf, other]
Title: Towards the First Code Contribution: Processes and Information Needs
Authors: Christoph Treude, Marco A. Gerosa, Igor Steinmacher
Subjects: Software Engineering (cs.SE)
[21]  arXiv:2404.18596 [pdf, other]
Title: FauxPy: A Fault Localization Tool for Python
Authors: Mohammad Rezaalipour, Carlo A. Furia
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2404.18577 [pdf, other]
Title: Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Autonomous Driving Testing
Authors: Stefano Carlo Lambertenghi, Andrea Stocco
Comments: In Proceedings of 17th IEEE International Conference on Software Testing, Verification and Validation 2024 (ICST '24)
Subjects: Software Engineering (cs.SE)
[23]  arXiv:2404.18558 [pdf, other]
Title: LangBiTe: A Platform for Testing Bias in Large Language Models
Authors: Sergio Morales, Robert Clarisó, Jordi Cabot
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[24]  arXiv:2404.18531 [pdf, other]
Title: A Framework to Model ML Engineering Processes
Authors: Sergio Morales, Robert Clarisó, Jordi Cabot
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[25]  arXiv:2404.18515 [pdf, other]
Title: An Agile Formal Specification Language Design Based on K Framework
Authors: Jianyu Zhang, Long Zhang, Yixuan Wu, Feng Yang
Subjects: Software Engineering (cs.SE)
[ total of 83 entries: 1-25 | 26-50 | 51-75 | 76-83 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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