A-MOST Workshop

20th Workshop on Advances in Model Based Testing (A-MOST)

[A-MOST Workshop @AMOSTWorkshop]

Next year the 20th edition of A-MOST is set to happen, co-located with ICST! Celebrate with us, and submit your latest work on model-based testing by January 29.

https://t.co/N2sxKAThlU

#ICST2024 #AMOST2024 #ModelBasedTesting #anniversary

[A-MOST Workshop @AMOSTWorkshop]

The 19th Workshop on Advances in Model based Testing has been accepted at ICST2023. Joing us in April 2023!
@AMOSTWorkshop

#AMOST2023 #ICST2023

https://t.co/Z0obHQnCuF

[A-MOST Workshop @AMOSTWorkshop]

The A-MOST2022 deadline has been extended by two weeks. Please share the news, and consider submitting your work! #AMOSTWorkshop #AMOST2022 #ICST2022

[A-MOST Workshop @AMOSTWorkshop]

The 18th Workshop on Advances in Model based Testing has been accepted at ICST2022. Joing us in April 2020! @AMOSTWorkshop
#AMOST2022 #ICST2022

https://t.co/OowQ99JZuZ

[A-MOST Workshop @AMOSTWorkshop]

Thank you Marius Mikučionis for the hands-on tutorial on using #UPPAAL for test case generation! #AMOST2021

[A-MOST Workshop @AMOSTWorkshop]

The keynote talk "Model-Based Testing and Model-Learning for Variability-Intensive Systems" by Mohammad Mousavi just started! #AMOST2021 @smr_mousavi

[A-MOST Workshop @AMOSTWorkshop]

It's our great pleasure to have Jeff Offutt, Mohammad Mousavi and Marius Mikucionis giving keynote talks and an invited tutorial at A-MOST! Check our program at @icstconference and join us on Monday:

https://t.co/dywLAZKQpe

@JeffOffutt @smr_mousavi

[A-MOST Workshop @AMOSTWorkshop]

Thank you @JeffOffutt for accepting our invitation! Looking forward for your keynote talk "Nobody cares about models, but everybody wants automation"!

[Jeff Offutt @JeffOffutt]

Just finished 1st draft of slides for my keynote talk @AMOSTWorkshop @icst2021. Can't wait for Monday morning! @ralucalefticaru @icstconference #MBT #SoftwareTesting #ModelBasedTesting

[A-MOST Workshop @AMOSTWorkshop]

7 days left until submission closes for #AMOST2021! Plenty of time to finish your full / short paper, or prepare a 2-page summary of your journal-first submission!

https://t.co/oAMMhfS50B

@ICST2021 @ICSTconference #testing #models #SoftwareTesting #ModelBasedTesting #MBT

[A-MOST Workshop @AMOSTWorkshop]

📣📣 Due to popular demand we extended the paper submission deadline for #AMOST2021 until the 20th of January 🗓️
https://t.co/R1LlWEkM0x

@ICST2021 @ICSTconference #testing #models #SoftwareTesting #ModelBasedTesting #MBT #FormalSpecifications #ModelChecking #SoftwareEngineering

[A-MOST Workshop @AMOSTWorkshop]

🗓️ We are one month away for #AMOST2021 submissions! Get your model based testing paper ready and send it to @AMOSTWorkshop by January 10! ✍️🧑‍💻🐞 🛡️ 📰
@ICSTConference @ICST2021 #testing #SoftwareTesting #ModelBasedTesting #MBT #AutomatedTesting
https://t.co/oAMMhfS50B

[A-MOST Workshop @AMOSTWorkshop]

Following the tradition, the 17th edition of A-MOST workshop will take place on the first day of @ICSTconference!

Paper submission DEADLINE: 10 Jan 2021

https://t.co/R1LlWEkM0x

[ICST @icstconference]

The 17th Workshop on Advances in Model Based Testing (A-MOST 2021) will again be co-located @icst2021, an online event that will take place in April 2021.

DEADLINE 10 Jan 2021

https://t.co/sm3NjMajsQ

[A-MOST Workshop @AMOSTWorkshop]

📢We can happily announce that #AMOST2021 CfP is here! Check our track at #ICST2021 and start writing your next testing paper✍️🐞 @ICSTConference @AMOSTWorkshop @icst2021

https://t.co/R1LlWE3aBX

[A-MOST Workshop @AMOSTWorkshop]

Working with graph databases? See here a model-based testing approach for read only graph queries, supporting automated test creation, execution, and evaluation, presented by Leen Lambers @AMOSTWorkshop #AMOST2020 #ICST2020
https://t.co/7ynXdZ8vtP

[A-MOST Workshop @AMOSTWorkshop]

Ciprian Paduraru presenting optimizations made using reinforcement learning to #RIVER, a binary fuzz testing framework @AMOSTWorkshop #AMOST2020 #ICST2020
https://t.co/lYVzabXCyp
https://t.co/STHSD0HmFD

[A-MOST Workshop @AMOSTWorkshop]

Model-based mutation testing using #UPPAAL - Florian Lorber @AMOSTWorkshop #AMOST2020 #ICST2020

https://t.co/DWj8duFgGz

[A-MOST Workshop @AMOSTWorkshop]

Paolo Arcaini illustrating the MAPE-based testing approach on a smart home case study. #MAPEK #ASM #MSL #AMOST2020 #ICST2020 @AMOSTWorkshop
https://t.co/OVJ2QqBfVw

[A-MOST Workshop @AMOSTWorkshop]

Rachid Kherrazi from Akka Technologies presents STTSpec and how tabular notations for state models can be used to support testing @AMOSTWorkshop #AMOST2021

[A-MOST Workshop @AMOSTWorkshop]

Another application in the automotive domain: Franz Wotawa presenting ontology-based testing for autonomous driving functionality!  #AMOST2020 @AMOSTWorkshop @ICSTConference  https://t.co/dGzPCKWcTh

[A-MOST Workshop @AMOSTWorkshop]

Shahid Mahmood presenting an application of model-based testing for security of automotive over-the-air updates @AMOSTWorkshop #AMOST2020