Ready to break the mold? We are looking for bold, cutting-edge research for a special issue in the prestigious Automated Software Engineering journal focusing on automated and verifiable software system development. https://t.co/4ov39yeMmC

Are you working on automated software development, compositional verification theories, integration architectures, and automated planning? Submit your work at the 7th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) https://t.co/dqiv4cDBUI

The paper submission deadline for the 6th International Workshop on Automated and Verifiable Software System Development (ASYDE) has been extended to August 10, 2024. For more details, check out our official website: https://t.co/AyVep1mg4E #ASE2024 #SoftwareEngineering

The 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (#ASYDE2024) will be hosted in the @ASE_conf 📍 Sacramento, CA 🗓️ 28th October 2024 Submission deadline: 28th July 2024 Check more at

Are you working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms? Submit your work to #ASYDE2024. More info below ⏬

The session has ended and with it the workshop is over. See you next year for the 6th edition of ASYDE!! @ASE_conf

The third talk of the session has begun! Gianluca Filippone talks about "Migrating from monoliths to microservices: enforcing correct coordination" @ASE_conf

Second talk of the session by Alexander Abreu has started: "Exploring Automatic Specification Repair in Dafny Programs" @ASE_conf

Starting the last session with a talk about "Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts" by Reiko Heckel @ASE_conf

We have a second talk on test case prioritization from Arnold Szederjesi titled "Neural Network-based Test Case Prioritization in Continuous Integration" @ASE_conf

Second talk in the session is "Test Case Prioritization based on Neural Network Classification with Artifacts Traceability" from Andreea Vescan @ASE_conf

The second session on Prioritization and Optimization has just started with a talk from Eduard Guegain titled "ICO: A Platform for Optimizing Highly Configurable Systems"

We now have a talk on a systematic mapping study on Automated Negotiation approaches from Mashal Afzal Memon

The 5th edition of ASYDE has just begun! To kickoff there is a keynote on "Machine Learning Security in the Real World" by Dr. Maxime Cordy

Are you interested in test case prioritization in continuous integration? You are welcome to discuss this topic with us, @RaduGaceanu , Arnold Szederjesi and yt, during the @ASE_conf in the talk at the @ASYDE_WS. Or talk to us during coffee breaks.

Please check the program of #ASYDE_2023 here: https://t.co/cLCHgQsZxT 🤩

Notifications are out! 8 papers were accepted out of 19 submissions. Congratulations to all authors of the accepted papers! 🥳

Call for Papers! We are looking for your submissions.

Are you working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms? Submit your work to #ASYDE2023. 🗓️Submission deadline: July 22, 2023

📢 Accepted #ASYDE_2023 workshop papers will be included in #ASE2023's conference proceedings. 🗓️ Submission deadline: July 22, 2023.