Software Engineering

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

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

Title: SecDocker: Hardening the Continuous Integration Workflow

Authors: David Fernández González, Francisco Javier Rodríguez Lera, Gonzalo Esteban, Camino Fernández Llamas

Comments: Preprint: 15 pages, 5 figures, 2 tables. Public repository: this https URL

Journal-ref: SN COMPUT. SCI. 3, 80 (2022)

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

[177]  arXiv:2104.08130 (cross-list from cs.LO) [pdf, ps, other]

Title: $\{log\}$: Set Formulas as Programs

Authors: Maximiliano Cristiá, Gianfranco Rossi

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

[178]  arXiv:2104.09020 (cross-list from cs.CR) [pdf]

Title: On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility

Authors: Awais Tanveer, Roopak Sinha, Stephen G. MacDonell

Comments: Conference paper, 8 pages, 11 figures, 1 table

Journal-ref: Proceedings of the 16th International Conference on Industrial Informatics (INDIN2018). Porto, Portugal, IEEE Computer Society Press, pp.778-785

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

[179]  arXiv:2104.09225 (cross-list from cs.AI) [pdf]

Title: Multi-context Attention Fusion Neural Network for Software Vulnerability Identification

Authors: Anshul Tanwar, Hariharan Manikandan, Krishna Sundaresan, Prasanna Ganesan, Sathish Kumar Chandrasekaran, Sriram Ravi

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

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

Title: A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments

Authors: Philip Zweihoff, Bernhard Steffen

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

[181]  arXiv:2104.10042 (cross-list from cs.DC) [pdf]

Title: A Brief Overview of the UML Scientific Profile

Authors: Vasyliy I. Gurianov

Comments: 6 pages, 3 figures

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

[182]  arXiv:2104.11230 (cross-list from cs.CR) [pdf, ps, other]

Title: Literature review on vulnerability detection using NLP technology

Authors: Jiajie Wu

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

[183]  arXiv:2104.11351 (cross-list from cs.RO) [pdf, other]

Title: Towards Automated Acceptance testing for industrial robots

Authors: Marcela G. dos Santos, Fabio Petrillo

Subjects: Robotics (cs.RO); Software Engineering (cs.SE)

[184]  arXiv:2104.12538 (cross-list from cs.CY) [pdf]

Title: Exponential Competence of Computer Science and Software Engineering Undergraduate Students

Authors: Orit Hazzan

Comments: 5 pages

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

[185]  arXiv:2104.12545 (cross-list from cs.CY) [pdf, ps, other]

Title: Agile (data) science: a (draft) manifesto

Authors: Juan Julián Merelo-Guervós, Mario García-Valdez

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

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

Title: Metamorphic Detection of Repackaged Malware

Authors: Shirish Singh, Gail Kaiser

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

[187]  arXiv:2104.13434 (cross-list from cs.FL) [pdf, other]

Title: Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata

Authors: Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob

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

Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)