Software Engineering

Authors and titles for cs.SE in Apr 2021, skipping first 160

[161]  arXiv:2104.01667 (cross-list from cs.LO) [pdf, other]

Title: A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory

Authors: René Haberland

Comments: 209 pages, 97 figures, 6 appendices

Journal-ref: Dissertation, Thesis, 2017

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

[162]  arXiv:2104.01854 (cross-list from eess.SY) [pdf, other]

Title: Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins

Authors: Seppo Sierla (1), Mohammad Azangoo (1), Alexander Fay (2), Valeriy Vyatkin (1 and 3), Nikolaos Papakonstantinou (4) ((1) Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland, (2) Department of Automation Engineering, Helmut Schmidt University, Hamburg, Germany, (3) Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, Luleå, Sweden, (4) VTT Technical Research Centre of Finland Ltd, Espoo, Finland)

Comments: 8 pages, 13 figures

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Software Engineering (cs.SE)

[163]  arXiv:2104.01929 (cross-list from cs.DC) [pdf]

Title: Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation

Authors: André DeHon, Hans Giesen, Nik Sultana, Yuanlong Xiao

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

[164]  arXiv:2104.02612 (cross-list from cs.CR) [pdf, other]

Title: ASTANA: Practical String Deobfuscation for Android Applications Using Program Slicing

Authors: Martijn de Vos, Johan Pouwelse

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[165]  arXiv:2104.02712 (cross-list from cs.OH) [pdf, other]

Title: Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications

Authors: Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, Rene Just

Subjects: Other Computer Science (cs.OH); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[166]  arXiv:2104.03075 (cross-list from cs.DC) [pdf, other]

Title: Serverless Predictions: 2021-2030

Authors: Pedro Garcia Lopez, Aleksander Slominski, Michael Behrendt, Bernard Metzler

Comments: arXiv admin note: text overlap with arXiv:2006.01251

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

[167]  arXiv:2104.03780 (cross-list from cs.AR) [pdf, other]

Title: Enabling Cross-Domain Communication: How to Bridge the Gap between AI and HW Engineers

Authors: Michael J. Klaiber, Axel J. Acosta, Ingo Feldner, Falk Rehm

Comments: LATTE 2021 Workshop on Languages, Tools, and Techniques for Accelerator Design

Subjects: Hardware Architecture (cs.AR); Computation and Language (cs.CL); Software Engineering (cs.SE)

[168]  arXiv:2104.03820 (cross-list from cs.HC) [pdf, other]

Title: Perfection Not Required? Human-AI Partnerships in Code Translation

Authors: Justin D. Weisz, Michael Muller, Stephanie Houde, John Richards, Steven I. Ross, Fernando Martinez, Mayank Agarwal, Kartik Talamadupula

Comments: 18 pages, 1 figure. To be published in IUI 2021

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[169]  arXiv:2104.04087 (cross-list from cs.CL) [pdf, other]

Title: A Sketch-Based Neural Model for Generating Commit Messages from Diffs

Authors: Nicolae-Teodor Pavel, Traian Rebedea

Comments: submitted at ASE 2019

Subjects: Computation and Language (cs.CL); Software Engineering (cs.SE)

[170]  arXiv:2104.04999 (cross-list from cs.LG) [pdf, other]

Title: ALT-MAS: A Data-Efficient Framework for Active Testing of Machine Learning Algorithms

Authors: Huong Ha, Sunil Gupta, Santu Rana, Svetha Venkatesh

Comments: Accepted to the RobustML workshop at ICLR 2021

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Software Engineering (cs.SE); Machine Learning (stat.ML)