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

Software Engineering

Authors and titles for recent submissions, skipping first 25

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

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

[26]  arXiv:2405.01608 [pdf, ps, other]
Title: A Comprehensive Study on Automated Testing with the Software Lifecycle
Authors: Hussein Mohammed Ali, Mahmood Yashar Hamza, Tarik Ahmed Rashid
Comments: 9
Subjects: Software Engineering (cs.SE)
[27]  arXiv:2405.01580 [pdf, other]
Title: On the Limitations of Embedding Based Methods for Measuring Functional Correctness for Code Generation
Authors: Atharva Naik
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[28]  arXiv:2405.01579 [pdf, other]
Title: Mining patterns in syntax trees to automate code reviews of student solutions for programming exercises
Authors: Charlotte Van Petegem, Kasper Demeyere, Rien Maertens, Niko Strijbol, Bram De Wever, Bart Mesuere, Peter Dawyndt
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Machine Learning (cs.LG)
[29]  arXiv:2405.01578 [pdf, other]
Title: Empowering IoT Applications with Flexible, Energy-Efficient Remote Management of Low-Power Edge Devices
Authors: Shadi Attarha, Anna Förster
Comments: 4 pages, Proceedings of the 2023 International Conference on Embedded Wireless Systems and Networks
Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI)
[30]  arXiv:2405.01575 [pdf, other]
Title: Software Mention Recognition with a Three-Stage Framework Based on BERTology Models at SOMD 2024
Authors: Thuy Nguyen Thi, Anh Nguyen Viet, Thin Dang Van, Ngan Nguyen Luu Thuy
Comments: Software mention recognition, Named entity recognition, Transformer, Three-stage framework
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[31]  arXiv:2405.01574 [pdf, ps, other]
Title: On Using Agent-based Modeling and Simulation for Studying Blockchain Systems
Authors: Önder Gürcan
Comments: 2 pages, "JFMS 2020 -- Les Journees Francophones de la Modelisation et de la Simulation -- Convergences entre la Theorie de la Modelisation et la Simulation et les Systemes Multi-Agents"
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[32]  arXiv:2405.01573 [pdf, other]
Title: Class-Level Code Generation from Natural Language Using Iterative, Tool-Enhanced Reasoning over Repository
Authors: Ajinkya Deshpande, Anmol Agarwal, Shashank Shet, Arun Iyer, Aditya Kanade, Ramakrishna Bairi, Suresh Parthasarathy
Comments: Preprint
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[33]  arXiv:2405.01572 [pdf, other]
Title: A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
Authors: Aman Kumar, Sebastian Simon
Comments: Published in DVCon U.S. 2021
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR)
[34]  arXiv:2405.01569 [pdf, other]
Title: A Systematic Literature Review on Reasons and Approaches for Accurate Effort Estimations in Agile
Authors: Jirat Pasuksmit, Patanamon Thongtanunam, Shanika Karunasekera
Comments: Journal article
Subjects: Software Engineering (cs.SE)
[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
Authors: Yuhao Zhang, Shiqi Wang, Haifeng Qian, Zijian Wang, Mingyue Shang, Linbo Liu, Sanjay Krishna Gouda, Baishakhi Ray, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras
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
Authors: Gregorio Robles, Christoph Treude, Jesus M. Gonzalez-Barahona, Raula Gaikovina Kula
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
Authors: Malik Abdul Sami, Zeeshan Rasheed, Muhammad Waseem, Zheying Zhang, Tomas Herda, Pekka Abrahamsson
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
Authors: Jaida Gao, Calab Su, Etai Miller, Kevin Lu, Yu Meng
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
Authors: Konstantin Grotov, Sergey Titov, Yaroslav Zharov, Timofey Bryksin
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
Authors: Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
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
Authors: Amirreza Esmaeili, Iman Saberi, Fatemeh H. Fard
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
Authors: Greg Wilson, Jorge Aranda, Michael Hoye, Brittany Johnson
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
Authors: Zahra Yazdanparast
Subjects: Software Engineering (cs.SE)
[48]  arXiv:2405.01544 [pdf, ps, other]
Title: Transformational Outsourcing in IT Project Management
Authors: Mohammad Ikbal Hossain, Tanzina Sultana, Waheda Zabeen, Alexander Fosu Sarpong
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
Authors: Rasmus Ulfsnes, Nils Brede Moe, Viktoria Stray, Marianne Skarpen
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
Authors: Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[ total of 91 entries: 1-25 | 26-50 | 51-75 | 76-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)