Software Engineering

Authors and titles for cs.SE in Dec 2021, skipping first 125

[126]  arXiv:2112.03057 (cross-list from cs.LG) [pdf, ps, other]

Title: Thinking Beyond Distributions in Testing Machine Learned Models

Authors: Negar Rostamzadeh, Ben Hutchinson, Christina Greer, Vinodkumar Prabhakaran

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, ps, other]

Title: Designing a Real-Time IoT Data Streaming Testbed for Horizontally Scalable Analytical Platforms: Czech Post Case Study

Authors: Martin Štufi, Boris Bačić

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

Authors: Adriano Augusto, Ahmed Awad, Marlon Dumas

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

Authors: Alex Renda, Yi Ding, Michael Carbin

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

Authors: Nasif Imtiaz, Aniqa Khanom, Laurie Williams

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

Authors: Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Liyi Zhang, Peng Cheng

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

Authors: Jossekin Beilharz, Philipp Wiesner, Arne Boockmeyer, Lukas Pirl, Dirk Friedenberger, Florian Brokhausen, Ilja Behnke, Andreas Polze, Lauritz Thamsen

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?

Authors: Nusrat Zahan, Thomas Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Maddila, Laurie Williams

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

Authors: Zac Hatfield-Dodds, Dmitry Dygalo

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, ps, other]

Title: How Do Developers Deal with Security Issue Reports on GitHub?

Authors: Noah Bühlmann, Mohammad Ghafari

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

Authors: Ali El-Merhi, Helena Odenstedt Hergés, Linda Block, Mikael Elam, Richard Vithal, Jaquette Liljencrantz, Miroslaw Staron

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

Authors: Jordan Samhi, Li Li, Tegawendé F. Bissyandé, Jacques Klein

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

Authors: Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

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

Authors: Nghi D. Q. Bui, Yijun Yu

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

Authors: Yohan Chatelain, Nigel Yong, Gregory Kiar, Tristan Glatard

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

Authors: Mubin Ul Haque, M. Mehdi Kholoosi, M. Ali Babar

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

Authors: Mubin Ul Haque, M. Ali Babar

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

Authors: Zak Cutner, Nobuko Yoshida, Martin Vassor

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

Authors: Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

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

Authors: Juan José González-Abril, Germán Vidal

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

Authors: Georgy Savidov, Andrey Fedotov

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

Authors: Pattaraporn Sangaroonsilp, Hoa Khanh Dam, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Aditya Ghose

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

Authors: Sebastian Drost, Arne Vogt, Christian Danowski-Buhren, Simon Jirka, Verena Kirstein, Kian Pakzad, Matthes Rieke

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[149]  arXiv:2112.14706 (cross-list from cs.RO) [pdf, ps, other]

Title: Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA

Authors: Zaid Tahir, Rob Alexander

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)