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

Software Engineering

Authors and titles for recent submissions, skipping first 34

[ total of 91 entries: 1-25 | 10-34 | 35-59 | 60-84 | 85-91 ]
[ showing 25 entries per page: fewer | more | all ]

Mon, 6 May 2024 (continued, showing last 17 of 33 entries)

[35]  arXiv:2405.01568 [pdf, ps, other]
Title: Convert any android device into a programmable IoT device with the help of IoT Everywhere Framework
Authors: Vishnu Joshi
Comments: 4 pages, 10 figures
Subjects: Software Engineering (cs.SE)
[36]  arXiv:2405.01567 [pdf, other]
Title: CodeFort: Robust Training for Code Generation Models
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[37]  arXiv:2405.01566 [pdf, other]
Title: 2HCDL: Holistic Human-Centered Development Lifecycle
Authors: Said Daoudagh (1), Eda Marchetti (1), Oum-El-Kheir Aktouf (2) ((1) CNR-ISTI, Pisa, Italy, (2) Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France)
Comments: S. Bernardi, T. Zoppi (Editors), "Fast Abstracts and Student Forum Proceedings - EDCC 2024 - 19th European Dependable Computing Conference, Leuven, Belgium, 8-11 April 2024"
Subjects: Software Engineering (cs.SE)
[38]  arXiv:2405.01565 [pdf, other]
Title: The Role of Code Proficiency in the Era of Generative AI
Comments: submitted to Software Engineering 2030
Subjects: Software Engineering (cs.SE)
[39]  arXiv:2405.01564 [pdf, other]
Title: Prioritizing Software Requirements Using Large Language Models
Subjects: Software Engineering (cs.SE)
[40]  arXiv:2405.01561 [pdf, ps, other]
Title: Rapid Mobile App Development for Generative AI Agents on MIT App Inventor
Journal-ref: Journal of advances in information science and technology 2(3) 1-8, March 2024
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[41]  arXiv:2405.01560 [pdf, ps, other]
Title: Copyright related risks in the creation and use of ML/AI systems
Authors: Daniel M. German
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[42]  arXiv:2405.01559 [pdf, other]
Title: Untangling Knots: Leveraging LLM for Error Resolution in Computational Notebooks
Comments: accepted at 1st ACM CHI Workshop on Human-Notebook Interactions
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[43]  arXiv:2405.01556 [pdf, other]
Title: Semantically Aligned Question and Code Generation for Automated Insight Generation
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[44]  arXiv:2405.01553 [pdf, ps, other]
Title: Empirical Studies of Parameter Efficient Methods for Large Language Models of Code and Knowledge Transfer to R
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[45]  arXiv:2405.01549 [pdf, ps, other]
Title: Exploring Conceptual Modeling Metaphysics: Existence Containers, Leibniz's Monads and Avicenna's Essence
Authors: Sabah Al-Fedaghi
Comments: 11 pages, 27 Figures
Subjects: Software Engineering (cs.SE)
[46]  arXiv:2405.01546 [pdf, ps, other]
Title: It Will Never Work in Theory
Comments: 4 pages, 2 tables, to appear in "IEEE Software"
Subjects: Software Engineering (cs.SE)
[47]  arXiv:2405.01545 [pdf, ps, other]
Title: Analysing software failure using runtime verification and LTL
Subjects: Software Engineering (cs.SE)
[48]  arXiv:2405.01544 [pdf, ps, other]
Title: Transformational Outsourcing in IT Project Management
Comments: 17 pages, 4 Figures
Subjects: Software Engineering (cs.SE)
[49]  arXiv:2405.01543 [pdf, other]
Title: Transforming Software Development with Generative AI: Empirical Insights on Collaboration and Workflow
Comments: To be published in Generative AI for Effective Software Development - this https URL
Subjects: Software Engineering (cs.SE)
[50]  arXiv:2405.01787 (cross-list from cs.PL) [pdf, other]
Title: Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[51]  arXiv:2405.01668 (cross-list from cs.CR) [pdf, other]
Title: WitheredLeaf: Finding Entity-Inconsistency Bugs with LLMs
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

Fri, 3 May 2024 (showing first 8 of 15 entries)

[52]  arXiv:2405.01477 [pdf, other]
Title: "Sometimes You Just Gotta Risk It for the Biscuit": A Portrait of Student Risk-Taking
Comments: 7 pages, 1 figure, 4 tables
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[53]  arXiv:2405.01466 [pdf, other]
Title: A Systematic Literature Review on Large Language Models for Automated Program Repair
Subjects: Software Engineering (cs.SE)
[54]  arXiv:2405.01391 [pdf, other]
Title: The Sustainability Assessment Framework Toolkit: A Decade of Modeling Experience
Subjects: Software Engineering (cs.SE)
[55]  arXiv:2405.01369 [pdf, ps, other]
Title: Possible Value Analysis based on Symbolic Lattice
Authors: Qi Zhan
Subjects: Software Engineering (cs.SE)
[56]  arXiv:2405.01309 [pdf, other]
Title: Execution-free Program Repair
Subjects: Software Engineering (cs.SE)
[57]  arXiv:2405.01202 [pdf, other]
Title: DLAP: A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection
Comments: 15 pages, 8 figures
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[58]  arXiv:2405.01176 [pdf, ps, other]
Title: SOPA: A Framework for Sustainability-Oriented Process Analysis and Re-design in Business Process Management
Subjects: Software Engineering (cs.SE)
[59]  arXiv:2405.01145 [pdf, other]
Title: Localized RETE for Incremental Graph Queries
Subjects: Software Engineering (cs.SE)
[ total of 91 entries: 1-25 | 10-34 | 35-59 | 60-84 | 85-91 ]
[ 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)