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

Software Engineering

Authors and titles for cs.SE in Jul 2021, skipping first 125

[ total of 161 entries: 1-50 | 26-75 | 76-125 | 126-161 ]
[ showing 50 entries per page: fewer | more | all ]
[126]  arXiv:2107.13723 [pdf, other]
Title: An Empirical Study of Developers' Discussions about Security Challenges of Different Programming Languages
Comments: To be published in EMSE
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[127]  arXiv:2107.14096 [pdf]
Title: A Pairwise T-Way Test Suite Generation Strategy Using Gravitational Search Algorithm
Comments: Accepted for publication in IEEE Xplore Subject: International Conference on Artificial Intelligence and Computer Science Technology(ICAICST 2021), 6 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[128]  arXiv:2107.14272 [pdf]
Title: Distributed Smart Measurement Architecture for Industrial Automation
Subjects: Software Engineering (cs.SE)
[129]  arXiv:2107.00101 (cross-list from cs.PL) [pdf, other]
Title: Latent Execution for Neural Program Synthesis
Comments: Published in NeurIPS 2021
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[130]  arXiv:2107.00613 (cross-list from cs.PL) [pdf, other]
Title: EqFix: Fixing LaTeX Equation Errors by Examples
Authors: Fengmin Zhu, Fei He
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[131]  arXiv:2107.01624 (cross-list from cs.CY) [pdf, other]
Title: Implicit Gender Bias in Computer Science -- A Qualitative Study
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[132]  arXiv:2107.01965 (cross-list from cs.DB) [pdf, other]
Title: Managing Knowledge in Energy Data Spaces
Comments: Based on the article Valentina Janev, Maria-Esther Vidal, Kemele M. Endris, Dea Pujic: Managing Knowledge in Energy Data Spaces. WWW (Companion Volume) 2021: 7-15
Subjects: Databases (cs.DB); Software Engineering (cs.SE)
[133]  arXiv:2107.02096 (cross-list from cs.CR) [pdf, other]
Title: An Empirical Analysis of Practitioners' Perspectives on Security Tool Integration into DevOps
Comments: [v3] Camera-ready version (with a few improvements)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[134]  arXiv:2107.03876 (cross-list from cs.AI) [pdf, other]
Title: Bootstrapping Generalization of Process Models Discovered From Event Data
Comments: 16 pages
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[135]  arXiv:2107.04164 (cross-list from cs.AI) [pdf, other]
Title: Parallel and Multi-Objective Falsification with Scenic and VerifAI
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[136]  arXiv:2107.04863 (cross-list from cs.LG) [pdf, other]
Title: HOMRS: High Order Metamorphic Relations Selector for Deep Neural Networks
Comments: 33 pages
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[137]  arXiv:2107.05493 (cross-list from cs.LO) [pdf, other]
Title: Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant
Authors: Nicolas Magaud (ICube - Université de Strasbourg)
Comments: In Proceedings PxTP 2021, arXiv:2107.01544
Journal-ref: EPTCS 336, 2021, pp. 40-47
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[138]  arXiv:2107.05679 (cross-list from cs.PL) [pdf, other]
Title: Teaching Design by Contract using Snap!
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[139]  arXiv:2107.05761 (cross-list from cs.MS) [pdf, other]
Title: Faster Math Functions, Soundly
Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE)
[140]  arXiv:2107.06009 (cross-list from cs.CY) [pdf, other]
Title: Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform
Comments: 5 pages, 2 figures
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[141]  arXiv:2107.06260 (cross-list from cs.RO) [pdf, other]
Title: OpenCDA:An Open Cooperative Driving Automation Framework Integrated with Co-Simulation
Comments: Accepted by ITSC2021
Journal-ref: 2021 IEEE Intelligent Transportation Systems Conference (ITSC)
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[142]  arXiv:2107.06664 (cross-list from cs.OH) [pdf]
Title: EnergySaver Software Manual
Comments: 8 pages, in Portuguese, 21 figures
Subjects: Other Computer Science (cs.OH); Software Engineering (cs.SE)
[143]  arXiv:2107.06732 (cross-list from cs.CY) [pdf, other]
Title: Opportunities and challenges of Blockchain-Oriented systems in the tourism industry
Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[144]  arXiv:2107.06997 (cross-list from cs.LG) [pdf, other]
Title: DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Comments: To be published in Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '21), July 11-17, 2021, Virtual, Denmark. ACM, New York, NY, USA, 12 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[145]  arXiv:2107.07065 (cross-list from cs.CR) [pdf, other]
Title: Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques
Comments: 18 pages, 2 figures, 2 tables; paper accepted to appear in IEEE S&P 2022
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[146]  arXiv:2107.07217 (cross-list from cs.NI) [pdf, other]
Title: Dynamic Link Network Emulation: a Model-based Design
Comments: 8 pages, as submitted to the 17th International Conference on Evaluation of Novel Approaches to Software Engineering
Subjects: Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)
[147]  arXiv:2107.07255 (cross-list from eess.SY) [pdf, other]
Title: PHiLIP on the HiL: Automated Multi-platform OS Testing with External Reference Devices
Subjects: Systems and Control (eess.SY); Operating Systems (cs.OS); Software Engineering (cs.SE)
[148]  arXiv:2107.08066 (cross-list from cs.LG) [pdf, other]
Title: LeanML: A Design Pattern To Slash Avoidable Wastes in Machine Learning Projects
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE); Machine Learning (stat.ML)
[149]  arXiv:2107.08148 (cross-list from cs.LG) [pdf, other]
Title: Declarative Machine Learning Systems
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[150]  arXiv:2107.10533 (cross-list from cs.CR) [pdf, other]
Title: CGuard: Efficient Spatial Safety for C
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)
[151]  arXiv:2107.10675 (cross-list from cs.DS) [pdf, other]
Title: Theory and Practice of Algorithm Engineering
Subjects: Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE)
[152]  arXiv:2107.10989 (cross-list from cs.LG) [pdf, other]
Title: Estimating Predictive Uncertainty Under Program Data Distribution Shift
Comments: 12 pages, 3 figures
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[153]  arXiv:2107.12045 (cross-list from cs.LG) [pdf, other]
Title: How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review
Comments: 60 pages (92 pages with references and complements), submitted to a journal (Automated Software Engineering). Changes: Emphasizing difference traditional software engineering / ML approach. Adding Related Works, Threats to Validity and Complementary Materials. Adding a table listing papers reference for each section/subsections
Journal-ref: Autom Softw Eng 29, 38 (2022)
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[154]  arXiv:2107.12322 (cross-list from cs.LG) [pdf, other]
Title: MLDev: Data Science Experiment Automation and Reproducibility Software
Comments: 11 pages, 2 figures
Subjects: Machine Learning (cs.LG); Mathematical Software (cs.MS); Software Engineering (cs.SE)
[155]  arXiv:2107.12867 (cross-list from cs.PL) [pdf, other]
Title: From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware
Comments: 18 pages, 4 figures, Network and Distributed Systems Security (NDSS) Symposium 2021
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[156]  arXiv:2107.13320 (cross-list from cs.DC) [pdf, other]
Title: A Case Study on the Stability of Performance Tests for Serverless Applications
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[157]  arXiv:2107.13404 (cross-list from cs.CR) [pdf, other]
Title: XFL: eXtreme Function Labeling
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG); Software Engineering (cs.SE)
[158]  arXiv:2107.13491 (cross-list from cs.LG) [pdf, other]
Title: Models of Computational Profiles to Study the Likelihood of DNN Metamorphic Test Cases
Comments: 9 pages (10 pages with ref.)
Journal-ref: Published in iMLSE 2020 2nd International Workshop on Machine Learning Systems Engineering https://sig-mlse.wixsite.com/imlse2020
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[159]  arXiv:2107.13821 (cross-list from cs.LG) [pdf, other]
Title: Concept for a Technical Infrastructure for Management of Predictive Models in Industrial Applications
Comments: International Conference on Computer Aided Systems Theory, Eurocast 2019, pp 263-270
Journal-ref: In: Moreno-D\'iaz R. et al (eds) Computer Aided Systems Theory. Lecture Notes in Computer Science, Vol. 12013 (2020)
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[160]  arXiv:2107.14093 (cross-list from cs.CY) [pdf, other]
Title: A Decision Model for Decentralized Autonomous Organization Platform Selection: Three Industry Case Studies
Authors: Elena Baninemeh (1), Siamak Farshidi (2), Slinger Jansen (1) ((1) Department of Information and Computer Science at Utrecht University, Utrecht, the Netherlands, (2) Informatics Institute at University of Amsterdam, Amsterdam, the Netherlands)
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[161]  arXiv:2107.14142 (cross-list from cs.CR) [pdf]
Title: Zero-knowledge Based Proof-chain -- A methodology for blockchain-partial system
Authors: Yuqi Bai, Lei Luo
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[ total of 161 entries: 1-50 | 26-75 | 76-125 | 126-161 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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