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

Software Engineering

Authors and titles for recent submissions

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

Fri, 27 May 2022

[1]  arXiv:2205.13522 [pdf, other]
Title: Dynamically Relative Position Encoding-Based Transformer for Automatic Code Edit
Subjects: Software Engineering (cs.SE)
[2]  arXiv:2205.13457 [pdf, other]
Title: AutoTSG: Learning and Synthesis for Incident Troubleshooting
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Programming Languages (cs.PL)
[3]  arXiv:2205.13375 [pdf, ps, other]
Title: Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism
Subjects: Software Engineering (cs.SE)
[4]  arXiv:2205.13342 [pdf, other]
Title: Leveraging Causal Inference for Explainable Automatic Program Repair
Comments: This paper has been accepted by IJCNN2022. arXiv admin note: text overlap with arXiv:1707.01943, arXiv:2103.11626 by other authors
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[5]  arXiv:2205.13231 [pdf, other]
Title: Giving Back: Contributions Congruent to Library Dependency Changes in a Software Ecosystem
Subjects: Software Engineering (cs.SE)
[6]  arXiv:2205.13022 [pdf, other]
Title: Towards Using Data-Centric Approach for Better Code Representation Learning
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Thu, 26 May 2022

[7]  arXiv:2205.12388 [pdf, other]
Title: DASP: A Framework for Driving the Adoption of Software Security Practices
Comments: 27pages, 12 figures
Subjects: Software Engineering (cs.SE)
[8]  arXiv:2205.12713 (cross-list from cs.CR) [pdf, other]
Title: jTrans: Jump-Aware Transformer for Binary Code Similarity
Comments: In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2022
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[9]  arXiv:2205.12615 (cross-list from cs.LG) [pdf, ps, other]
Title: Autoformalization with Large Language Models
Comments: 44 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[10]  arXiv:2205.12569 (cross-list from cs.CR) [pdf, other]
Title: Towards a Fair Comparison and Realistic Design and Evaluation Framework of Android Malware Detectors
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)

Wed, 25 May 2022

[11]  arXiv:2205.12080 [pdf]
Title: Application of Orthogonal Defect Classification for Software Reliability Analysis
Comments: 12 pages, 3 figures, 4 tables, conference transaction presented at Probabilistic Safety Assessment and Management 2022
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2205.12075 [pdf]
Title: Failure Mechanism Traceability and Application in Human System Interface of Nuclear Power Plants using RESHA
Comments: 13 pages, 7 figures, 4 tables, conference transaction presented at Probabilistic Safety Assessment and Management 2022
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2205.11941 [pdf, other]
Title: Assessing the Quality of Computational Notebooks for a Frictionless Transition from Exploration to Production
Authors: Luigi Quaranta
Comments: 5 pages
Journal-ref: Proc. of 2022 IEEE/ACM 44th International Conference on Software Engineering Companion (ICSE 22 Companion), May 21-29, 2022, Pittsburgh, PA, USA
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[14]  arXiv:2205.11934 [pdf, ps, other]
Title: Pynblint: a Static Analyzer for Python Jupyter Notebooks
Comments: 2 pages
Journal-ref: Proc. of 2022 IEEE/ACM 1st Conference on AI Engineering - Software Engineering for AI (CAIN), May 16-24, 2022, Pittsburgh, PA, USA
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[15]  arXiv:2205.11771 [pdf, other]
Title: Learning Context-Aware Service Representation for Service Recommendation in Workflow Composition
Comments: 10 pages, 15 figures, 1 table
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[16]  arXiv:2205.11739 [pdf, ps, other]
Title: Deep Learning Meets Software Engineering: A Survey on Pre-Trained Models of Source Code
Comments: IJCAI 2022: Survey Track
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[17]  arXiv:2205.11706 [pdf, other]
Title: Syntheto: A Surface Language for APT and ACL2
Authors: Alessandro Coglio (Kestrel Institute), Eric McCarthy (Kestrel Institute), Stephen Westfold (Kestrel Institute), Daniel Balasubramanian (Institute for Software-Integrated Systems, Vanderbilt University), Abhishek Dubey (Institute for Software-Integrated Systems, Vanderbilt University), Gabor Karsai (Institute for Software-Integrated Systems, Vanderbilt University)
Comments: In Proceedings ACL2 2022, arXiv:2205.11103
Journal-ref: EPTCS 359, 2022, pp. 151-167
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[18]  arXiv:2205.11708 (cross-list from cs.LO) [pdf, other]
Title: A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2
Authors: Alessandro Coglio (Kestrel Institute)
Comments: In Proceedings ACL2 2022, arXiv:2205.11103
Journal-ref: EPTCS 359, 2022, pp. 185-201
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[19]  arXiv:2205.11707 (cross-list from cs.LO) [pdf, other]
Title: A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java
Authors: Alessandro Coglio (Kestrel Institute)
Comments: In Proceedings ACL2 2022, arXiv:2205.11103
Journal-ref: EPTCS 359, 2022, pp. 168-184
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

Tue, 24 May 2022 (showing first 13 of 17 entries)

[20]  arXiv:2205.11406 [pdf, other]
Title: A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[21]  arXiv:2205.11399 [pdf, other]
Title: Energy Efficiency of Web Browsers in the Android Ecosystem
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2205.11304 [pdf]
Title: Automatic Generation of Programming Exercises
Authors: Peter Sovietov
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[23]  arXiv:2205.11303 [pdf, other]
Title: Real-time Collaborative Multi-Level Modeling by Conflict-Free Replicated Data Types
Subjects: Software Engineering (cs.SE)
[24]  arXiv:2205.11023 [pdf, other]
Title: AdaptivePaste: Code Adaptation through Learning Semantics-aware Variable Usage Representations
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[25]  arXiv:2205.10992 [pdf, other]
Title: Exploring Apache Incubator Project Trajectories with APEX
Comments: MSR 2022
Subjects: Software Engineering (cs.SE)
[26]  arXiv:2205.10956 [pdf, other]
Title: CIRCLE: Continual Repair across Programming Languages
Comments: This paper was accepted by ISSTA2022
Subjects: Software Engineering (cs.SE)
[27]  arXiv:2205.10713 [pdf, other]
Title: Understanding and Supporting the Design Systems Practice
Comments: 28 pages, 2 figures, to appear in EMSE
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[28]  arXiv:2205.10692 [pdf, other]
Title: All You Need Is Logs: Improving Code Completion by Learning from Anonymous IDE Usage Logs
Comments: 11 pages, 4 figures
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[29]  arXiv:2205.10676 [pdf, other]
Title: Terraform -- Automating Infrastructure as a Service
Authors: Michael Howard
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[30]  arXiv:2205.10668 [pdf]
Title: Supplementary Results of a Comparative Syntactic and Semantic Study of Terms for Software Testing Glossaries
Comments: 55 pages, 6 Appendixes with tables
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2205.10583 [pdf, other]
Title: Improving automatically generated code from Codex via Automated Program Repair
Comments: 12 pages
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2205.10504 [pdf, other]
Title: How to Find Actionable Static Analysis Warnings
Comments: v1
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[ total of 43 entries: 1-32 | 33-43 ]
[ showing 32 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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