5th International Workshop on Automated and verifiable Software sYstem DEvelopment Co-located with ASE 2023
Kirchberg, Luxembourg
Joined May 2023
- Tweets23
- Following30
- Followers11
- Likes12
Pinned Tweet
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.
ause-journal.github.io/24asy…
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)
asyde-series.github.io/asyde…
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:
asyde-series.github.io/asyde…
#ASE2024 #SoftwareEngineering
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 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 asyde-series.github.io/asyde…
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
ASYDE 2023 retweeted
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.
Notifications are out! 8 papers were accepted out of 19 submissions.
Congratulations to all authors of the accepted papers! 🥳
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.