Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023
Authors: 
Farhad Arbab, 
Marco Autili, 
Federico Ciccozzi, Pascal Poizat, Massimo TivoliAuthors Info & Claims
Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo TivoliAuthors Info & ClaimsPages 24 - 26
Abstract
Over the past three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible, spanning requirements specification, system modeling, code generation, testing, deployment, verification, as well as release phases, project status reporting and system maintenance. Automation helps to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. The Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) provided a forum to share and discuss innovative contributions to research and practice related to novel software engineering approaches to automated and verifiable development of software systems. The 5th edition took place on September 11th, 2023, in Kirchberg, Luxembourg. Notably, this marked the inaugural co-location of ASYDE with the IEEE/ACM International Conference on Automated Software Engineering (ASE).
References
[1]
Alexandre Abreu, Nuno Macedo, and Alexandra Mendes. Exploring automatic specification repair in dafny programs. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 105--112. IEEE, 2023.
[2]
Issam Al-Azzoni and Reiko Heckel. Modelling multi-party role-based access control policies for icontractml smart contracts. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 100--104. IEEE, 2023.
[3]
Marco Autili, Gianluca Filippone, and Massimo Tivoli. Migrating from monoliths to microservices: Enforcing correct coordination. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 113--118. IEEE, 2023.
[4]
´Edouard Gu´egain, Amir Taherkordi, and Cl´ement Quinton. ICO: A platform for optimizing highly configurable systems. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 62--67. IEEE, 2023.
[5]
Mashal Afzal Memon, Gian Luca Scoccia, and Marco Autili. Automated negotiation - preliminary results of a systematic mapping study. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 94--99. IEEE, 2023.
[6]
Ioana-Claudia Rotaru and Andreea Vescan. Test case prioritization based on neural network classification with artifacts traceability. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 78--87. IEEE, 2023.
[7]
Gian Luca Scoccia. Exploring early adopters' perceptions of chatgpt as a code generation tool. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 88--93. IEEE, 2023.
[8]
Andreea Vescan, Radu Dan Gaceanu, and Arnold Szederjesi-Dragomir. Neural network-based test case prioritization in continuous integration. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 68--77. IEEE, 2023.
Index Terms
- Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023
Index terms have been assigned to the content through auto-classification.
Recommendations
Comments
Information & Contributors
Information
Published In
Copyright © 2023 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 27 December 2023
Published in SIGSOFT Volume 49, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 36Total Downloads
- Downloads (Last 12 months)25
- Downloads (Last 6 weeks)5
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in