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-155 ]
[ showing 155 entries per page: fewer | more ]
[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)
[51]  arXiv:2012.06822 [pdf, other]
Title: Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
Comments: To appear in the Proc. of the IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[52]  arXiv:2012.06824 [pdf, other]
Title: A Software-Repair Robot based on Continual Learning
Journal-ref: IEEE Software, 2021
Subjects: Software Engineering (cs.SE)
[53]  arXiv:2012.06981 [pdf, other]
Title: Fine-Grained Lineage for Safer Notebook Interactions
Subjects: Software Engineering (cs.SE); Databases (cs.DB); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)
[54]  arXiv:2012.07005 [pdf]
Title: Predicting Software Effort from Use Case Points: A Systematic Review
Comments: accepted at Science of Computer Programming Journal
Subjects: Software Engineering (cs.SE)
[55]  arXiv:2012.07023 [pdf, other]
Title: InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees
Comments: Accepted at ICSE 2021
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)
[56]  arXiv:2012.07140 [pdf, other]
Title: How Trans-Inclusive are Hackathons?
Comments: 4 pages, 1 figure
Journal-ref: IEEE Software 2021
Subjects: Software Engineering (cs.SE)
[57]  arXiv:2012.07196 [pdf, other]
Title: Software Quality Assessment for Robot Operating System
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Robotics (cs.RO)
[58]  arXiv:2012.07226 [pdf]
Title: Risk Assessment, Threat Modeling and Security Testing in SDLC
Subjects: Software Engineering (cs.SE)
[59]  arXiv:2012.07259 [pdf, other]
Title: AndroEvolve: Automated Update for Android Deprecated-API Usages
Subjects: Software Engineering (cs.SE)
[60]  arXiv:2012.07274 [pdf]
Title: Determining Context Factors for Hybrid Development Methods with Trained Models
Comments: 11 pages, Conference, 5 figures, 9 tables
Journal-ref: Proceedings of the International Conference on Software and Systems Process (ICSSP2020). Seoul, South Korea, IEEE Computer Society Press, pp.61-70
Subjects: Software Engineering (cs.SE)
[61]  arXiv:2012.07380 [pdf, other]
Title: Automatic Property-based Testing of GraphQL APIs
Subjects: Software Engineering (cs.SE)
[62]  arXiv:2012.07428 [pdf, other]
Title: Mind the Gap: On the Relationship Between Automatically Measured and Self-Reported Productivity
Subjects: Software Engineering (cs.SE)
[63]  arXiv:2012.07581 [pdf, other]
Title: Quality Estimation & Interpretability for Code Translation
Comments: NeurIPS 2020 Workshop on Computer-Assisted Programming
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[64]  arXiv:2012.07919 [pdf]
Title: A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges
Authors: Görkem Giray
Comments: accepted by the Journal of Systems and Software on 15 June 2021
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[65]  arXiv:2012.07953 [pdf, other]
Title: Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases
Subjects: Software Engineering (cs.SE)
[66]  arXiv:2012.08053 [pdf, other]
Title: A Quantitative Study of Security Bug Fixes of GitHub Repositories
Subjects: Software Engineering (cs.SE)
[67]  arXiv:2012.08295 [pdf, other]
Title: Building an ID Card Repository with Progressive Web Application to Mitigate Fraud
Comments: 5 pages
Journal-ref: 9th International Conference on Information and Communication Technology (ICoICT), 2021, pp. 544-549
Subjects: Software Engineering (cs.SE)
[68]  arXiv:2012.08387 [pdf, other]
Title: Run, Forest, Run? On Randomization and Reproducibility in Predictive Software Engineering
Subjects: Software Engineering (cs.SE)
[69]  arXiv:2012.08692 [pdf]
Title: Testing the Stationarity Assumption in Software Effort Estimation Datasets
Comments: 7 pages, conference, 1 table, 2 figures
Journal-ref: Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering (SEKE2020)
Subjects: Software Engineering (cs.SE)
[70]  arXiv:2012.08823 [pdf]
Title: Toward understanding the conditions that promote higher attention in software developments -- a first step on music and standups
Subjects: Software Engineering (cs.SE)
[71]  arXiv:2012.08842 [pdf, other]
Title: Code smells detection and visualization: A systematic literature review
Comments: submitted to ARCO
Subjects: Software Engineering (cs.SE)
[72]  arXiv:2012.08862 [pdf]
Title: Practical use of Windows data collector process and testing analysis
Subjects: Software Engineering (cs.SE)
[73]  arXiv:2012.08938 [pdf, other]
Title: Summarizing Unstructured Logs in Online Services
Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI)
[74]  arXiv:2012.08959 [pdf, ps, other]
Title: Monitoring Cyber-Physical Systems: From Design to Integration
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[75]  arXiv:2012.08961 [pdf, ps, other]
Title: Verified Rust Monitors for Lola Specifications
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[76]  arXiv:2012.09557 [pdf, other]
Title: A framework to semantify BPMN models using DEMO business transaction pattern
Comments: 22 pages, 15 figures, models are available at this https URL, tool available at this https URL
Subjects: Software Engineering (cs.SE)
[77]  arXiv:2012.09590 [pdf, other]
Title: The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding
Comments: To appear in: Proceedings of the 43rd International Conference on Software Engineering (ICSE '21), Madrid, Spain, 12 pages. 12 pages, 1 figure. Postprint, after peer review
Journal-ref: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021 pp. 512-523
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Programming Languages (cs.PL)
[78]  arXiv:2012.09916 [pdf, other]
Title: RAICC: Revealing Atypical Inter-Component Communication in Android Apps
Comments: In the proceedings of the 43rd International Conference on Software Engineering 2021 (ICSE 2021)
Subjects: Software Engineering (cs.SE)
[79]  arXiv:2012.10095 [pdf, other]
Title: A First Look at Human Values-Violation in App Reviews
Comments: 10 pages, Accepted for publication in IEEE/ACM 43nd International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), IEEE, 2021
Subjects: Software Engineering (cs.SE)
[80]  arXiv:2012.10126 [pdf, other]
Title: Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge
Comments: 23 pages, 17 figures, 4 tables, 56 references
Subjects: Software Engineering (cs.SE)
[81]  arXiv:2012.10154 [pdf, other]
Title: Neural Network Embeddings for Test Case Prioritization
Comments: 11 pages, 6 figures and 2 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[82]  arXiv:2012.10206 [pdf, other]
Title: An Empirical Investigation of Command-Line Customization
Journal-ref: Empir Software Eng 27, 30 (2022)
Subjects: Software Engineering (cs.SE)
[83]  arXiv:2012.10662 [pdf, other]
Title: Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith
Comments: The 36th ACM/SIGAPP Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT'21)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[84]  arXiv:2012.10672 [pdf, other]
Title: A Declarative Metamorphic Testing Framework for Autonomous Driving
Subjects: Software Engineering (cs.SE)
[85]  arXiv:2012.10833 [pdf]
Title: A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews
Comments: 12 pages, Journal, 14 tables, 4 figures
Journal-ref: Journal of Software (2012) 7(2), pp.450-461
Subjects: Software Engineering (cs.SE)
[86]  arXiv:2012.10836 [pdf]
Title: Experience: Quality Benchmarking of Datasets Used in Software Effort Estimation
Comments: 26 pages, Journal, 13 tables, 5 figures
Journal-ref: ACM Journal of Data and Information Quality 11(4), pp.1-38 (Article 19), (2019)
Subjects: Software Engineering (cs.SE)
[87]  arXiv:2012.10839 [pdf]
Title: Topics and Treatments in Global Software Engineering Research: A Systematic Snapshot
Comments: 10 Pages, Conference, 7 Figres, 6 Tables
Journal-ref: Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2013)
Subjects: Software Engineering (cs.SE)
[88]  arXiv:2012.10854 [pdf]
Title: Understanding Feasibility Study Approach for Packaged Software Implementation by SMEs
Comments: 8 Pages, Conference, 1 Figure, 2 Tables
Journal-ref: Proceedings of the 22nd International Conference on Information Systems Development (ISD2013)
Subjects: Software Engineering (cs.SE)
[89]  arXiv:2012.10866 [pdf, other]
Title: Market-level Analysis of Government-backed COVID-19 Contact Tracing Apps
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[90]  arXiv:2012.10881 [pdf]
Title: Software, Attacker and Asset-centric Approach for Improving Security in System Development Process
Subjects: Software Engineering (cs.SE)
[91]  arXiv:2012.10951 [pdf, other]
Title: Predicting the Objective and Priority of Issue Reports in Software Repositories
Subjects: Software Engineering (cs.SE)
[92]  arXiv:2012.11060 [pdf, other]
Title: Adversarial Patch Generation for Automatic Program Repair
Authors: Abdulaziz Alhefdhi (1 and 2), Hoa Khanh Dam (1), Xuan-Bach D. Le (3), Aditya Ghose (1) ((1) University of Wollongong, (2) Prince Sattam bin Abdulaziz University, (3) The University of Melbourne)
Comments: Submitted to IEEE Software's special issue on Automatic Program Repair. Added references
Subjects: Software Engineering (cs.SE)
[93]  arXiv:2012.11144 [pdf]
Title: An empirical analysis of success factors in the adaption of the scaled agile framework -- first outcomes from an empirical study
Subjects: Software Engineering (cs.SE)
[94]  arXiv:2012.11182 [pdf, other]
Title: Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants
Authors: Andrea Fioraldi
Comments: This is a Master Thesis
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[95]  arXiv:2012.11245 [pdf, other]
Title: Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[96]  arXiv:2012.11348 [pdf, other]
Title: AC2 -- Towards Understanding Architectural Changes in Rapid Releases
Comments: 4 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[97]  arXiv:2012.11364 [pdf, other]
Title: Reinforcement Learning for Test Case Prioritization
Comments: 9 pages, 4 figures and 2 tables
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[98]  arXiv:2012.12324 [pdf, other]
Title: Do We Need Improved Code Quality Metrics?
Subjects: Software Engineering (cs.SE)
[99]  arXiv:2012.12466 [pdf, other]
Title: A Framework for Conditional Statement Technical Debt Identification and Description
Authors: Abdulaziz Alhefdhi (1), Hoa Khanh Dam (1), Yusuf Sulistyo Nugroho (2), Hideaki Hata (3), Takashi Ishio (4), Aditya Ghose (1) ((1) University of Wollongong, (2) Universitas Muhammadiyah Surakarta, (3) Shinshu University, (4) Nara Institute of Science and Technology)
Subjects: Software Engineering (cs.SE)
[100]  arXiv:2012.12590 [pdf, other]
Title: Crowdsmelling: The use of collective knowledge in code smells detection
Subjects: Software Engineering (cs.SE)
[101]  arXiv:2012.12764 [pdf, other]
Title: All That Glitters Is Not Gold: Towards Process Discovery Techniques with Guarantees
Comments: 13 pages, 4 figures. Submitted to the International Conference on Advanced Information Systems Engineering, 2021
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[102]  arXiv:2012.13108 [pdf]
Title: Implementation of Security Features in Software Development Phases
Subjects: Software Engineering (cs.SE)
[103]  arXiv:2012.13254 [pdf, ps, other]
Title: Designing a Socio-Technical Business Process for Analyzing Information Quality Requirements: Experience Report
Authors: Mohamad Gharib
Subjects: Software Engineering (cs.SE)
[104]  arXiv:2012.13516 [pdf, other]
Title: Fuzzing with Fast Failure Feedback
Comments: 12 pages, 6 figures
Subjects: Software Engineering (cs.SE)
[105]  arXiv:2012.13589 [pdf]
Title: Mining user reviews of COVID contact-tracing apps: An exploratory analysis of nine European apps
Subjects: Software Engineering (cs.SE)
[106]  arXiv:2012.13671 [pdf, other]
Title: Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems
Subjects: Software Engineering (cs.SE)
[107]  arXiv:2012.13728 [pdf, other]
Title: Requirements of API Documentation: A Case Study into Computer Vision Services
Comments: Early Access preprint for an upcoming issue of the IEEE Transactions on Software Engineering
Subjects: Software Engineering (cs.SE)
[108]  arXiv:2012.14078 [pdf, other]
Title: API Misuse Detection An Immune System inspired Approach
Comments: Paper submitted to Journal of Systems and Software
Subjects: Software Engineering (cs.SE)
[109]  arXiv:2012.14178 [pdf, other]
Title: Experiential Learning Approach for Software Engineering Courses at Higher Education Level
Comments: Submitted to Journal of Computing in Higher Education
Subjects: Software Engineering (cs.SE)
[110]  arXiv:2012.14237 [pdf, other]
Title: A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity
Comments: Accepted Manuscript. arXiv admin note: text overlap with arXiv:1906.08142
Journal-ref: Information and Software Technology, Volume 130, February 2021, 106436
Subjects: Software Engineering (cs.SE)
[111]  arXiv:2012.14534 [pdf]
Title: Research in Global Software Engineering: A Systematic Snapshot
Comments: Book Chapter, 8 Pages, 6 figures, 6 tables. arXiv admin note: substantial text overlap with arXiv:2012.10839
Journal-ref: Evaluation of Novel Approaches to Software Engineering. J. Filipe and L.A. Maciaszek (eds.), Springer Berlin Heidelberg (2013), pp.126-140 [ISBN 978-3-642-54092- 9]
Subjects: Software Engineering (cs.SE)
[112]  arXiv:2012.14538 [pdf]
Title: A Model for Software Contexts
Comments: Conference, 7 pages, 3 figures
Journal-ref: Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2013). Angers, France, SCITEPRESS, pp.197-204
Subjects: Software Engineering (cs.SE)
[113]  arXiv:2012.14631 [pdf, other]
Title: Multi-task Learning based Pre-trained Language Model for Code Completion
Comments: Accepted by International Conference on Automated Software Engineering (ASE 2020)
Subjects: Software Engineering (cs.SE)
[114]  arXiv:2012.15153 [pdf]
Title: Importance of Secure Software Development Processes and Tools for Developers
Subjects: Software Engineering (cs.SE)
[115]  arXiv:2012.15342 [pdf, other]
Title: ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel
Subjects: Software Engineering (cs.SE)
[116]  arXiv:2012.15382 [pdf, other]
Title: Managed Information: A New Abstraction Mechanism for Handling Information in Software-as-a-Service
Subjects: Software Engineering (cs.SE)
[117]  arXiv:2012.15407 [pdf]
Title: Consolidating a Model for Describing Situated Software Practices
Comments: Conference, 7 pages, 2 figures, 3 tables
Journal-ref: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2019). Porto, Portugal, SCITEPRESS, pp.402-409
Subjects: Software Engineering (cs.SE)
[118]  arXiv:2012.15533 [pdf, ps, other]
Title: Optimal Software Architecture From Initial Requirements: An End-to-End Approach
Subjects: Software Engineering (cs.SE)
[119]  arXiv:2012.15627 [pdf, other]
Title: FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
Comments: for associated video, see this http URL and FILO source code can be downloaded from this https URL . In the International Conference on Automated Software Engineering (2020)
Subjects: Software Engineering (cs.SE)
[120]  arXiv:2012.00556 (cross-list from cs.PL) [pdf, other]
Title: TracerX: Dynamic Symbolic Execution with Interpolation
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[121]  arXiv:2012.01032 (cross-list from cs.CR) [pdf, other]
Title: VM Matters: A Comparison of WASM VMs and EVMs in the Performance of Blockchain Smart Contracts
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[122]  arXiv:2012.01119 (cross-list from cs.CR) [pdf, other]
Title: Privacy-Preserving Directly-Follows Graphs: Balancing Risk and Utility in Process Mining
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[123]  arXiv:2012.01144 (cross-list from cs.CY) [pdf, ps, other]
Title: The CROSS Incubator: A Case Study for funding and training RSEs
Comments: Presented at RSE-HPC 2020: Research Software Engineers in HPC - Creating Community, Building Careers, Addressing Challenges, co-located with SC20, Virtual, November 12, 2020
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[124]  arXiv:2012.01647 (cross-list from cs.RO) [pdf, other]
Title: How to Formally Model Human in Collaborative Robotics
Authors: Mehrnoosh Askarpour (McMaster University)
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Journal-ref: EPTCS 329, 2020, pp. 1-14
Subjects: Robotics (cs.RO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[125]  arXiv:2012.01823 (cross-list from cs.AI) [pdf, other]
Title: Cognitive Capabilities for the CAAI in Cyber-Physical Production Systems
Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[126]  arXiv:2012.01907 (cross-list from cs.CY) [pdf]
Title: PRESENT: An Android-Based Class Attendance Monitoring System Using Face Recognition Technology
Comments: 14 pages, 6 figures
Journal-ref: International Journal of Computing Sciences Research Vol. 2,No. 3, pp. 102-115, 2019
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[127]  arXiv:2012.02237 (cross-list from cs.CY) [pdf]
Title: Query Game 2.0: Improvement of a Web-Based Query Game for Cavite State University Main Campus
Journal-ref: International Journal of Computing Sciences Research, 4(2), 304-318
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[128]  arXiv:2012.02615 (cross-list from cs.OH) [pdf]
Title: An Event-Driven Framework for Business Awareness Management
Comments: eChallenges e-2012 Conference Proceedings, ISBN: 978-1-905824-35-9
Subjects: Other Computer Science (cs.OH); Software Engineering (cs.SE)
[129]  arXiv:2012.03743 (cross-list from cs.CY) [pdf, other]
Title: Bringing Cognitive Augmentation to Web Browsing Accessibility
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[130]  arXiv:2012.04405 (cross-list from cs.CR) [pdf]
Title: Cyber Autonomy: Automating the Hacker- Self-healing, self-adaptive, automatic cyber defense systems and their impact to the industry, society and national security
Authors: Ryan K L Ko
Comments: 15 pages, 5 figures, preprint of chapter in edited book "Emerging Technologies and International Security: Machines, the State, and War" edited By Reuben Steff, Joe Burton, Simona R. Soare
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Software Engineering (cs.SE)
[131]  arXiv:2012.05471 (cross-list from cs.CR) [pdf, other]
Title: Securing the EDK II Image Loader
Comments: 10 pages, 2 tables
Journal-ref: 2020 Ivannikov Ispras Open Conference (ISPRAS), 2020, pp. 16-25
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[132]  arXiv:2012.05863 (cross-list from cs.PL) [pdf, other]
Title: A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[133]  arXiv:2012.06319 (cross-list from cs.OH) [pdf, other]
Title: 6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment
Comments: 16 pages, 7 figures, submitted to IEEE Access
Subjects: Other Computer Science (cs.OH); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[134]  arXiv:2012.06382 (cross-list from cs.PL) [pdf, ps, other]
Title: Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
Comments: Accepted to: 2021 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[135]  arXiv:2012.06511 (cross-list from cs.CV) [pdf, other]
Title: Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Comments: to appear in ISSTA 2021
Subjects: Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)
[136]  arXiv:2012.06615 (cross-list from cs.RO) [pdf, other]
Title: Probabilistic Conditional System Invariant Generation with Bayesian Inference
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[137]  arXiv:2012.06658 (cross-list from cs.CR) [pdf, other]
Title: Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation
Comments: Published in the proceedings of DSN'21 (51st IEEE/IFIP Int. Conf. on Dependable Systems and Networks). Code and BibTeX entry available at this https URL
Journal-ref: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[138]  arXiv:2012.07381 (cross-list from cs.LG) [pdf, other]
Title: Influence-Driven Data Poisoning in Graph-Based Semi-Supervised Classifiers
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[139]  arXiv:2012.07816 (cross-list from cs.LG) [pdf, other]
Title: Enabling Collaborative Data Science Development with the Ballet Framework
Journal-ref: Proc. ACM Hum.-Comput. Interact. 5, CSCW2, Article 431 (October 2021), 39 pages
Subjects: Machine Learning (cs.LG); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[140]  arXiv:2012.08178 (cross-list from cs.DL) [pdf, other]
Title: On how Cognitive Computing will plan your next Systematic Review
Subjects: Digital Libraries (cs.DL); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[141]  arXiv:2012.08680 (cross-list from cs.CR) [pdf, other]
Title: Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)
[142]  arXiv:2012.09155 (cross-list from cs.PL) [pdf, other]
Title: On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers
Comments: Revised and extended version of our publication that first appeared in the 2020 Workshop on Forming an Ecosystem Around Software Transformation (FEAST '20), November 13, 2020
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[143]  arXiv:2012.09163 (cross-list from cs.CR) [pdf, other]
Title: Intertwining ROP Gadgets and Opaque Predicates for Robust Obfuscation
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[144]  arXiv:2012.09602 (cross-list from cs.LG) [pdf, other]
Title: Application of the Neural Network Dependability Kit in Real-World Environments
Comments: 10 pages, 7 Figures including 2 appendices Main Content: 5 pages, 1 Figure
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[145]  arXiv:2012.09987 (cross-list from cs.CR) [pdf]
Title: DistB-Condo: Distributed Blockchain-based IoT-SDN Model for Smart Condominium
Comments: 17 Pages, 12 Tables, 17 Figures
Journal-ref: EEE Access, vol. 8, pp. 209594-209609, 2020
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[146]  arXiv:2012.10431 (cross-list from cs.CY) [pdf, other]
Title: TILT: A GDPR-Aligned Transparency Information Language and Toolkit for Practical Privacy Engineering
Comments: Accepted for publication at the ACM Conference on Fairness, Accountability, and Transparency 2021 (ACM FAccT'21). This is a preprint manuscript (authors' own version before final copy-editing)
Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[147]  arXiv:2012.10526 (cross-list from cs.DC) [pdf]
Title: Achieving Operational Scalability Using Razee Continuous Deployment Model and Kubernetes Operators
Comments: 9 pages, 18 figures, 1 table
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[148]  arXiv:2012.11163 (cross-list from cs.CL) [pdf, other]
Title: MT-Teql: Evaluating and Augmenting Consistency of Text-to-SQL Models with Metamorphic Testing
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[149]  arXiv:2012.11319 (cross-list from cs.AI) [pdf]
Title: Conceptual Software Engineering Applied to Movie Scripts and Stories
Authors: Sabah Al-Fedaghi
Comments: 13 pages, 16 figures
Journal-ref: Journal of Computer Science 2020, 16 (12): 1718.1730
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[150]  arXiv:2012.11701 (cross-list from cs.CR) [pdf, other]
Title: Learning from What We Know: How to Perform Vulnerability Prediction using Noisy Historical Data
Comments: The article was accepted in Empirical Software Engineering (EMSE) on July 02, 2022
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[151]  arXiv:2012.13638 (cross-list from cs.LO) [pdf]
Title: A Standard Grammar for Temporal Logics on Finite Traces
Authors: Marco Favorito
Comments: 17 pages
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[152]  arXiv:2012.14086 (cross-list from cs.DC) [pdf]
Title: A Kubernetes Controller for Managing the Availability of Elastic Microservice Based Stateful Applications
Comments: Paper submitted to the Journal of Systems and Software
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[153]  arXiv:2012.14366 (cross-list from cs.AI) [pdf, ps, other]
Title: Counting the Number of Solutions to Constraints
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[154]  arXiv:2012.14406 (cross-list from cs.LG) [pdf, other]
Title: dalex: Responsible Machine Learning with Interactive Explainability and Fairness in Python
Comments: this https URL
Journal-ref: Journal of Machine Learning Research (2021) v. 22(214); pp. 1-7
Subjects: Machine Learning (cs.LG); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE); Machine Learning (stat.ML)
[155]  arXiv:2012.15489 (cross-list from cs.PL) [pdf, other]
Title: TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Comments: accepted by ICSE 2021
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[ total of 155 entries: 1-155 ]
[ showing 155 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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