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

Software Engineering

Authors and titles for recent submissions

[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 26 Nov 2020

[1]  arXiv:2011.12886 [pdf]
Title: An Empirical Investigation on the Challenges of Creating Custom Static Analysis Rules for Defect Localization
Subjects: Software Engineering (cs.SE)
[2]  arXiv:2011.12468 [pdf, other]
Title: Nudge: Accelerating Overdue Pull Requests Towards Completion
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)
[3]  arXiv:2011.12837 (cross-list from cs.RO) [pdf]
Title: High-Level Description of Robot Architecture
Comments: 10 pages, 18 figures
Journal-ref: (IJACSA) International Journal of Advanced Computer Science and Applications, 258-267, Vol. 11, No. 10, 2020
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[4]  arXiv:2011.12715 (cross-list from cs.AI) [pdf, other]
Title: Resonance: Replacing Software Constants with Context-Aware Models in Real-time Communication
Comments: Workshop on ML for Systems at NeurIPS 2020, Accepted
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

Wed, 25 Nov 2020

[5]  arXiv:2011.12028 [pdf, other]
Title: Transforming Data Flow Diagrams for Privacy Compliance (Long Version)
Comments: This is an extended version of a paper to be presented at MODELSWARD 2021. It contains a more detailed description of our transformation algorithm and an additional case study, which were not included in the conference paper
Subjects: Software Engineering (cs.SE)
[6]  arXiv:2011.11950 [pdf, other]
Title: Code Search Intent Classification Using Weak Supervision
Comments: Dataset for this paper is available here: this https URL
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[7]  arXiv:2011.11942 [pdf, other]
[8]  arXiv:2011.11766 [pdf, other]
Title: CAT: Change-focused Android GUI Testing
Subjects: Software Engineering (cs.SE)
[9]  arXiv:2011.11959 (cross-list from cs.LG) [pdf, other]
Title: Provably-Robust Runtime Monitoring of Neuron Activation Patterns
Authors: Chih-Hong Cheng
Comments: Work-in-progress report
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

Tue, 24 Nov 2020

[10]  arXiv:2011.11228 [pdf, other]
Title: Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks
Comments: Under Review IEEE Transactions on Software Engineering
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2011.10975 [pdf, other]
Title: Modular Moose: A new generation software reverse engineering environment
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2011.10866 [pdf]
Title: Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model
Comments: Paper accepted at 2020 European Symposium on Software Engineering (ESSE 2020), Rome, Italy, Nov. 6 - 8, 2020, this http URL
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2011.10865 [pdf, ps, other]
Title: Quality and Reliability Metrics for IoT Systems: A Consolidated View
Comments: Paper accepted at EAI Urb-IoT 2020 - 5th EAI International Conference on IoT in Urban Space, December 2-4, 2020. this https URL
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2011.10787 [pdf, other]
Title: An Empirical Study on Failed Error Propagation in Java Programs with Real Faults
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2011.10749 [pdf, other]
Title: Revisiting Binary Code Similarity Analysis using Interpretable Feature Engineering and Lessons Learned
Comments: 21 pages, under submission to Transactions on Software Engineering (Nov. 2020)
Subjects: Software Engineering (cs.SE)

Mon, 23 Nov 2020

[16]  arXiv:2011.10351 [pdf]
Title: Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System
Comments: 11 pages, 7 figures
Subjects: Software Engineering (cs.SE); Hardware Architecture (cs.AR); Systems and Control (eess.SY)
[17]  arXiv:2011.10268 [pdf, other]
Title: Hyperparameter Optimization for AST Differencing
Subjects: Software Engineering (cs.SE)

Fri, 20 Nov 2020

[18]  arXiv:2011.09784 [pdf, other]
Title: ReAssert: Deep Learning for Assert Generation
Comments: 10 pages, 6 figures, conference
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[19]  arXiv:2011.09933 (cross-list from cs.LG) [pdf, other]
Title: NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
Comments: arXiv admin note: text overlap with arXiv:2003.07636
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[20]  arXiv:2011.09884 (cross-list from cs.LG) [pdf, other]
Title: DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment
Comments: 14 pages; 5 figures
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)
[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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