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

Software Engineering

Authors and titles for cs.SE in Nov 2021

[ total of 110 entries: 1-110 ]
[ showing 110 entries per page: fewer | more ]
[1]  arXiv:2111.00221 [pdf, other]
Title: Chaos Engineering of Ethereum Blockchain Clients
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[2]  arXiv:2111.00222 [pdf]
Title: A Hybrid Software Test Automation for Educational Portals
Journal-ref: INTERNATIONAL JOURNAL OF INNOVATIONS IN ENGINEERING RESEARCH AND TECHNOLOGY, VOLUME 8, ISSUE 8, Aug. -2021
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[3]  arXiv:2111.00580 [pdf]
Title: Text Classification for Task-based Source Code Related Questions
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[4]  arXiv:2111.00933 [pdf, other]
Title: Application-Platform Co-Design for Serverless Data Processing
Comments: Preprint version to be published Proceedings of the 19th International Conference on Service-Oriented Computing
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[5]  arXiv:2111.01097 [pdf, other]
Title: Code2Snapshot: Using Code Snapshots for Learning Representations of Source Code
Comments: 8 pages, 2 figures, 1 table
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[6]  arXiv:2111.01415 [pdf, other]
Title: Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[7]  arXiv:2111.01501 [pdf]
Title: Constructing a software requirements specification and design for electronic IT news magazine system
Comments: 15 pages, 9 figures, 4 tables
Journal-ref: International Journal of Advanced and Applied Sciences, 8(11): 104-118, 2021
Subjects: Software Engineering (cs.SE)
[8]  arXiv:2111.01577 [pdf, other]
Title: Do Names Echo Semantics? A Large-Scale Study of Identifiers Used in C++'s Named Casts
Comments: The manuscript has 21 pages and it contains 22 Figures and a table. The preprint is submitted and currently under review at Journal of Systems and Software Elsevier
Subjects: Software Engineering (cs.SE); Information Theory (cs.IT); Programming Languages (cs.PL)
[9]  arXiv:2111.01631 [pdf, other]
Title: SO{U}RCERER: Developer-Driven Security Testing Framework for Android Apps
Comments: Accepted at the 2021 Automated Software Engineering Conference's Workshop on Advances in Mobile App Analysis (A-Mobile'21)
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2111.01667 [pdf]
Title: International Comparative Studies on the Software Testing Profession
Comments: 6 pages. arXiv admin note: substantial text overlap with arXiv:2103.06343, arXiv:1906.06144
Journal-ref: EEE IT Professional, Volume 23, Issue 5, pp. 56-61, IEEE Press, September/October 2021
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2111.02038 [pdf, other]
Title: Fair-SSL: Building fair ML Software with less data
Journal-ref: International Workshop on Equitable Data and Technology (FairWare 2022 ), May 9, 2022, Pittsburgh, PA, USA
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[12]  arXiv:2111.02317 [pdf, other]
Title: Smells in System User Interactive Tests
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2111.02550 [pdf, ps, other]
Title: Recommendations to clarify NASA open source requirements
Subjects: Software Engineering (cs.SE); Space Physics (physics.space-ph)
[14]  arXiv:2111.02671 [pdf, other]
Title: GraphSearchNet: Enhancing GNNs via Capturing Global Dependency for Semantic Code Search
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[15]  arXiv:2111.03154 [pdf, other]
Title: Automatic Diversity in the Software Supply Chain
Comments: 18 pages, 7 figures, 5 listings, 5 tables
Subjects: Software Engineering (cs.SE)
[16]  arXiv:2111.03196 [pdf, other]
Title: An Empirical Study of the Effectiveness of an Ensemble of Stand-alone Sentiment Detection Tools for Software Engineering Datasets
Journal-ref: ACM Transactions on Software Engineering and Methodology (TOSEM), 2021
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[17]  arXiv:2111.03382 [pdf, other]
Title: Discerning Legitimate Failures From False Alerts: A Study of Chromium's Continuous Integration
Subjects: Software Engineering (cs.SE)
[18]  arXiv:2111.03922 [pdf, ps, other]
Title: Automatic Program Repair with OpenAI's Codex: Evaluating QuixBugs
Subjects: Software Engineering (cs.SE)
[19]  arXiv:2111.04302 [pdf, other]
Title: How Developers and Managers Define and Trade Productivity for Quality
Journal-ref: CHASE 2022: 15th International Conference on Cooperative and Human Aspects of Software Engineering
Subjects: Software Engineering (cs.SE)
[20]  arXiv:2111.04322 [pdf, other]
Title: Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software
Authors: Vanessa Tietz
Subjects: Software Engineering (cs.SE)
[21]  arXiv:2111.04324 [pdf, other]
Title: When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
Subjects: Software Engineering (cs.SE)
[22]  arXiv:2111.04362 [pdf, other]
Title: Is knowledge the key? An experiment on debiasing architectural decision-making -- a pilot study
Comments: PROFES 2021
Subjects: Software Engineering (cs.SE)
[23]  arXiv:2111.04473 [pdf, other]
Title: Senatus -- A Fast and Accurate Code-to-Code Recommendation Engine
Comments: Accepted to MSR 2022
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[24]  arXiv:2111.04507 [pdf]
Title: Ontology-based question answering over corporate structured data
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[25]  arXiv:2111.04666 [pdf]
Title: Machine Learning-based Test Selection for Simulation-based Testing of Self-driving Cars Software
Comments: 39 pages
Subjects: Software Engineering (cs.SE)
[26]  arXiv:2111.04837 [pdf, other]
Title: D$^2$ABS: A Framework for Dynamic Dependence Abstraction of Distributed Programs
Comments: 23 pages, 7 figures, 8 tables
Journal-ref: IEEE Transactions on Software Engineering (TSE), 2021
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
[27]  arXiv:2111.04910 [pdf]
Title: Structure-Behavior Coalescence Process Algebra -- Toward a Unified View of the System in Model-Based Systems Engineering
Authors: William S. Chao
Comments: arXiv admin note: substantial text overlap with arXiv:2110.15526
Subjects: Software Engineering (cs.SE)
[28]  arXiv:2111.04916 [pdf]
Title: Building an AI-ready RSE Workforce
Authors: Ying Zhang (1), Matthew A. Gitzendanner (1), Dan S. Maxwell (1), Justin W. Richardson (1), Kaleb E. Smith (2), Eric A. Stubbs (1), Brian J. Stucky (1), Jingchao Zhang (2), Erik Deumens (1) ((1) University of Florida, (2) NVIDIA)
Comments: 3 pages. Research Software Engineers in HPC Workshop (RSE-HPC-2021) at SC21
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[29]  arXiv:2111.05003 [pdf, other]
Title: An Empirical Study of Automated Unit Test Generation for Python
Comments: 51 pages, submitted to EMSE Special Issue on Advances in Search-Based Software Engineering. arXiv admin note: text overlap with arXiv:2007.14049
Subjects: Software Engineering (cs.SE)
[30]  arXiv:2111.05132 [pdf, other]
Title: BreakBot: Analyzing the Impact of Breaking Changes to Assist Library Evolution
Authors: Lina Ochoa (TU/e), Thomas Degueule (LaBRI), Jean-Rémy Falleri (LaBRI, IUF)
Comments: 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2022, May 2022, Pittsburgh, United States
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2111.05287 [pdf, other]
Title: Test cases as a measurement instrument in experimentation
Comments: Author list fixed
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2111.05290 [pdf, other]
Title: Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Comments: This is the extended version of the paper with the same title published at VMCAI 2022
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[33]  arXiv:2111.05327 [pdf, other]
Title: An adaptive 3D virtual learning environment for training software developers in scrum
Subjects: Software Engineering (cs.SE)
[34]  arXiv:2111.05391 [pdf, ps, other]
Title: Statistical Perspectives on Reliability of Artificial Intelligence Systems
Comments: 40 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Applications (stat.AP)
[35]  arXiv:2111.05649 [pdf, other]
Title: A Comprehensive Evaluation of Android ICC Resolution Techniques
Subjects: Software Engineering (cs.SE)
[36]  arXiv:2111.05711 [pdf, other]
Title: Counterfactual Explanations for Models of Code
Comments: 10 pages, 6 listings, 2 algorithms, 2 tables, 1 figure
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[37]  arXiv:2111.05713 [pdf, ps, other]
Title: Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
Comments: Accepted at the 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021)
Subjects: Software Engineering (cs.SE)
[38]  arXiv:2111.05827 [pdf]
Title: Data-Driven AI Model Signal-Awareness Enhancement and Introspection
Comments: Fixed author email ids
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[39]  arXiv:2111.05999 [pdf, ps, other]
Title: What Does the Post-Moore Era Mean for Research Software Engineering?
Authors: Kazutomo Yoshii
Comments: Research Software Engineers in HPC (RSE-HPC-2021) this https URL
Subjects: Software Engineering (cs.SE)
[40]  arXiv:2111.06193 [pdf]
Title: Agile Information System Development Organizations Transforming to Large-Scale Collaboration
Comments: 18 pages, 5 figures, 2 tables
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[41]  arXiv:2111.06301 [pdf, other]
Title: Developing and Publishing Code for Trusted Research Environments: Best Practices and Ways of Working
Authors: Ed Chalstrey
Subjects: Software Engineering (cs.SE)
[42]  arXiv:2111.06840 [pdf]
Title: Reliability Models for Smartphone Applications
Comments: 25 pages. arXiv admin note: substantial text overlap with arXiv:1910.02452
Journal-ref: 5th Computational Methods in Systems and Software (CoMeSySo 2021), Lecture Notes in Networks and Systems (LNNS 232), pp. 1-25, Springer Nature Switzerland AG, October 2021
Subjects: Software Engineering (cs.SE)
[43]  arXiv:2111.07002 [pdf, other]
Title: Refactoring for Reuse: An Empirical Study
Subjects: Software Engineering (cs.SE)
[44]  arXiv:2111.07101 [pdf]
Title: Reputation Gaming in Stack Overflow
Authors: Iren Mazloomzadeh (1), Gias Udin (2), Foutse Khomh (3), Ashkan Sami (4) ((1) Persian Gulf University, (2) University of Calgary, (3) Polytechnique Montréal, (4) Shiraz University)
Subjects: Software Engineering (cs.SE)
[45]  arXiv:2111.07238 [pdf, other]
Title: FACOS: Finding API Relevant Contents on Stack Overflow with Semantic and Syntactic Analysis
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[46]  arXiv:2111.07538 [html]
Title: Proceedings First Workshop on Applicable Formal Methods
Authors: Mario Gleirscher (University of Bremen), Jaco van de Pol (Aarhus University), Jim Woodcock (University of York)
Journal-ref: EPTCS 349, 2021
Subjects: Software Engineering (cs.SE)
[47]  arXiv:2111.07739 [pdf, other]
Title: Beep: Fine-grained Fix Localization by Learning to Predict Buggy Code Elements
Subjects: Software Engineering (cs.SE)
[48]  arXiv:2111.07752 [pdf]
Title: Parsing Data Formats of the Inputs and Outputs of Geographic Models with Code Analysis
Comments: 22 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[49]  arXiv:2111.07875 [pdf, other]
Title: Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[50]  arXiv:2111.08203 [pdf, ps, other]
Title: Is CADP an Applicable Formal Method?
Comments: In Proceedings AppFM 2021, arXiv:2111.07538
Journal-ref: EPTCS 349, 2021, pp. 1-11
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[51]  arXiv:2111.08312 [pdf, other]
Title: Automated System-Level Software Testing of Industrial Networked Embedded Systems
Comments: This is a compact version of the introduction (kappa) of my doctoral thesis. The public defense will take place at M\"alardalen University, room Gamma (V\"aster{\aa}s Campus) and Teams at 13.15 on November 22, 2021
Subjects: Software Engineering (cs.SE)
[52]  arXiv:2111.08426 [pdf]
Title: Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing
Journal-ref: Proceedings of the 2nd Quantum Software and Engineering Workshop (QSET-21), October 19, 2021, Virtual conference, Vol-3008, 60-65
Subjects: Software Engineering (cs.SE)
[53]  arXiv:2111.08968 [pdf, other]
Title: How a 4-day Work Week affects Agile Software Development Teams
Subjects: Software Engineering (cs.SE)
[54]  arXiv:2111.09143 [pdf, other]
Title: Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system
Comments: 7 pages, 10 figures
Subjects: Software Engineering (cs.SE)
[55]  arXiv:2111.09188 [pdf, other]
Title: Are automated static analysis tools worth it? An investigation into relative warning density and external software quality
Subjects: Software Engineering (cs.SE)
[56]  arXiv:2111.09210 [pdf, other]
Title: The Integrated List of Agile Practices -- A Tertiary Study
Authors: Michael Neumann
Subjects: Software Engineering (cs.SE)
[57]  arXiv:2111.09665 [pdf, other]
Title: A Case Study on Optimization of Platooning Coordination
Subjects: Software Engineering (cs.SE)
[58]  arXiv:2111.09841 [pdf]
Title: Method for representing an exponent in a fifth-dimensional hypercomplex number systems using a hypercomplex computing software
Subjects: Software Engineering (cs.SE); Mathematical Software (cs.MS)
[59]  arXiv:2111.10132 [pdf]
Title: Formal verification of space systems designed with TASTE
Authors: I Dragomir (GMV), M Bozga (VERIMAG - IMAG), Iulian Ober (ISAE-SUPAERO), D Silveira, T Jorge, E Alaña (GMV), M Perrotin (ESTEC)
Journal-ref: ESA's Second Virtual Workshop on Model Based Space Systems and Software Engineering (MBSE2021), Sep 2021, Nordwijk, Netherlands
Subjects: Software Engineering (cs.SE)
[60]  arXiv:2111.10167 [pdf, other]
Title: UEFI virtual machine firmware hardening through snapshots and attack surface reduction
Comments: 7 pages, 2 figures
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[61]  arXiv:2111.10307 [pdf, other]
Title: A privacy-aware zero interaction smart mobility system
Subjects: Software Engineering (cs.SE)
[62]  arXiv:2111.10349 [pdf, other]
Title: Understanding Developers Well-Being and Productivity: A Longitudinal Analysis of the COVID-19 Pandemic
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[63]  arXiv:2111.10426 [pdf, other]
Title: Modeling and Analysis of the Landing Gear System with the Generalized Contracts
Subjects: Software Engineering (cs.SE)
[64]  arXiv:2111.10793 [pdf, other]
Title: Challenging Machine Learning-based Clone Detectors via Semantic-preserving Code Transformations
Subjects: Software Engineering (cs.SE)
[65]  arXiv:2111.10871 [pdf]
Title: A Software Tool for Evaluating Unmanned Autonomous Systems
Journal-ref: The ITEA Journal of Test and Evaluation 41 (3), pp. 188-195, 2020
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Robotics (cs.RO); Systems and Control (eess.SY)
[66]  arXiv:2111.10901 [pdf, other]
Title: Explainable Software Defect Prediction: Are We There Yet?
Subjects: Software Engineering (cs.SE)
[67]  arXiv:2111.11435 [pdf, other]
Title: Precise Learning of Source Code Contextual Semantics via Hierarchical Dependence Structure and Graph Attention Networks
Comments: 17pages, published on Journal of Systems and Software
Journal-ref: Journal of Systems and Software, Volume 184, 2022, 111108, ISSN 0164-1212
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[68]  arXiv:2111.11607 [pdf, other]
Title: Using DevOps Toolchains in Agile Model-Driven Engineering
Authors: Jörn Guy Süß (1), Samantha Swift (1), Eban Escott (1) ((1) Codebots Pty Ltd.)
Subjects: Software Engineering (cs.SE)
[69]  arXiv:2111.11807 [pdf, other]
Title: RepoMiner: a Language-agnostic Python Framework to Mine Software Repositories for Defect Prediction
Subjects: Software Engineering (cs.SE)
[70]  arXiv:2111.11904 [pdf, other]
Title: Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
Subjects: Software Engineering (cs.SE)
[71]  arXiv:2111.12204 [pdf, other]
Title: The Reproducibility of Programming-Related Issues in Stack Overflow Questions
Comments: This study has been accepted for publication in Empirical Software Engineering EMSE) journal
Subjects: Software Engineering (cs.SE)
[72]  arXiv:2111.12513 [pdf, other]
Title: FLACOCO: Fault Localization for Java based on Industry-grade Coverage
Comments: 4 pages, tool paper, demo available under this https URL, code available under this https URL
Subjects: Software Engineering (cs.SE)
[73]  arXiv:2111.13962 [pdf]
Title: Leveraging Unsupervised Learning to Summarize APIs Discussed in Stack Overflow
Journal-ref: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021, pp. 142-152
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[74]  arXiv:2111.14139 [pdf, other]
Title: Semantic Code Search for Smart Contracts
Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR)
[75]  arXiv:2111.14142 [pdf, other]
Title: Agility in Software 2.0 -- Notebook Interfaces and MLOps with Buttresses and Rebars
Authors: Markus Borg
Comments: Preprint of paper accompanying keynote address at the 6th International Conference on Lean and Agile Software Development (Jan 22, 2022)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[76]  arXiv:2111.14183 [pdf, other]
Title: Code Clone Detection based on Event Embedding and Event Dependency
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[77]  arXiv:2111.14453 [pdf, other]
Title: Enhancing syntax expressiveness in domain-specific modelling
Subjects: Software Engineering (cs.SE)
[78]  arXiv:2111.14583 [pdf, other]
Title: Standing on Shoulders or Feet? An Extended Study on the Usage of the MSR Data Papers
Comments: journal article, 35 pages, 7 figures, 6 tables
Journal-ref: Empirical Software Engineering 25 (5), 3288-3322, 2020
Subjects: Software Engineering (cs.SE)
[79]  arXiv:2111.15285 [pdf, other]
Title: Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[80]  arXiv:2111.15293 [pdf, other]
Title: The Impact of Considering Human Values during Requirements Engineering Activities
Comments: 17 pages, 8 images, 5 tables
Subjects: Software Engineering (cs.SE)
[81]  arXiv:2111.15338 [pdf, other]
Title: A Semi-automated Method for Domain-Specific Ontology Creation from Medical Guidelines
Comments: Published at EMMSAD 2022
Subjects: Software Engineering (cs.SE)
[82]  arXiv:2111.15662 [pdf, other]
Title: HOTTBOX: Higher Order Tensor ToolBOX
Subjects: Mathematical Software (cs.MS); Signal Processing (eess.SP)
[83]  arXiv:2111.00218 (cross-list from cs.LO) [pdf, ps, other]
Title: A Non-Deterministic Multiset Query Language
Comments: 40 pages, version edited by Fundamenta Informaticae
Journal-ref: Fundamenta Informaticae, Volume 184, Issue 2 (January 13, 2022) fi:8950
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[84]  arXiv:2111.00799 (cross-list from cs.CY) [pdf, other]
Title: Challenging but Full of Opportunities: Teachers' Perspectives on Programming in Primary Schools
Comments: To be published in the Proceedings of the 21st Koli Calling International Conference on Computing Education Research (Koli Calling 2021)
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[85]  arXiv:2111.01406 (cross-list from cs.CR) [pdf, ps, other]
Title: Dazed and Confused: What's Wrong with Crypto Libraries?
Comments: 18th Annual International Conference on Privacy, Security and Trust (PST2021)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[86]  arXiv:2111.02374 (cross-list from cs.LG) [pdf, other]
Title: Can I use this publicly available dataset to build commercial AI software? -- A Case Study on Publicly Available Image Datasets
Comments: This is revised version of the paper with updated co-authors
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[87]  arXiv:2111.02524 (cross-list from cs.DC) [pdf, other]
Title: TOSCAdata: Modelling data pipeline applications in TOSCA
Comments: This is accepted (In Press, Journal Pre-proof version) by JSS-SI on Software Architecture and Artificial Intelligence
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[88]  arXiv:2111.02853 (cross-list from cs.AI) [pdf]
Title: Big Data Testing Techniques: Taxonomy, Challenges and Future Trends
Comments: 32 pages
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[89]  arXiv:2111.03601 (cross-list from cs.CR) [pdf]
Title: Security Header Fields in HTTP Clients
Comments: The 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[90]  arXiv:2111.03753 (cross-list from cs.DC) [pdf, other]
Title: CloudRCA: A Root Cause Analysis Framework for Cloud Computing Platforms
Comments: Accepted by CIKM 2021; 10 pages, 3 figures, 12 tables
Journal-ref: 30th ACM International Conference on Information and Knowledge Management (CIKM 2021)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Software Engineering (cs.SE); Signal Processing (eess.SP)
[91]  arXiv:2111.03782 (cross-list from cs.LO) [pdf, ps, other]
Title: Confidence Composition for Monitors of Verification Assumptions
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[92]  arXiv:2111.03865 (cross-list from cs.CR) [pdf, other]
Title: Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[93]  arXiv:2111.04259 (cross-list from cs.PL) [pdf, ps, other]
Title: OpenMP aware MHP Analysis for Improved Static Data-Race Detection
Comments: Accepted at LLVM-HPC'21
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[94]  arXiv:2111.05534 (cross-list from cs.RO) [pdf, other]
Title: Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Authors: Chiao Hsieh (1), Keyur Joshi (1), Sasa Misailovic (1), Sayan Mitra (1) ((1) University of Illinois at Urbana-Champaign)
Comments: 12 pages, 9 figures, submitted to HSCC 2022
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[95]  arXiv:2111.05770 (cross-list from cs.CR) [pdf, ps, other]
Title: Symbolic Security Predicates: Hunt Program Weaknesses
Journal-ref: 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021, pp. 76-85
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[96]  arXiv:2111.05781 (cross-list from cs.CR) [pdf, ps, other]
Title: MAJORCA: Multi-Architecture JOP and ROP Chain Assembler
Journal-ref: 2021 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE, 2021, pp. 37-46
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[97]  arXiv:2111.06002 (cross-list from cs.CR) [pdf, other]
Title: SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel
Comments: 17 pages, 9 figures; accepted to USENIX Security 2022
Journal-ref: 31st USENIX Security Symposium (USENIX Security 2022)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[98]  arXiv:2111.08204 (cross-list from cs.FL) [pdf, other]
Title: Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Authors: Andrea Bombarda (University of Bergamo), Silvia Bonfanti (University of Bergamo), Angelo Gargantini (University of Bergamo), Elvinia Riccobene (University of Milano)
Comments: In Proceedings AppFM 2021, arXiv:2111.07538
Journal-ref: EPTCS 349, 2021, pp. 13-29
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[99]  arXiv:2111.08205 (cross-list from cs.LO) [pdf, ps, other]
Title: A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
Authors: Lorenzo Capra (Dipartimento di Informatica, Università degli Studi di Milano)
Comments: In Proceedings AppFM 2021, arXiv:2111.07538
Journal-ref: EPTCS 349, 2021, pp. 31-49
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[100]  arXiv:2111.08207 (cross-list from cs.LO) [pdf, other]
Title: F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails
Authors: Yu-Shan Sun (Clemson University), Daniel Welch (Pennsylvania State University), Murali Sitaraman (Clemson University)
Comments: In Proceedings AppFM 2021, arXiv:2111.07538
Journal-ref: EPTCS 349, 2021, pp. 51-67
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[101]  arXiv:2111.08684 (cross-list from cs.HC) [pdf, other]
Title: Understanding How Programmers Can Use Annotations on Documentation
Comments: Conditionally accepted for publication at CHI '22
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[102]  arXiv:2111.09478 (cross-list from cs.AI) [pdf, other]
Title: Software Engineering for Responsible AI: An Empirical Study and Operationalised Patterns
Comments: Submitted to ICSE SEIP 2022
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[103]  arXiv:2111.09625 (cross-list from cs.CR) [pdf, other]
Title: InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
Comments: 11 pages, sent to Software Engineering in Practice track at ICSE'2022
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[104]  arXiv:2111.09728 (cross-list from cs.PL) [pdf, other]
Title: Measuring source code conciseness across programming languages using compression
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[105]  arXiv:2111.11612 (cross-list from cs.CR) [pdf]
Title: Developments in Connected Vehicles and the Requirement for Increased Cybersecurity
Comments: Presented at the Irish Transport Research Network (ITRN) 2021 Conference, Limerick, Ireland. 26th & 27th August 2021. 7 pages, 1 figure
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[106]  arXiv:2111.12111 (cross-list from cs.RO) [pdf, other]
Title: Context-based navigation for ground mobile robot in a semi-structured indoor environment
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[107]  arXiv:2111.12184 (cross-list from cs.HC) [pdf, other]
Title: Style-Guided Web Application Exploration
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[108]  arXiv:2111.12423 (cross-list from cs.CR) [pdf, other]
Title: xFuzz: Machine Learning Guided Cross-Contract Fuzzing
Comments: IEEE Transactions on Dependable and Secure Computing (2022)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[109]  arXiv:2111.13323 (cross-list from cs.HC) [pdf, other]
Title: Who, What, Why and How? Towards the Monetary Incentive in Crowd Collaboration: A Case Study of Github's Sponsor Mechanism
Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[110]  arXiv:2111.15592 (cross-list from cs.CV) [pdf, other]
Title: MapReader: A Computer Vision Pipeline for the Semantic Exploration of Maps at Scale
Comments: 13 pages, 9 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[ total of 110 entries: 1-110 ]
[ showing 110 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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