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

Software Engineering

Authors and titles for cs.SE in Apr 2021, skipping first 155

[ total of 187 entries: 1-50 | 6-55 | 56-105 | 106-155 | 156-187 ]
[ showing 50 entries per page: fewer | more | all ]
[156]  arXiv:2104.00452 (cross-list from cs.AI) [pdf, other]
Title: Semantic XAI for contextualized demand forecasting explanations
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[157]  arXiv:2104.00634 (cross-list from cs.CR) [pdf, other]
Title: Security and Machine Learning Adoption in IoT: A Preliminary Study of IoT Developer Discussions
Authors: Gias Uddin
Journal-ref: 2021 3rd International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[158]  arXiv:2104.00822 (cross-list from cs.CR) [pdf, other]
Title: A Formal Analysis of the MimbleWimble Cryptocurrency Protocol
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[159]  arXiv:2104.00983 (cross-list from cs.AI) [pdf, other]
Title: STARdom: an architecture for trusted and secure human-centered manufacturing systems
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[160]  arXiv:2104.01024 (cross-list from cs.LG) [pdf, other]
Title: A Comparison of Similarity Based Instance Selection Methods for Cross Project Defect Prediction
Comments: The 36th ACM/SIGAPP Symposium on Applied Computing (SAC'21), 10 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[161]  arXiv:2104.01667 (cross-list from cs.LO) [pdf, other]
Title: A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory
Authors: René Haberland
Comments: 209 pages, 97 figures, 6 appendices
Journal-ref: Dissertation, Thesis, 2017
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[162]  arXiv:2104.01854 (cross-list from eess.SY) [pdf, other]
Title: Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins
Authors: Seppo Sierla (1), Mohammad Azangoo (1), Alexander Fay (2), Valeriy Vyatkin (1 and 3), Nikolaos Papakonstantinou (4) ((1) Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland, (2) Department of Automation Engineering, Helmut Schmidt University, Hamburg, Germany, (3) Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, Luleå, Sweden, (4) VTT Technical Research Centre of Finland Ltd, Espoo, Finland)
Comments: 8 pages, 13 figures
Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Software Engineering (cs.SE)
[163]  arXiv:2104.01929 (cross-list from cs.DC) [pdf]
Title: Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)
[164]  arXiv:2104.02612 (cross-list from cs.CR) [pdf, other]
Title: ASTANA: Practical String Deobfuscation for Android Applications Using Program Slicing
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[165]  arXiv:2104.02712 (cross-list from cs.OH) [pdf, other]
Title: Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications
Subjects: Other Computer Science (cs.OH); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[166]  arXiv:2104.03075 (cross-list from cs.DC) [pdf, other]
Title: Serverless Predictions: 2021-2030
Comments: arXiv admin note: text overlap with arXiv:2006.01251
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[167]  arXiv:2104.03780 (cross-list from cs.AR) [pdf, other]
Title: Enabling Cross-Domain Communication: How to Bridge the Gap between AI and HW Engineers
Comments: LATTE 2021 Workshop on Languages, Tools, and Techniques for Accelerator Design
Subjects: Hardware Architecture (cs.AR); Computation and Language (cs.CL); Software Engineering (cs.SE)
[168]  arXiv:2104.03820 (cross-list from cs.HC) [pdf, other]
Title: Perfection Not Required? Human-AI Partnerships in Code Translation
Comments: 18 pages, 1 figure. To be published in IUI 2021
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[169]  arXiv:2104.04087 (cross-list from cs.CL) [pdf, other]
Title: A Sketch-Based Neural Model for Generating Commit Messages from Diffs
Comments: submitted at ASE 2019
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[170]  arXiv:2104.04999 (cross-list from cs.LG) [pdf, other]
Title: ALT-MAS: A Data-Efficient Framework for Active Testing of Machine Learning Algorithms
Comments: Accepted to the RobustML workshop at ICLR 2021
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Machine Learning (stat.ML)
[171]  arXiv:2104.05438 (cross-list from cs.LO) [pdf, ps, other]
Title: Actors -- A Process Algebra Based Approach
Authors: Yong Wang
Comments: 143 pages, 12 figures, 29 tables. arXiv admin note: text overlap with arXiv:2101.05140
Subjects: Logic in Computer Science (cs.LO)
[172]  arXiv:2104.05626 (cross-list from cs.SI) [pdf, other]
Title: Towards Collaborative Mobile Crowdsourcing
Comments: 8 pages, 5 figures. Accepted for Publication in IEEE Internet-of-Things Magazine (IoT-M)
Subjects: Social and Information Networks (cs.SI); Software Engineering (cs.SE)
[173]  arXiv:2104.06178 (cross-list from cs.RO) [pdf, other]
Title: Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Comments: 18 pages + 15 page Appendix, 11 figures
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Systems and Control (eess.SY)
[174]  arXiv:2104.06220 (cross-list from cs.AI) [pdf, other]
Title: Agents for Automated User Experience Testing
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[175]  arXiv:2104.06509 (cross-list from cs.RO) [pdf]
Title: Automatic Assembly Planning based on Digital Product Descriptions
Journal-ref: Computers in Industry (2018) vol. 97, pp: 34-46
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[176]  arXiv:2104.07899 (cross-list from cs.CR) [pdf, other]
Title: SecDocker: Hardening the Continuous Integration Workflow
Comments: Preprint: 15 pages, 5 figures, 2 tables. Public repository: this https URL
Journal-ref: SN COMPUT. SCI. 3, 80 (2022)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[177]  arXiv:2104.08130 (cross-list from cs.LO) [pdf, ps, other]
Title: $\{log\}$: Set Formulas as Programs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[178]  arXiv:2104.09020 (cross-list from cs.CR) [pdf]
Title: On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility
Comments: Conference paper, 8 pages, 11 figures, 1 table
Journal-ref: Proceedings of the 16th International Conference on Industrial Informatics (INDIN2018). Porto, Portugal, IEEE Computer Society Press, pp.778-785
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[179]  arXiv:2104.09225 (cross-list from cs.AI) [pdf]
Title: Multi-context Attention Fusion Neural Network for Software Vulnerability Identification
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[180]  arXiv:2104.09948 (cross-list from cs.PL) [pdf, other]
Title: A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[181]  arXiv:2104.10042 (cross-list from cs.DC) [pdf]
Title: A Brief Overview of the UML Scientific Profile
Comments: 6 pages, 3 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL); Software Engineering (cs.SE)
[182]  arXiv:2104.11230 (cross-list from cs.CR) [pdf, ps, other]
Title: Literature review on vulnerability detection using NLP technology
Authors: Jiajie Wu
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[183]  arXiv:2104.11351 (cross-list from cs.RO) [pdf, other]
Title: Towards Automated Acceptance testing for industrial robots
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[184]  arXiv:2104.12538 (cross-list from cs.CY) [pdf]
Title: Exponential Competence of Computer Science and Software Engineering Undergraduate Students
Authors: Orit Hazzan
Comments: 5 pages
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[185]  arXiv:2104.12545 (cross-list from cs.CY) [pdf, ps, other]
Title: Agile (data) science: a (draft) manifesto
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[186]  arXiv:2104.13295 (cross-list from cs.CR) [pdf, other]
Title: Metamorphic Detection of Repackaged Malware
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[187]  arXiv:2104.13434 (cross-list from cs.FL) [pdf, other]
Title: Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
Comments: arXiv admin note: substantial text overlap with arXiv:2008.06935
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[ total of 187 entries: 1-50 | 6-55 | 56-105 | 106-155 | 156-187 ]
[ 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)