Software Engineering

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

[131]  arXiv:2107.01624 (cross-list from cs.CY) [pdf, other]

Title: Implicit Gender Bias in Computer Science -- A Qualitative Study

Authors: Aurélie Breidenbach, Caroline Mahlow, Andreas Schreiber

Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)

[132]  arXiv:2107.01965 (cross-list from cs.DB) [pdf, other]

Title: Managing Knowledge in Energy Data Spaces

Authors: Valentina Janev, Maria-Esther Vidal, Kemele Endris, Dea Pujic

Comments: Based on the article Valentina Janev, Maria-Esther Vidal, Kemele M. Endris, Dea Pujic: Managing Knowledge in Energy Data Spaces. WWW (Companion Volume) 2021: 7-15

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

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

Title: An Empirical Analysis of Practitioners' Perspectives on Security Tool Integration into DevOps

Authors: Roshan Namal Rajapakse, Mansooreh Zahedi, Muhammad Ali Babar

Comments: [v3] Camera-ready version (with a few improvements)

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

[134]  arXiv:2107.03876 (cross-list from cs.AI) [pdf, other]

Title: Bootstrapping Generalization of Process Models Discovered From Event Data

Authors: Artem Polyvyanyy, Alistair Moffat, Luciano García-Bañuelos

Comments: 16 pages

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

[135]  arXiv:2107.04164 (cross-list from cs.AI) [pdf, other]

Title: Parallel and Multi-Objective Falsification with Scenic and VerifAI

Authors: Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia

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

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

Title: HOMRS: High Order Metamorphic Relations Selector for Deep Neural Networks

Authors: Florian Tambon, Giulio Antoniol, Foutse Khomh

Comments: 33 pages

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

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

Title: Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant

Authors: Nicolas Magaud (ICube - Université de Strasbourg)

Comments: In Proceedings PxTP 2021, arXiv:2107.01544

Journal-ref: EPTCS 336, 2021, pp. 40-47

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

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

Title: Teaching Design by Contract using Snap!

Authors: Marieke Huisman, Raúl E. Monti

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

[139]  arXiv:2107.05761 (cross-list from cs.MS) [pdf, other]

Title: Faster Math Functions, Soundly

Authors: Ian Briggs, Pavel Panchekha

Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE)

[140]  arXiv:2107.06009 (cross-list from cs.CY) [pdf, other]

Title: Automatic Classification of Error Types in Solutions to Programming Assignments at Online Learning Platform

Authors: Artyom Lobanov, Timofey Bryksin, Alexey Shpilman

Comments: 5 pages, 2 figures

Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)