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

Software Engineering

Authors and titles for cs.SE in Nov 2021, skipping first 75

[ total of 110 entries: 1-50 | 26-75 | 76-110 ]
[ showing 50 entries per page: fewer | more | all ]
[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-50 | 26-75 | 76-110 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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