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

Disable MathJax (What is MathJax?)

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