Software Engineering

Authors and titles for cs.SE in Jul 2021, skipping first 5

[6]  arXiv:2107.00723 [pdf, other]

Title: Verifying Verified Code

Authors: Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel

Comments: 24 pages, 17 figures, to be included in ATVA 2021 conference proceedings

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

[7]  arXiv:2107.00757 [pdf]

Title: TMUML: A Singular TM Model with UML Use Cases and Classes

Authors: Sabah Al-Fedaghi

Comments: 10 pages, 18 figures

Journal-ref: IJCSNS International Journal of Computer Science and Network Security, VOL.21 No.6, June 2021

Subjects: Software Engineering (cs.SE)

[8]  arXiv:2107.00821 [pdf, other]

Title: An Experience Report on Machine Learning Reproducibility: Guidance for Practitioners and TensorFlow Model Garden Contributors

Authors: Vishnu Banna, Akhil Chinnakotla, Zhengxin Yan, Anirudh Vegesana, Naveen Vivek, Kruthi Krishnappa, Wenxin Jiang, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis

Comments: Technical Report

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

[9]  arXiv:2107.00906 [pdf, other]

Title: Using Machine Learning to Generate Test Oracles: A Systematic Literature Review

Authors: Afonso Fontes, Gregory Gay

Comments: Pre-print. Article accepted to 1st International Workshop on Test Oracles at ESEC/FSE 2021

Subjects: Software Engineering (cs.SE)

[10]  arXiv:2107.00992 [pdf, other]

Title: Multimodal Representation for Neural Code Search

Authors: Jian Gu, Zimin Chen, Martin Monperrus

Comments: 12 pages, 9 figures, 7 tables, accepted by ICSME 2021, the camera-ready version

Journal-ref: Proceedings of International Conference on Software Maintenance and Evolution, 2021

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