Software Engineering

Authors and titles for March 2022

[151] arXiv:2203.17112 [pdf, other]

Title: SLNET: A Redistributable Corpus of 3rd-party Simulink Models

Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner

Comments: Published in Mining Software Repositories 2022 - Data and Tool Showcase Track

Subjects: Software Engineering (cs.SE)

[152] arXiv:2203.17166 [pdf, other]

Title: On the Evaluation of NLP-based Models for Software Engineering

Maliheh Izadi, Matin Nili Ahmadabadi

Comments: To appear in the Proceedings of the 1sth International Workshop on Natural Language-based Software Engineering (NLBSE), co-located with ICSE, 2022

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

[153] arXiv:2203.17196 [pdf, other]

Title: CatIss: An Intelligent Tool for Categorizing Issues Reports using Transformers

Maliheh Izadi

Comments: To appear in the Proceedings of the 1sth International Workshop on Natural Language-based Software Engineering (NLBSE), co-located with ICSE, 2022

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

[154] arXiv:2203.17253 [pdf, other]

Title: PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller

Ignacio D. Lopez-Miguel, Jean-Charles Tournier, Borja Fernandez Adiego

Comments: 18th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS2021)

Subjects: Software Engineering (cs.SE)

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

Title: NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History

Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, Shinji Kikuchi

Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)

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

Title: A Pattern Language for Blockchain Governance

Yue Liu, Qinghua Lu, Guangsheng Yu, Hye-Young Paik, Harsha Perera, Liming Zhu

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

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

Title: A Survey of Analysis Methods for Security and Safety verification in IoT Systems

Lobna Abuserrieh, Manar H. Alalfi

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

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

Title: Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS

Dmitrii Kuvaiskii, Gaurav Kumar, Mona Vij

Comments: 20 pages

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

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

Title: MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks

Sicong Cao, Xiaobing Sun, Lili Bo, Rongxin Wu, Bin Li, Chuanqi Tao

Comments: To appear in the Technical Track of ICSE 2022

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

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

Title: GANSpiration: Balancing Targeted and Serendipitous Inspiration in User Interface Design with Style-Based Generative Adversarial Network

Mohammad Amin Mozaffari, Xinyuan Zhang, Jinghui Cheng, Jin L.C. Guo

Comments: 15 pages, 9 figures, CHI Conference on Human Factors in Computing Systems (CHI '22)

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

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

Title: UniXcoder: Unified Cross-Modal Pre-training for Code Representation

Daya Guo, Shuai Lu, Nan Duan, Yanlin Wang, Ming Zhou, Jian Yin

Comments: Published in ACL 2022

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

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

Title: TriggerZoo: A Dataset of Android Applications Automatically Infected with Logic Bombs

Jordan Samhi, Tegawendé F. Bissyandé, Jacques Klein

Comments: In the proceedings of the 19th International Conference on Mining Software Repositories, Data Showcase, (MSR 2022)

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

[163] arXiv:2203.04995 (cross-list from cs.PL) [pdf, html, other]

Title: CUBES: A Parallel Synthesizer for SQL Using Examples

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins

Subjects: Programming Languages (cs.PL); Databases (cs.DB); Software Engineering (cs.SE)

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

Title: LineVD: Statement-level Vulnerability Detection using Graph Neural Networks

David Hin, Andrey Kan, Huaming Chen, M. Ali Babar

Comments: Accepted in the 19th International Conference on Mining Software Repositories Technical Papers

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

[165] arXiv:2203.06289 (cross-list from quant-ph) [pdf, other]

Title: Peel $\mid$ Pile? Cross-Framework Portability of Quantum Software

Manuel Schönberger, Maja Franz, Stefanie Scherzinger, Wolfgang Mauerer

Journal-ref: QSA@ICSA2022

Subjects: Quantum Physics (quant-ph); Software Engineering (cs.SE)

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

Title: Fuzzing+Hardware Performance Counters-Based Detection of Algorithm Subversion Attacks on Post-Quantum Signature Schemes

Animesh Basak Chowdhury, Anushree Mahapatra, Deepraj Soni, Ramesh Karri

Comments: Accepted in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

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

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

Title: Fairness Evaluation in Deepfake Detection Models using Metamorphic Testing

Muxin Pu, Meng Yi Kuan, Nyee Thoang Lim, Chun Yong Chong, Mei Kuan Lim

Comments: 8 pages, accepted at 7th International Workshop on Metamorphic Testing (MET22)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE)

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

Title: SmartValidator: A Framework for Automatic Identification and Classification of Cyber Threat Data

Chadni Islam, M. Ali Babar, Roland Croft, Helge Janicke

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

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

Title: Reproducibility and Performance: Why Choose?

Ludovic Courtès (SED)

Journal-ref: Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, In press

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

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

Title: Deepchecks: A Library for Testing and Validating Machine Learning Models and Data

Shir Chorev, Philip Tannor, Dan Ben Israel, Noam Bressler, Itay Gabbay, Nir Hutnik, Jonatan Liberman, Matan Perlmutter, Yurii Romanyshyn, Lior Rokach

Subjects: Machine Learning (cs.LG); Software Engineering (cs.SE)

[171] arXiv:2203.08792 (cross-list from cs.CV) [pdf, other]

Title: PosePipe: Open-Source Human Pose Estimation Pipeline for Clinical Research

R. James Cotton

Comments: Code: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Software Engineering (cs.SE); Quantitative Methods (q-bio.QM)

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

Title: Detecting silent data corruptions in the wild

Harish Dattatraya Dixit, Laura Boyle, Gautham Vunnam, Sneha Pendharkar, Matt Beadon, Sriram Sankar

Comments: 7 pages, 4 figures, 1 table, 31 references

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

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

Title: Example-Based Vulnerability Detection and Repair in Java Code

Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Danfeng (Daphne)Yao, Na Meng

Comments: arXiv admin note: substantial text overlap with arXiv:2102.06994

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

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

Title: Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems

Clemens Dubslaff (Technische Universität Dresden, Germany), Bas Luttik (Eindhoven University of Technology, The Netherlands)

Journal-ref: EPTCS 355, 2022

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[175] arXiv:2203.09658 (cross-list from cs.PL) [pdf, other]

Title: Lupa: A Framework for Large Scale Analysis of the Programming Language Usage

Anna Vlasova, Maria Tigina, Ilya Vlasov, Anastasiia Birillo, Yaroslav Golubev, Timofey Bryksin

Comments: 5 pages, 2 figures

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)