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

Software Engineering

Authors and titles for cs.SE in Dec 2020

[ total of 155 entries: 1-50 | 51-100 | 101-150 | 151-155 ]
[ showing 50 entries per page: fewer | more | all ]
[1]  arXiv:2012.00274 [pdf]
Title: Evaluation of Reusability in Aspect Oriented Software using Inheritance Metrics
Subjects: Software Engineering (cs.SE)
[2]  arXiv:2012.00276 [pdf]
Title: Design Level Metrics to Measure the Complexity Across Versions of AO Software
Subjects: Software Engineering (cs.SE)
[3]  arXiv:2012.00544 [pdf, other]
Title: Software Security Patch Management -- A Systematic Literature Review of Challenges, Approaches, Tools and Practices
Comments: 45 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[4]  arXiv:2012.00594 [pdf, other]
Title: HPM-Frame: A Decision Framework for Executing Software on Heterogeneous Platforms
Comments: Manuscript submitted to the Journal of Systems and Software
Subjects: Software Engineering (cs.SE)
[5]  arXiv:2012.00818 [pdf, ps, other]
Title: Designing Voice-Controllable APIs
Journal-ref: 2019 IEEE 15th International Scientific Conference on Informatics, IEEE, 2019, pp. 393-398
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[6]  arXiv:2012.00829 [pdf, other]
Title: Customizing Host IDE for Non-programming Users of Pure Embedded DSLs: A Case Study
Journal-ref: Computer Languages, Systems and Structures (COMLAN), Vol. 49, 2017, pp. 101-118
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[7]  arXiv:2012.00856 [pdf, ps, other]
Title: Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification
Authors: Matt Luckcuck
Comments: Accepted at Journal of Risk and Reliability
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[8]  arXiv:2012.00992 [pdf, other]
Title: Understanding Characteristics of Commodity Serverless Computing Platforms
Subjects: Software Engineering (cs.SE)
[9]  arXiv:2012.01023 [pdf]
Title: A Methodology for Deriving Evaluation Criteria for Software Solutions
Comments: 12 pages, 2 figures, 2 Tables, shortened version accepted at ICORES 2021 (this http URL)
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2012.01028 [pdf, other]
Title: CRaDLe: Deep Code Retrieval Based on Semantic Dependency Learning
Journal-ref: Neural Networks, 2021, 141: 385-394
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2012.01057 [pdf, other]
Title: Software Module Clustering: An In-Depth Literature Analysis
Comments: 33 pages
Journal-ref: IEEE Transactions on Software Engineering 2021
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2012.01198 [pdf, other]
Title: Production Monitoring to Improve Test Suites
Journal-ref: IEEE Transactions on Reliability, 2021
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2012.01403 [pdf, other]
Title: Empirical Study on the Software Engineering Practices in Open Source ML Package Repositories
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[14]  arXiv:2012.01493 [pdf, ps, other]
Title: A Rely-Guarantee Specification of Mixed-Criticality Scheduling
Comments: This paper will appear in a Festschrift - on publication we will insert a pointer to the book
Journal-ref: Mathematical Foundations of Software Engineering, College Publication, 2022, Chap 6
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2012.01596 [pdf]
Title: Time-Aware Models for Software Effort Estimation
Comments: 5 Pages, Conference SEKE2020
Journal-ref: The 32nd International Conference on Software Engineering & Knowledge Engineering, Virtual, 9 - 19 July, 2020
Subjects: Software Engineering (cs.SE)
[16]  arXiv:2012.01614 [pdf, other]
Title: Explainable AI for Software Engineering
Comments: Under Review at IEEE Computer Magazine
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[17]  arXiv:2012.01648 [pdf, ps, other]
Title: Towards Compositional Verification for Modular Robotic Systems
Authors: Rafael C. Cardoso (The University of Manchester), Louise A. Dennis (The University of Manchester), Marie Farrell (The University of Manchester), Michael Fisher (The University of Manchester), Matt Luckcuck (The University of Manchester)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 15-22
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[18]  arXiv:2012.01649 [pdf, other]
Title: YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
Authors: Mario Gleirscher (University of York)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 31-47
Subjects: Software Engineering (cs.SE); Robotics (cs.RO)
[19]  arXiv:2012.01651 [pdf, other]
Title: A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems
Authors: Fatma Kachi (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Chafia Bouanaka (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Souheir Merkouche (University of Constantine2-Abdelhamid Mehri)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 48-64
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[20]  arXiv:2012.01655 [pdf, other]
Title: VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
Authors: Nils Weidmann (Paderborn University, Germany), Anthony Anjorin (IAV GmbH Ingenieurgesellschaft Auto und Verkehr, Germany), James Cheney (University of Edinburgh, United Kingdom)
Comments: In Proceedings GCM 2020, arXiv:2012.01181
Journal-ref: EPTCS 330, 2020, pp. 1-12
Subjects: Software Engineering (cs.SE)
[21]  arXiv:2012.01656 [pdf, ps, other]
Title: Graph Repair and its Application to Meta-Modeling
Authors: Christian Sandmann (Carl von Ossietzky University Oldenburg, Germany)
Comments: In Proceedings GCM 2020, arXiv:2012.01181
Journal-ref: EPTCS 330, 2020, pp. 13-34
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2012.01708 [pdf, other]
Title: Feature-Based Software Design Pattern Detection
Comments: Accepted in Journal of Systems and Software (JSS)
Subjects: Software Engineering (cs.SE)
[23]  arXiv:2012.01815 [pdf, other]
Title: SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[24]  arXiv:2012.01908 [pdf]
Title: Exploration in Algorithm Engineering: Modeling Algorithms
Authors: Sabah Al-Fedaghi
Comments: 13 pages, 27 figures
Journal-ref: IJCSNS International Journal of Computer Science and Network Security, VOL.20 No.11, 159-171, November 2020
Subjects: Software Engineering (cs.SE)
[25]  arXiv:2012.02245 [pdf, other]
Title: Technical Report: Refining Case Models Using Cardinality Constraints
Comments: 27 pages, 22 Figures
Subjects: Software Engineering (cs.SE)
[26]  arXiv:2012.02471 [pdf, other]
Title: Automated, Cost-effective, and Update-driven App Testing
Subjects: Software Engineering (cs.SE)
[27]  arXiv:2012.02640 [pdf, other]
Title: A Comparison of Natural Language Understanding Platforms for Chatbots in Software Engineering
Journal-ref: IEEE Transactions on Software Engineering (TSE), 2021
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[28]  arXiv:2012.02645 [pdf, other]
Title: Supporting Round-Trip Data Migration for Web APIs: A Henshin Solution
Authors: Daniel Strüber
Comments: 5 pages, 5 figures; accepted for publication in the proceedings for Transformation Tool Contest (TTC) 2020
Subjects: Software Engineering (cs.SE)
[29]  arXiv:2012.03225 [pdf, other]
Title: NaturalCC: A Toolkit to Naturalize the Source Code Corpus
Subjects: Software Engineering (cs.SE)
[30]  arXiv:2012.03423 [pdf, other]
Title: A Multi-dimensional Study of Requirements Changes in Agile Software Development Projects
Comments: 20 pages, 9 figures, 12 tables, Submitted to IEEE Transactions on Software Engineering
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2012.03453 [pdf, other]
Title: A Tool to Extract Structured Data from GitHub
Comments: 4 pages, 4 figures
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2012.03521 [pdf]
Title: Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time
Journal-ref: Proceedings of the 48th SEFI Conference (2020) 799 - 809
Subjects: Software Engineering (cs.SE)
[33]  arXiv:2012.03716 [pdf, other]
Title: How Successful Are Open Source Contributions From Countries with Different Levels of Human Development?
Comments: 5 pages, 1 figure
Journal-ref: IEEE Software 2021
Subjects: Software Engineering (cs.SE)
[34]  arXiv:2012.03738 [pdf, other]
Title: Small Changes, Big Impacts: Leveraging Diversity to Improve Energy Efficiency
Comments: 31 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[35]  arXiv:2012.03745 [pdf, other]
Title: From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
Authors: Aaron Dutle (NASA), César Muñoz (NASA), Esther Conrad (NASA), Alwyn Goodloe (NASA), Laura Titolo (National Institute of Aerospace), Ivan Perez (National Institute of Aerospace), Swee Balachandran (National Institute of Aerospace), Dimitra Giannakopoulou (NASA), Anastasia Mavridou (KBR Inc.), Thomas Pressburger (NASA)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 23-30
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[36]  arXiv:2012.03759 [pdf, other]
Title: Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing
Comments: 32 pages, 2 figuras
Journal-ref: Software Quality Journal 2021
Subjects: Software Engineering (cs.SE)
[37]  arXiv:2012.04185 [pdf, other]
Title: Formalism-Driven Development of Decentralized Systems
Comments: To appear in ICECCS 2022
Subjects: Software Engineering (cs.SE)
[38]  arXiv:2012.04188 [pdf, other]
Title: Learning to Represent Programs with Heterogeneous Graphs
Comments: Accepted by ICPC 2022
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[39]  arXiv:2012.04760 [pdf, other]
Title: Fine-Grained Network Analysis for Modern Software Ecosystems
Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)
[40]  arXiv:2012.04966 [pdf, other]
Title: Constructive Master's Thesis Work in Industry: Guidelines for Applying Design Science Research
Authors: Eric Knauss
Comments: Accepted at International Conference on Software Engineering (ICSE), Joint Track on Software Engineering Education and Training. Changes based on reviews: Related guidelines on DSR to more general guidelines for empirical research. Provided additional table to map guidelines to identified problems. Made writing consistent with respect to the use of "we"/"I". General improvements in writing
Subjects: Software Engineering (cs.SE)
[41]  arXiv:2012.05016 [pdf, other]
Title: From One to Hundreds: Multi-Licensing in the JavaScript Ecosystem
Comments: Submitted to EMSE, 33 pages
Subjects: Software Engineering (cs.SE)
[42]  arXiv:2012.05085 [pdf, other]
Title: TaskTracker-tool: a Toolkit for Tracking of Code Snapshots and Activity Data During Solution of Programming Tasks
Comments: 7 pages, 3 figures, accepted at SIGCSE TS 2021
Subjects: Software Engineering (cs.SE)
[43]  arXiv:2012.05231 [pdf, other]
Title: The Fulib Solution to the TTC 2020 Migration Case
Comments: Part of the 2020 Transformation Tool Contest
Subjects: Software Engineering (cs.SE)
[44]  arXiv:2012.05540 [pdf]
Title: Integration of Security Modules in Software Development Lifecycle Phases
Subjects: Software Engineering (cs.SE)
[45]  arXiv:2012.05563 [pdf, other]
Title: Combined Intuition and Rationality Increases Software Feature Novelty for Female Software Designers
Comments: IEEE Software
Subjects: Software Engineering (cs.SE)
[46]  arXiv:2012.05987 [pdf]
Title: Guiding Development Work Across a Software Ecosystem by Visualizing Usage Data
Comments: 12 pages, 2 figures; written in 2015
Subjects: Software Engineering (cs.SE); Social and Information Networks (cs.SI)
[47]  arXiv:2012.06086 [pdf, ps, other]
Title: WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs
Subjects: Software Engineering (cs.SE)
[48]  arXiv:2012.06145 [pdf]
Title: DevOps A Historical Review and Future Works
Comments: 6 pages, 8 figures
Subjects: Software Engineering (cs.SE)
[49]  arXiv:2012.06264 [pdf, ps, other]
Title: A Comprehensive Study of Code-removal Patches in Automated Program Repair
Comments: New version of the manuscript
Journal-ref: Empirical Software Engineering, Springer, 2022
Subjects: Software Engineering (cs.SE)
[50]  arXiv:2012.06506 [pdf, other]
Title: IBIR: Bug Report driven Fault Injection
Subjects: Software Engineering (cs.SE)
[ total of 155 entries: 1-50 | 51-100 | 101-150 | 151-155 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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