Software Engineering

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

[31]  arXiv:2112.04374 [pdf, other]

Title: Dependability Engineering in Isabelle

Authors: Florian Kammüller

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

[32]  arXiv:2112.04384 [pdf, ps, other]

Title: Reproducing software environments: a prerequisite for reproducible research

Authors: Ludovic Courtès (SED)

Comments: in French

Journal-ref: 1024 : Bulletin de la Soci{\'e}t{\'e} Informatique de France, Soci{\'e}t{\'e} Informatique de France, 2021, pp.15-22

Subjects: Software Engineering (cs.SE); Operating Systems (cs.OS)

[33]  arXiv:2112.04778 [pdf, ps, other]

Title: Justifying the Dependability and Security of Business-Critical Blockchain-based Applications

Authors: Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci-Piergiovanni, Önder Gürcan

Comments: 8 pages, 6 figures, The Third IEEE International Conference on Blockchain Computing and Applications (BCCA 2021)

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

[34]  arXiv:2112.04919 [pdf, ps, other]

Title: A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests

Authors: Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon

Subjects: Software Engineering (cs.SE)

[35]  arXiv:2112.05358 [pdf, ps, other]

Title: MOBAFS: A Multi Objective Bee Algorithm for Feature subset selection in Software Product Lines

Authors: Nahid Hajizadeh, Peyman Jahanbazi, Reza Akbari

Subjects: Software Engineering (cs.SE)

[36]  arXiv:2112.05411 [pdf, other]

Title: Compositional Test Generation of Industrial Synchronous Systems

Authors: Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki

Comments: 22 pages, 5 figures, 2 tables. Rejected from VMCAI 2021

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

[37]  arXiv:2112.05528 [pdf, ps, other]

Title: Improving Productivity through Corporate Hackathons: A Multiple Case Study of Two Large-scale Agile Organizations

Authors: Nils Brede Moe, Rasmus Ulfsnes, Viktoria Stray, Darja Smite

Comments: Accepted to HICCS-55

Subjects: Software Engineering (cs.SE)

[38]  arXiv:2112.05549 [pdf, ps, other]

Title: Combining Design Thinking and Software Requirements Engineering to create Human-centered Software-intensive Systems

Authors: Jennifer Hehn, Daniel Mendez

Comments: Introductory chapter to the edited book on "Design Thinking for Software Engineering - Creating Human-oriented Software- intensive Products and Services". To appear in 2022

Subjects: Software Engineering (cs.SE)

[39]  arXiv:2112.05567 [pdf, other]

Title: An Annotation-based Approach for Finding Bugs in Neural Network Programs

Authors: Mohammad Rezaalipour, Carlo A. Furia

Comments: New content: (1) discussing test oracles in the related work section, (2) adding future work, and (3) discussing the possibility of using other back-ends

Subjects: Software Engineering (cs.SE)

[40]  arXiv:2112.06186 [pdf, other]

Title: Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks

Authors: Jibesh Patra, Michael Pradel

Comments: International Conference on Software Engineering (ICSE), 2022

Subjects: Software Engineering (cs.SE)