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

Software Engineering

Authors and titles for cs.SE in Dec 2020, skipping first 100

[ total of 155 entries: 1-50 | 51-100 | 101-150 | 151-155 ]
[ showing 50 entries per page: fewer | more | all ]
[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)
[ 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, 2212, contact, help  (Access key information)