Software Engineering

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

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

Title: Actors -- A Process Algebra Based Approach

Authors: Yong Wang

Comments: 143 pages, 12 figures, 29 tables. arXiv admin note: text overlap with arXiv:2101.05140

Subjects: Logic in Computer Science (cs.LO)

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

Title: Towards Collaborative Mobile Crowdsourcing

Authors: Aymen Hamrouni, Hakim Ghazzai, Turki Alelyani, Yehia Massoud

Comments: 8 pages, 5 figures. Accepted for Publication in IEEE Internet-of-Things Magazine (IoT-M)

Subjects: Social and Information Networks (cs.SI); Software Engineering (cs.SE)

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

Title: Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

Authors: Daniel Jackson, Valerie Richmond, Mike Wang, Jeff Chow, Uriel Guajardo, Soonho Kong, Sergio Campos, Geoffrey Litt, Nikos Arechiga

Comments: 18 pages + 15 page Appendix, 11 figures

Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Systems and Control (eess.SY)

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

Title: Agents for Automated User Experience Testing

Authors: Pedro M. Fernandes, Manuel Lopes, Rui Prada

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

[175]  arXiv:2104.06509 (cross-list from cs.RO) [pdf]

Title: Automatic Assembly Planning based on Digital Product Descriptions

Authors: Seppo Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin

Journal-ref: Computers in Industry (2018) vol. 97, pp: 34-46

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

[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)