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

Software Engineering

Authors and titles for cs.SE in Dec 2021

[ total of 154 entries: 1-154 ]
[ showing 154 entries per page: fewer | more ]
[1]  arXiv:2112.00646 [pdf, other]
Title: Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
Comments: Submitted, under review
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)
[2]  arXiv:2112.00699 [pdf]
Title: BERT_SE: A Pre-trained Language Representation Model for Software Engineering
Journal-ref: In D. C. Wyld and D. Nagamalai (Ed.), NLPTA 2021. v.11, n.19, 2021, 115-130
Subjects: Software Engineering (cs.SE)
[3]  arXiv:2112.00858 [pdf, other]
Title: Common Bugs in Scratch Programs
Comments: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education (pp. 89-95)
Subjects: Software Engineering (cs.SE)
[4]  arXiv:2112.00964 [pdf, other]
Title: A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)
[5]  arXiv:2112.01218 [pdf, other]
Title: GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses
Subjects: Software Engineering (cs.SE)
[6]  arXiv:2112.01259 [pdf, other]
Title: Borrowing from Similar Code: A Deep Learning NLP-Based Approach for Log Statement Automation
Comments: 27 pages
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[7]  arXiv:2112.01315 [pdf, other]
Title: A Generator Framework For Evolving Variant-Rich Software
Comments: 9 pages, 5 figures
Subjects: Software Engineering (cs.SE)
[8]  arXiv:2112.01317 [pdf, other]
Title: Monolith to Microservices: Representing Application Software through Heterogeneous Graph Neural Network
Comments: The paper has been accepted for publication at IJCAI-ECAI 2022 (main research track)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[9]  arXiv:2112.01538 [pdf, other]
Title: Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach
Authors: Yeshayahu Weiss
Comments: 31 pages, 7 figures
Subjects: Software Engineering (cs.SE)
[10]  arXiv:2112.01581 [pdf, other]
Title: On the Documentation of Refactoring Types
Comments: arXiv admin note: text overlap with arXiv:2009.09279
Subjects: Software Engineering (cs.SE)
[11]  arXiv:2112.01590 [pdf, other]
Title: The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large
Journal-ref: ICSE 2022: The 44th International Conference on Software Engineering
Subjects: Software Engineering (cs.SE)
[12]  arXiv:2112.01598 [pdf, other]
Title: Faster Multi-Goal Simulation-Based Testing Using DoLesS (Domination with Least Square Approximation)
Comments: 10 pages, 4 figures, 6 tables. Submitted to ICSE 2022
Subjects: Software Engineering (cs.SE)
[13]  arXiv:2112.01635 [pdf]
Title: A Grounded Theory Based Approach to Characterize Software Attack Surfaces
Comments: This paper has been accepted in the IEEE/ACM International Conference on Software Engineering (ICSE 2022) and is going to be published. Please feel free to cite it
Subjects: Software Engineering (cs.SE)
[14]  arXiv:2112.01644 [pdf]
Title: Systematically reviewing the layered architectural pattern principles and their use to reconstruct software architectures
Comments: 30 pages
Subjects: Software Engineering (cs.SE)
[15]  arXiv:2112.01771 [pdf, other]
Title: Characterizing Performance Bugs in Deep Learning Systems
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[16]  arXiv:2112.02043 [pdf, ps, other]
Title: Multilingual training for Software Engineering
Comments: Accepted at International Conference on Software Engineering (ICSE-2022)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[17]  arXiv:2112.02240 [pdf, other]
Title: TRACER: Finding Patches for Open Source Software Vulnerabilities
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[18]  arXiv:2112.02268 [pdf, other]
Title: Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding
Comments: Accepted to the 44th International Conference on Software Engineering (ICSE 2022)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[19]  arXiv:2112.02650 [pdf, other]
Title: VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
Comments: Accepted by ICSE 2022
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG); Programming Languages (cs.PL)
[20]  arXiv:2112.02758 [pdf, other]
Title: A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest
Comments: 4 pages, ICSE '22 (tool demo track)
Journal-ref: International Conference on Software Engineering, ICSE 2022. ACM/IEEE, ACM, May 2022
Subjects: Software Engineering (cs.SE)
[21]  arXiv:2112.02807 [pdf, other]
Title: MDPFuzz: Testing Models Solving Markov Decision Processes
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[22]  arXiv:2112.02819 [pdf, other]
Title: Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[23]  arXiv:2112.02963 [pdf, other]
Title: Hyperstyle: A Tool for Assessing the Code Quality of Solutions to Programming Assignments
Comments: 7 pages, 3 figures
Subjects: Software Engineering (cs.SE)
[24]  arXiv:2112.02969 [pdf, other]
Title: Jigsaw: Large Language Models meet Program Synthesis
Comments: Accepted to ICSE'22
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[25]  arXiv:2112.03395 [pdf, other]
Title: Manas: Mining Software Repositories to Assist AutoML
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[26]  arXiv:2112.03426 [pdf]
Title: A Survey of Verification, Validation and Testing Solutions for Smart Contracts
Comments: 8 pages, 3 tables, The Third IEEE International Conference on Blockchain Computing and Applications (BCCA 2021)
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
[27]  arXiv:2112.03619 [pdf, other]
Title: IntelliTC: Automating Type Changes in IntelliJ IDEA
Comments: 5 pages, 4 figures
Subjects: Software Engineering (cs.SE)
[28]  arXiv:2112.04036 [pdf, other]
Title: DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs
Comments: Accepted at ICSE 2022
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[29]  arXiv:2112.04128 [pdf, other]
Title: GIFdroid: Automated Replay of Visual Bug Reports for Android Apps
Comments: Accepted to 44th International Conference on Software Engineering (ICSE 2022)
Subjects: Software Engineering (cs.SE)
[30]  arXiv:2112.04251 [pdf, other]
Title: FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
Comments: 22 pages, 3 figures
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[31]  arXiv:2112.04374 [pdf, other]
Title: Dependability Engineering in Isabelle
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[32]  arXiv:2112.04384 [pdf, ps, other]
Title: Reproducing software environments: a prerequisite for reproducible research
Authors: Ludovic Courtès (SED)
Comments: in French
Journal-ref: 1024 : Bulletin de la Soci{\'e}t{\'e} Informatique de France, Soci{\'e}t{\'e} Informatique de France, 2021, pp.15-22
Subjects: Software Engineering (cs.SE); Operating Systems (cs.OS)
[33]  arXiv:2112.04778 [pdf]
Title: Justifying the Dependability and Security of Business-Critical Blockchain-based Applications
Comments: 8 pages, 6 figures, The Third IEEE International Conference on Blockchain Computing and Applications (BCCA 2021)
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
[34]  arXiv:2112.04919 [pdf, ps, other]
Title: A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests
Subjects: Software Engineering (cs.SE)
[35]  arXiv:2112.05358 [pdf]
Title: MOBAFS: A Multi Objective Bee Algorithm for Feature subset selection in Software Product Lines
Subjects: Software Engineering (cs.SE)
[36]  arXiv:2112.05411 [pdf, other]
Title: Compositional Test Generation of Industrial Synchronous Systems
Comments: 22 pages, 5 figures, 2 tables. Rejected from VMCAI 2021
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[37]  arXiv:2112.05528 [pdf]
Title: Improving Productivity through Corporate Hackathons: A Multiple Case Study of Two Large-scale Agile Organizations
Comments: Accepted to HICCS-55
Subjects: Software Engineering (cs.SE)
[38]  arXiv:2112.05549 [pdf]
Title: Combining Design Thinking and Software Requirements Engineering to create Human-centered Software-intensive Systems
Comments: Introductory chapter to the edited book on "Design Thinking for Software Engineering - Creating Human-oriented Software- intensive Products and Services". To appear in 2022
Subjects: Software Engineering (cs.SE)
[39]  arXiv:2112.05567 [pdf, other]
Title: Test-Case Generation for Finding Neural Network Bugs
Comments: Reference to Hypothesis changed
Subjects: Software Engineering (cs.SE)
[40]  arXiv:2112.06186 [pdf, other]
Title: Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks
Comments: International Conference on Software Engineering (ICSE), 2022
Subjects: Software Engineering (cs.SE)
[41]  arXiv:2112.06198 [pdf, other]
Title: Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems
Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1908.11179
Subjects: Software Engineering (cs.SE)
[42]  arXiv:2112.06222 [pdf, other]
Title: Demystifying Developers' Issues in Distributed Training of Deep Learning Software
Subjects: Software Engineering (cs.SE)
[43]  arXiv:2112.06233 [pdf, ps, other]
Title: A simple proof of three properties on Simpson's 4-slot Algorithm
Authors: Xu Wang, Qiwen Xu
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[44]  arXiv:2112.06610 [pdf, other]
Title: From Anecdote to Evidence: The Relationship Between Personality and Need for Cognition of Developers
Journal-ref: Empirical Software Engineering, 2022
Subjects: Software Engineering (cs.SE)
[45]  arXiv:2112.06617 [pdf, ps, other]
Title: (R)SE challenges in HPC
Comments: 2 pages, whitepaper for the RSE-HPC-2021 workshop on the SC'21, this https URL
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Performance (cs.PF)
[46]  arXiv:2112.06874 [pdf, other]
Title: Software Micro-Rejuvenation for Android Mobile Systems
Comments: Accepted for publication in Elsevier Journal of Systems and Software
Subjects: Software Engineering (cs.SE)
[47]  arXiv:2112.06875 [pdf, other]
Title: Virtualizing Mixed-Criticality Systems: A Survey on Industrial Trends and Issues
Comments: Accepted for publication in Elsevier Future Generation Computer Systems
Subjects: Software Engineering (cs.SE); Operating Systems (cs.OS)
[48]  arXiv:2112.06883 [pdf, other]
Title: A Methodology for a Scalable, Collaborative, and Resource-Efficient Platform to Facilitate Healthcare AI Research
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)
[49]  arXiv:2112.07179 [pdf]
Title: Blockchain Developments and Innovations
Subjects: Software Engineering (cs.SE)
[50]  arXiv:2112.07279 [pdf, other]
Title: The Interaction between Inputs and Configurations fed to Software Systems: an Empirical Study
Comments: 24 pages
Subjects: Software Engineering (cs.SE)
[51]  arXiv:2112.07303 [pdf, other]
Title: MMO: Meta Multi-Objectivization for Software Configuration Tuning
Authors: Tao Chen, Miqing Li
Comments: 12 figures, 5 tables. journal extension from arXiv:2106.01331
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)
[52]  arXiv:2112.07365 [pdf, other]
Title: Extending the team with a project-specific bot
Authors: Théo Zimmermann (IRIF, PI.R2), Julien Coolen (UP), Jason Gross (MIT), Pierre-Marie Pédrot (GALLINETTE), Gaëtan Gilbert (GALLINETTE)
Subjects: Software Engineering (cs.SE)
[53]  arXiv:2112.07548 [pdf, other]
Title: Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Comments: This manuscript is the author version of the manuscript of the same name published in Fundamenta Informatica 182(1). This is an extended version of the manuscript published in the proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019). arXiv admin note: substantial text overlap with arXiv:1903.07217
Journal-ref: Fundamenta Informaticae 181(1), pages 31-67, 2021
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[54]  arXiv:2112.07586 [pdf]
Title: Real-time SIL Emulation Architecture for Cooperative Automated Vehicles
Authors: Nitish Gupta
Comments: masters thesis
Journal-ref: Electronic Theses and Dissertations. 6047, 2018
Subjects: Software Engineering (cs.SE); Networking and Internet Architecture (cs.NI); Robotics (cs.RO)
[55]  arXiv:2112.07588 [pdf, other]
Title: A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems
Subjects: Software Engineering (cs.SE); Computer Science and Game Theory (cs.GT)
[56]  arXiv:2112.08010 [pdf, ps, other]
Title: XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar
Comments: 4 pages
Subjects: Software Engineering (cs.SE)
[57]  arXiv:2112.08012 [pdf]
Title: Service Oriented Architecture in Enterprise Application
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[58]  arXiv:2112.08207 [pdf]
Title: Using the DELPHI Method for Model for Role Assignment in the Software Industry
Comments: 7 pages
Journal-ref: 47th Annual Conference of the IEEE Industrial Electronics Society (IECON 2021)
Subjects: Software Engineering (cs.SE)
[59]  arXiv:2112.08265 [pdf, other]
Title: Causality in Requirements Artifacts: Prevalence, Detection, and Impact
Comments: arXiv admin note: substantial text overlap with arXiv:2101.10766
Subjects: Software Engineering (cs.SE)
[60]  arXiv:2112.08267 [pdf, other]
Title: Harvesting Production GraphQL Queries to Detect Schema Faults
Journal-ref: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2022
Subjects: Software Engineering (cs.SE)
[61]  arXiv:2112.08270 [pdf]
Title: Next-generation Web Applications with WebAssembly and TruffleWasm
Comments: 6 pages, 3 figures
Journal-ref: 44th International Convention on Information, Communication and Electronic Technology (MIPRO), 2021, pp. 1695-1700
Subjects: Software Engineering (cs.SE)
[62]  arXiv:2112.08315 [pdf]
Title: Nirikshak: An Autonomous Testing Framework
Comments: 8 pages, 6 figures
Subjects: Software Engineering (cs.SE)
[63]  arXiv:2112.08839 [pdf, other]
Title: Topology optimization with a closed cavity exclusion constraint for additive manufacturing based on the fictitious physical model approach
Comments: 29 pages, 14 figures
Journal-ref: Additive Manufacturing, Volume 52, April 2022, 102630
Subjects: Software Engineering (cs.SE)
[64]  arXiv:2112.08952 [pdf]
Title: Developing a Suitability Assessment Criteria for Software Developers: Behavioral Assessment Using Psychometric Test
Comments: 4 pages
Journal-ref: 4th International Conference on Computer Science and Software Engineering(CSSE 2021), October 2021, Singapore
Subjects: Software Engineering (cs.SE)
[65]  arXiv:2112.09365 [pdf, other]
Title: Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation
Comments: This paper will be published in the proceedings of the International Conference on Software Engineering (ICSE) 2022
Subjects: Software Engineering (cs.SE)
[66]  arXiv:2112.09725 [pdf, other]
Title: scenoRITA: Generating Less-Redundant, Safety-Critical and Motion Sickness-Inducing Scenarios for Autonomous Vehicles
Subjects: Software Engineering (cs.SE)
[67]  arXiv:2112.10056 [pdf, other]
Title: Reproducibility Challenges and Their Impacts on Technical Q&A Websites: The Practitioners' Perspectives
Comments: Accepted in ISEC 2022
Subjects: Software Engineering (cs.SE)
[68]  arXiv:2112.10123 [pdf, other]
Title: Early Detection of Security-Relevant Bug Reports using Machine Learning: How Far Are We?
Comments: 10 pages
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Machine Learning (cs.LG)
[69]  arXiv:2112.10356 [pdf, other]
Title: An Investigation into Inconsistency of Software Vulnerability Severity across Data Sources
Comments: Accepted for publication in SANER 22
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[70]  arXiv:2112.10370 [pdf, other]
Title: A Systematic Comparison of Two Refactoring-aware Merging Techniques
Comments: 17 pages, 8 figures, 6 tables
Subjects: Software Engineering (cs.SE)
[71]  arXiv:2112.10373 [pdf, ps, other]
Title: Advances of Proof Scores in CafeOBJ
Comments: 44 pages, submitted to Science of Computer Programming
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[72]  arXiv:2112.10469 [pdf, other]
Title: JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis
Comments: In the proceedings of the 44th International Conference on Software Engineering 2022 (ICSE 2022)
Subjects: Software Engineering (cs.SE)
[73]  arXiv:2112.10893 [pdf, other]
Title: VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements
Comments: Camera Ready for Research Track of 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[74]  arXiv:2112.10915 [pdf, other]
Title: Elixir: Effective object-oriented program repair
Journal-ref: 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2017 Oct 30 (pp. 648-659). IEEE
Subjects: Software Engineering (cs.SE)
[75]  arXiv:2112.10920 [pdf, other]
Title: How Do Developers Search for Architectural Information? An Industrial Survey
Comments: The 19th IEEE International Conference on Software Architecture (ICSA)
Subjects: Software Engineering (cs.SE)
[76]  arXiv:2112.10934 [pdf]
Title: Understanding Software Architecture Erosion: A Systematic Mapping Study
Comments: Accepted for publication in Journal of Software: Evolution and Process, 2022
Subjects: Software Engineering (cs.SE)
[77]  arXiv:2112.10938 [pdf, other]
Title: CADV: A software visualization approach for code annotations distribution
Comments: 53 pages
Subjects: Software Engineering (cs.SE)
[78]  arXiv:2112.11101 [pdf, other]
Title: Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)
[79]  arXiv:2112.11131 [pdf, other]
Title: Omnisolver: an extensible interface to Ising spin glass solvers
Subjects: Software Engineering (cs.SE); Quantum Physics (quant-ph)
[80]  arXiv:2112.11155 [pdf, ps, other]
Title: AmPyfier: Test Amplification in Python
Subjects: Software Engineering (cs.SE)
[81]  arXiv:2112.11255 [pdf, other]
Title: Mind the Gap! A Study on the Transferability of Virtual vs Physical-world Testing of Autonomous Driving Systems
Comments: 12 pages
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Robotics (cs.RO)
[82]  arXiv:2112.11596 [pdf, other]
Title: Log severity level classification: an approach for systems in production
Comments: 6 pages, 3 figures. arXiv admin note: text overlap with arXiv:2109.01192 by other authors
Subjects: Software Engineering (cs.SE)
[83]  arXiv:2112.11858 [pdf, ps, other]
Title: End to End Software Engineering Research
Authors: Idan Amit
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[84]  arXiv:2112.12049 [pdf, other]
Title: DevOps and Microservices in Scientific System development
Comments: 14 pages, 4 figures, paper accepted as poster in ACM SAC 2022, ACM ISBN 978-1-4503-8713-2/22/04
Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE)
[85]  arXiv:2112.12331 [pdf, other]
Title: Flakify: A Black-Box, Language Model-based Predictor for Flaky Tests
Subjects: Software Engineering (cs.SE)
[86]  arXiv:2112.12398 [pdf, other]
Title: Towards Fully Declarative Program Analysis via Source Code Transformation
Comments: 7 pages, 5 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[87]  arXiv:2112.12508 [pdf, other]
Title: From Procedures, Objects, Actors, Components, Services, to Agents -- A Comparative Analysis of the History and Evolution of Programming Abstractions
Comments: This article has been submitted to a project of book about the French school of programming, coordinated by Bertrand Meyer
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[88]  arXiv:2112.12580 [pdf, ps, other]
Title: Long-Term Productivity Based on Science, not Preference
Comments: 2 pages
Journal-ref: Workshop on the Science of Scientific-Software Development and Use, U.S. Department of Energy, Office of Advanced Scientific Computing Research, Dec, 2021
Subjects: Software Engineering (cs.SE)
[89]  arXiv:2112.12591 [pdf, other]
Title: Black-Box Testing of Deep Neural Networks through Test Case Diversity
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[90]  arXiv:2112.12636 [pdf, other]
Title: SemParser: A Semantic Parser for Log Analysis
Subjects: Software Engineering (cs.SE)
[91]  arXiv:2112.12653 [pdf, other]
Title: Revisiting, Benchmarking and Exploring API Recommendation: How Far Are We?
Subjects: Software Engineering (cs.SE)
[92]  arXiv:2112.12758 [pdf, ps, other]
Title: A Manifesto for Applicable Formal Methods
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[93]  arXiv:2112.12834 [pdf, other]
Title: Software Engineering Education Knowledge Versus Industrial Needs
Comments: 9 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[94]  arXiv:2112.12928 [pdf, other]
Title: 1-to-1 or 1-to-n? Investigating the effect of function inlining on binary similarity analysis
Subjects: Software Engineering (cs.SE)
[95]  arXiv:2112.13207 [pdf, other]
Title: FMViz: Visualizing Tests Generated by AFL at the Byte-level
Subjects: Software Engineering (cs.SE)
[96]  arXiv:2112.13217 [pdf, ps, other]
Title: "We do not appreciate being experimented on": Developer and Researcher Views on the Ethics of Experiments on Open-Source Projects
Comments: 14 pages with 42 charts and 3 tables
Subjects: Software Engineering (cs.SE)
[97]  arXiv:2112.13297 [pdf, other]
Title: DIAR: Removing Uninteresting Bytes from Seeds in Software Fuzzing
Subjects: Software Engineering (cs.SE)
[98]  arXiv:2112.13314 [pdf, other]
Title: Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[99]  arXiv:2112.13497 [pdf, other]
Title: Evaluating Software User Feedback Classifiers on Unseen Apps, Datasets, and Metadata
Subjects: Software Engineering (cs.SE)
[100]  arXiv:2112.13640 [pdf, ps, other]
Title: A Framework for Efficient Memory Utilization in Online Conformance Checking
Authors: Rashid Zaman (1), Marwan Hassani (1), Boudewijn F. van Dongen (1) ((1) Department of Mathematics & Computer Science, Eindhoven University of Technology)
Subjects: Software Engineering (cs.SE); Databases (cs.DB)
[101]  arXiv:2112.13997 [pdf, other]
Title: Common Privacy Weaknesses and Vulnerabilities in Software Applications
Subjects: Software Engineering (cs.SE)
[102]  arXiv:2112.14151 [pdf, other]
Title: Cerebro: Static Subsuming Mutant Selection
Subjects: Software Engineering (cs.SE)
[103]  arXiv:2112.14169 [pdf, other]
Title: Fast Changeset-based Bug Localization with BERT
Subjects: Software Engineering (cs.SE)
[104]  arXiv:2112.14186 [pdf, other]
Title: Recruiting credible participants for field studies in software engineering research
Comments: 45 pages with 9 tables and 3 figures
Subjects: Software Engineering (cs.SE)
[105]  arXiv:2112.14464 [pdf, other]
Title: Forking Around: Correlation of forking practices with the success of a project
Subjects: Software Engineering (cs.SE)
[106]  arXiv:2112.14508 [pdf, other]
Title: Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies
Subjects: Software Engineering (cs.SE)
[107]  arXiv:2112.14566 [pdf, other]
Title: Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution
Subjects: Software Engineering (cs.SE)
[108]  arXiv:2112.14809 [pdf, ps, other]
Title: Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework
Comments: arXiv admin note: text overlap with arXiv:2112.04374
Subjects: Software Engineering (cs.SE)
[109]  arXiv:2112.14825 [pdf, other]
Title: ReSplit: Improving the Structure of Jupyter Notebooks by Re-Splitting Their Cells
Comments: 5 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[110]  arXiv:2112.14927 [pdf, other]
Title: An Empirical Study of Security Practices for Microservices Systems
Comments: 20 pages, 5 images, 8 tables, Manuscript submitted to a Journal (2022)
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[111]  arXiv:2112.15147 [pdf, ps, other]
Title: An Automatically Verified Prototype of a Landing Gear System
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[112]  arXiv:2112.15167 [pdf]
Title: Chatbot for fitness management using IBM Watson
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[113]  arXiv:2112.15230 [pdf, other]
Title: AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE
Comments: 5 pages, 2 figures
Subjects: Software Engineering (cs.SE)
[114]  arXiv:2112.15277 [pdf, other]
Title: Machine Learning Application Development: Practitioners' Insights
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[115]  arXiv:2112.15485 [pdf, ps, other]
Title: REST API Fuzzing by Coverage Level Guided Blackbox Testing
Subjects: Software Engineering (cs.SE)
[116]  arXiv:2112.15498 [pdf, other]
Title: State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing
Comments: 10 pages, 8 figures, coloured, conference
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[117]  arXiv:2112.00346 (cross-list from cs.CR) [pdf, other]
Title: Trusted And Confidential Program Analysis
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[118]  arXiv:2112.00740 (cross-list from cs.HC) [pdf, other]
Title: Collaborative AI Needs Stronger Assurances Driven by Risks
Comments: 13 pages, 5 figures
Journal-ref: IEEE Computer Society, March 2022
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Software Engineering (cs.SE)
[119]  arXiv:2112.01082 (cross-list from cs.DC) [pdf, other]
Title: Grafana plugin for visualising vote based consensus mechanisms, and network P2P overlay networks
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[120]  arXiv:2112.01184 (cross-list from cs.CL) [pdf, ps, other]
Title: AST-Transformer: Encoding Abstract Syntax Trees Efficiently for Code Summarization
Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)
[121]  arXiv:2112.01367 (cross-list from cs.RO) [pdf]
Title: Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments
Authors: Mohammad Azangoo (1), Amir Taherkordi (2), Jan Olaf Blech (1), Valeriy Vyatkin (1 and 3) ((1) Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland, (2) Department of Informatics, University of Oslo, Oslo, Norway, (3) Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, Luleå, Sweden)
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[122]  arXiv:2112.01796 (cross-list from cs.LG) [pdf, other]
Title: The UniNAS framework: combining modules in arbitrarily complex configurations with argument trees
Comments: a laxly written technical presentation of UniNAS and Argument Trees, the code is publicly available
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[123]  arXiv:2112.01821 (cross-list from cs.SD) [pdf, other]
Title: Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking
Comments: 11 pages, 7 figures and 3 tables
Subjects: Sound (cs.SD); Computation and Language (cs.CL); Software Engineering (cs.SE); Audio and Speech Processing (eess.AS)
[124]  arXiv:2112.01955 (cross-list from cs.LG) [pdf, other]
Title: You Can't See the Forest for Its Trees: Assessing Deep Neural Network Testing via NeuraL Coverage
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[125]  arXiv:2112.01956 (cross-list from cs.LG) [pdf, other]
Title: Enhancing Deep Neural Networks Testing by Traversing Data Manifold
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[126]  arXiv:2112.03057 (cross-list from cs.LG) [pdf, ps, other]
Title: Thinking Beyond Distributions in Testing Machine Learned Models
Comments: Neural Information Processing System, NeurIPS 2021 workshop on Distribution Shifts
Journal-ref: NeurIPS 2021 workshop on Distribution Shifts
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[127]  arXiv:2112.03997 (cross-list from cs.DC) [pdf]
Title: Designing a Real-Time IoT Data Streaming Testbed for Horizontally Scalable Analytical Platforms: Czech Post Case Study
Comments: 8 pages, 4 figures, 6 tables
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[128]  arXiv:2112.04623 (cross-list from cs.DS) [pdf, other]
Title: Efficient Checking of Temporal Compliance Rules Over Business Process Event Logs
Subjects: Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE)
[129]  arXiv:2112.06148 (cross-list from cs.PL) [pdf, other]
Title: Programming with Neural Surrogates of Programs
Journal-ref: Onward! 2021
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Software Engineering (cs.SE)
[130]  arXiv:2112.06804 (cross-list from cs.CR) [pdf, other]
Title: Open or Sneaky? Fast or Slow? Light or Heavy?: Investigating Security Releases of Open Source Packages
Comments: Pre-print, currently under peer-review process
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[131]  arXiv:2112.07143 (cross-list from cs.CR) [pdf, other]
Title: Better Pay Attention Whilst Fuzzing
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[132]  arXiv:2112.09580 (cross-list from cs.DC) [pdf, ps, other]
Title: Continuously Testing Distributed IoT Systems: An Overview of the State of the Art
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[133]  arXiv:2112.10165 (cross-list from cs.CR) [pdf, other]
Title: What are Weak Links in the npm Supply Chain?
Comments: (e.g.: 10 pages, 1 figure)
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Software Engineering (cs.SE)
[134]  arXiv:2112.10328 (cross-list from cs.CR) [pdf, other]
Title: Deriving Semantics-Aware Fuzzers from Web API Schemas
Comments: Nine pages, one pdf figure
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[135]  arXiv:2112.10359 (cross-list from cs.CR) [pdf]
Title: How Do Developers Deal with Security Issue Reports on GitHub?
Comments: The 37th ACM/SIGAPP Symposium on Applied Computing, April 25--29, 2022
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[136]  arXiv:2112.10441 (cross-list from cs.LG) [pdf, other]
Title: Towards Trustworthy Cross-patient Model Development
Journal-ref: AAAI workshop on Trustworthy AI for Healthcare, 2022
Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)
[137]  arXiv:2112.10470 (cross-list from cs.CR) [pdf, other]
Title: Difuzer: Uncovering Suspicious Hidden Sensitive Operations in Android Apps
Comments: In the proceedings of the 44th International Conference on Software Engineering 2022 (ICSE 2022)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[138]  arXiv:2112.10627 (cross-list from cs.CR) [pdf, other]
Title: FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing
Comments: 4 pages, 2 figures, International Conference on Fundamental Approaches to Software Engineering (FASE 2022)
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[139]  arXiv:2112.11226 (cross-list from cs.LG) [src]
Title: Energy-bounded Learning for Robust Models of Code
Comments: There are some flaws in our experiments, we would like to fix it and publish a fixed version again in the very near future
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)
[140]  arXiv:2112.11508 (cross-list from cs.MS) [pdf, other]
Title: PyTracer: Automatically profiling numerical instabilities in Python
Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE); Numerical Analysis (math.NA)
[141]  arXiv:2112.12595 (cross-list from cs.CR) [pdf, other]
Title: KGSecConfig: A Knowledge Graph Based Approach for Secured Container Orchestrator Configuration
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[142]  arXiv:2112.12597 (cross-list from cs.CR) [pdf, other]
Title: Well Begun is Half Done: An Empirical Study of Exploitability & Impact of Base-Image Vulnerabilities
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[143]  arXiv:2112.12693 (cross-list from cs.PL) [pdf, other]
Title: Deadlock-free asynchronous message reordering in Rust with multiparty session types
Comments: Full-version, 24 pages. Short version to appear in PPoPP 2022. Updated according to the latest modifications of the camera-ready conference version
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[144]  arXiv:2112.12823 (cross-list from cs.PL) [pdf, other]
Title: A Rationale-Based Classification of MISRA C Guidelines
Comments: 12 pages, 2 figures
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[145]  arXiv:2112.12869 (cross-list from cs.PL) [pdf, ps, other]
Title: A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[146]  arXiv:2112.13719 (cross-list from cs.CR) [pdf, other]
Title: Casr-Cluster: Crash Clustering for Linux Applications
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[147]  arXiv:2112.13994 (cross-list from cs.CR) [pdf, other]
Title: Mining and Classifying Privacy and Data Protection Requirements in Issue Reports
Comments: arXiv admin note: substantial text overlap with arXiv:2101.01298
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[148]  arXiv:2112.14680 (cross-list from cs.DC) [pdf, other]
Title: WaCoDiS: Automated Earth Observation Data Processing within an Event-Driven Architecture for Water Monitoring
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
[149]  arXiv:2112.14706 (cross-list from cs.RO) [pdf]
Title: Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA
Comments: International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2021
Journal-ref: MESAS 2021: Modelling and Simulation for Autonomous Systems
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Software Engineering (cs.SE)
[150]  arXiv:2112.14773 (cross-list from cs.CR) [pdf, other]
Title: Working mechanism of Eternalblue and its application in ransomworm
Authors: Zian Liu
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[151]  arXiv:2112.15404 (cross-list from cs.DC) [pdf, other]
Title: Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT
Comments: 10 pages, 3 figures, 1 table, accepted for publication in IEEE Computer
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Software Engineering (cs.SE)
[152]  arXiv:2112.15491 (cross-list from cs.CR) [pdf, other]
Title: Semantics-Recovering Decompilation through Neural Machine Translation
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL); Software Engineering (cs.SE)
[153]  arXiv:2112.15544 (cross-list from cs.AI) [pdf, ps, other]
Title: OWLOOP: A Modular API to Describe OWL Axioms in OOP Objects Hierarchies
Comments: This version of the manuscript has been published on the SoftwareX Elsevier journal in January 2022. The manuscript is made of 21 pages, which include 3 tables, 6 figures, and 4 listings
Journal-ref: SoftwareX, January 2022, 100952, Vol. 17, Elsevier
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[154]  arXiv:2112.07093 (cross-list from quant-ph) [pdf, other]
Title: QuISP: a Quantum Internet Simulation Package
Comments: 17 pages, 12 figures
Subjects: Quantum Physics (quant-ph); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)
[ total of 154 entries: 1-154 ]
[ showing 154 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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