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-25 | ... | 51-75 | 76-100 | 101-125 | 126-150 | 151-161 ]
[ showing 25 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)
[ total of 161 entries: 1-25 | ... | 51-75 | 76-100 | 101-125 | 126-150 | 151-161 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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