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

Software Engineering

Authors and titles for recent submissions

[ total of 43 entries: 1-25 | 26-43 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 1 Feb 2023

[1]  arXiv:2301.13807 [pdf, other]
Title: Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Robotics (cs.RO)
[2]  arXiv:2301.13615 [pdf, other]
Title: Property-Based Mutation Testing
Comments: Accepted at the 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023
Subjects: Software Engineering (cs.SE)
[3]  arXiv:2301.13506 [pdf, other]
Title: DNN Explanation for Safety Analysis: an Empirical Evaluation of Clustering-based Approaches
Comments: 10 Tables, 14 Figures
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[4]  arXiv:2301.13476 [pdf, other]
Title: An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[5]  arXiv:2301.13246 [pdf, other]
Title: Conversational Automated Program Repair
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[6]  arXiv:2301.13779 (cross-list from cs.PL) [pdf, other]
Title: FLAME: A small language model for spreadsheet formulas
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[7]  arXiv:2301.13551 (cross-list from cs.PL) [pdf, ps, other]
Title: Designing text representations for existing data using the TextFormats Specification Language
Authors: Giorgio Gonnella
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[8]  arXiv:2301.13415 (cross-list from cs.AI) [pdf, other]
Title: LogAI: A Library for Log Analytics and Intelligence
Comments: 17 pages, 7 figures, technical report for open source code, paper release with code
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)

Tue, 31 Jan 2023

[9]  arXiv:2301.12954 [pdf, other]
Title: The Double-Edged Sword of Diversity: How Diversity, Conflict, and Psychological Safety Impact Agile Software Teams
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2301.12830 [pdf, other]
Title: A sustainable infrastructure concept for improved accessibility, reusability, and archival of research software
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2301.12806 [pdf, other]
Title: Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis
Comments: arXiv admin note: substantial text overlap with arXiv:2104.01055
Journal-ref: 2022 29th IEEE International Conference on Electronics, Circuits and Systems (ICECS) (pp. 1-4). IEEE
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2301.12695 [pdf, other]
Title: Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode
Comments: 19 pages, 13 figures
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2301.12633 [pdf, other]
Title: Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence
Comments: 12 pages, accepted to ICSE'2023
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2301.12453 [pdf, other]
Title: Boosting Automated Patch Correctness Prediction via Pre-trained Language Model
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2301.12403 [pdf, other]
Title: Specification Inference for Evolving Systems
Subjects: Software Engineering (cs.SE)
[16]  arXiv:2301.12377 [pdf, other]
Title: What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts?
Comments: This paper is accepted at the International Conference on Software Engineering (ICSE) 2023
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[17]  arXiv:2301.12348 [pdf, other]
Title: Demystifying Privacy Policy of Third-Party Libraries in Mobile Apps
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[18]  arXiv:2301.12284 [pdf, other]
Title: Assertion Inferring Mutants
Subjects: Software Engineering (cs.SE)
[19]  arXiv:2301.12202 [pdf, other]
Title: A customizable approach to assess software quality through Multi-Criteria Decision Making
Comments: 8 pages -- 3rd International Workshop on Model-Driven Engineering for Software Architecture (MDE4SA 2023)
Subjects: Software Engineering (cs.SE)
[20]  arXiv:2301.12169 [pdf, other]
Title: Navigating Complexity in Software Engineering: A Prototype for Comparing GPT-n Solutions
Authors: Christoph Treude
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[21]  arXiv:2301.12102 [pdf, other]
Title: Characterizing and Detecting WebAssembly Runtime Bugs
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2301.12090 [pdf, other]
Title: Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation
Subjects: Software Engineering (cs.SE)
[23]  arXiv:2301.12000 [pdf, other]
Title: Beyond Classroom: Making a Difference in Diversity in Tech
Authors: Barbora Buhnova
Comments: In Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Apress, 2023
Subjects: Software Engineering (cs.SE)
[24]  arXiv:2301.12867 (cross-list from cs.CL) [pdf, other]
Title: Exploring AI Ethics of ChatGPT: A Diagnostic Analysis
Comments: Technical Report
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)

Mon, 30 Jan 2023 (showing first 1 of 4 entries)

[25]  arXiv:2301.11723 [pdf, other]
Title: Program Dependence Net and Its Slice for Verifying Linear Temporal Properties
Comments: 37 pages, 6 figures
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[ total of 43 entries: 1-25 | 26-43 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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