ASYDE 2023

11th September 2023
Kirchberg, Luxembourg
5th International Workshop on Automated and verifiable Software sYstem DEvelopment
Co-located with the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)


  • Program schedule has been updated
  • Keynote has been anounced

Call for Papers

During the last 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.
Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies evolving requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.
This becomes particularly true these days when we are, and will be, increasingly surrounded by a virtually infinite number of software artifacts -- often underspecified -- that can be composed to build new applications. This situation radically changes the way software will be produced and used:

  • software is increasingly produced according to a certain goal, that can change during the system's execution, and by integrating existing software;
  • the focus of software production is then on the ability to perform automated reasoning to achieve software integration and development that can be kept always correct-by-construction via static and dynamic verification.
This calls for automated software development methods and techniques, compositional verification theories, integration architectures, as well as, automated flexible and dynamic composition, and development mechanisms.

ASYDE 2023 aims to provide 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.

Topics of interest include, but are not limited to, the following:

  • Automated software development, verification and integration, for example, Automated synthesis of software integration code, Formal methods for automated software development, Automated and verifiable software development, Software quality assurance for automated software development
  • Specification, architecture, and design of software and verification models
  • Description and validation of Non-functional properties of software
  • Dynamic verification and testing
  • Correct-by-construction software development
  • Compositional theories for software development and its (dynamic) verification
  • Service-oriented and Component-based software development
  • Serverless-based systems development
  • Model-driven software development
  • Microservices, for example, Formal specification of (micro)services, Formal models for microservices, Methods and tools for (semi)-automatically migrating monolithic systems to component-based or microservice-based systems
  • Automated planning methods
  • Machine learning and AI techniques
  • Automatic methods for the development and verification of smart contracts

Important Dates

Paper Submission

22th July, 2023


13th August, 2023


18th August, 2023

Submission guidelines

ASYDE 2023 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.
Contribution can be:

Regular papers (up to 10 pages): in this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case-studies) in the application software engineering approaches for building software systems via automated development and verification. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers.

Short papers (up to 5 pages): this category includes tool demonstrations, position papers, well-pondered and sufficiently documented visionary papers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tool available for use by reviewers.

All papers must:

  • be written in English;
  • be formatted according to the guidelines for IEEE conference proceedings;
  • not exceed 5 pages (short papers) or 10 pages (regular papers) for the submission and pre-proceedings (up to two additional pages containing ONLY references are permitted).

Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere.

Each submitted paper will undergo a formal peer review process by at least 3 Program Committee members.

Accepted papers will be included in the ASE's conference proceedings.

Paper submission is done via EasyChair.


Registration is now open. Registration fees and instructions are available on the ASE 2023 website.


Times are displayed in Central European Summer Time (UTC +2)

09:00 - 10:30


10:00 - 10:30

Coffee break

10:30 - 11:20


Machine Learning Security in the Real World
Maxime Cordy

Session 1: AI and Intelligent Systems

Chair: Gianluca Filippone

11:20 - 11:40

Exploring Early Adopters' Perceptions of ChatGPT as a Code Generation Tool

Gian Luca Scoccia

11:40 - 12:00

Automated Negotiation - Preliminary results of a systematic mapping study

Mashal Afzal Memon, Gian Luca Scoccia and Marco Autili

12:00 - 13:30

Lunch break

Session 2: Prioritization and Optimization

Chair: Gian Luca Scoccia

13:40 - 14:00

ICO: A Platform for Optimizing Highly Configurable Systems

Edouard Guegain, Amir Taherkordi and Clément Quinton

14:00 - 14:30

Test Case Prioritization based on Neural Network Classification with Artifacts Traceability

Ioana-Claudia Rotaru and Andreea Vescan

14:30 - 15:00

Neural Network-based Test Case Prioritization in Continuous Integration

Andreea Vescan, Radu Găceanu and Arnold Szederjesi

15:00 - 15:30

Coffee break

Session 3: Contract and Microservices

Chair: Gian Luca Scoccia

15:30 - 15:50

Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts

Issam Al-Azzoni and Reiko Heckel

15:50 - 16:20

Exploring Automatic Specification Repair in Dafny Programs

Alexandre Abreu, Nuno Macedo and Alexandra Mendes

16:20 - 16:40

Migrating from monoliths to microservices: enforcing correct coordination

Marco Autili, Gianluca Filippone and Massimo Tivoli

Steering Committee

    Farhad Arbab, Centre for Mathematics and Computer Science (The Netherlands)

Organizers and Main Contacts

    Gianluca Filippone
    Department of Information Engineering, Computer Science and Mathematics – University of L’Aquila, Italy
    Rim Saddem
    Aix Mairselle University, Marseille, France
    Gian Luca Scoccia
    Gran Sasso Science Institute, L'Aquila, Italy

Program Committee

Previous editions

ASYDE 2022 (at SEFM)
ASYDE 2021 (at SEFM)
ASYDE 2020 (at SEFM)
ASYDE 2019 (at SEFM)


European Convention Center Luxembourg (ECCL)
4 Pl. de l'Europe
1499 Kirchberg, Luxembourg