Farhad Arbab
Marco Autili
Federico Ciccozzi
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).
- 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.Google Scholar
Cross Ref
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- ´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.Google ScholarCross Ref
- 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.Google Scholar
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
Index Terms
- Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023
Comments