At #amost ICST presenting testing feature models evolution with "specific" test. Andrea Bombarda Silvia Bonfanti

Mike Hoye, delivering an important message about the importance of principled software measurement and testing. "Twitter has probably killed more people than the Therac-25" #icst2024

#ABZ2024: 1 Week to GO! Get ready to immerse yourself in the fascinating realm of #Rigorous #StateBased Methods! #ABZ2024 is just 7 days away, and we're thrilled to offer interactive workshops, engaging talks, and networking opportunities! See you at #ABZ2024!!! UniBg

Rodin workshop@ABZ2024 on the air! #ABZ2024 foselab Patrizia Scandurra fabianvu98 Atif Mashkoor

ABZ 2024 organizing committee UniBg #ABZ2024 #IVOIRE #Bergamo

Silvia Bonfanti presented "The Mechanical Lung Ventilator Case Study" at #ABZ2024 which was vital during Covid-19. #ABZ #FormalMethods #Conference #Lung #Ventilator #CaseStudy #Covid #Corona #Bergamo

#ABZ2024 participants vising the Piazza Vecchia during the guided tour. Angelo Gargantini Frédéric Mallet Patrizia Scandurra

Andrea Bombarda is currently talking about "From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code" at #ABZ2024 #ABZ #FormalMethods #CodeGeneration #Java #Asmeta #ASM #Bergamo #Tool #Transpiler #Conference

Our work has been presented today at #ABZ2024! Angelo Gargantini Andrea Bombarda

Fabian Vu fabianvu98 presented the case study for #ABZ2025 which will be an autonomous driving system. #ABZ #FormalMethods #Conference #Düsseldorf #Bergamo #AI #AutonomousDriving #Automotive #CaseStudy #Highway

As #ABZ2024 ABZ Conference concludes, a huge thank to Elvinia, Angelo Gargantini, Silvia Bonfanti, Patrizia Scandurra, and the entire team UniBg for the fantastic hosting! Looking forward to seeing everyone at Heinrich-Heine-Universität Düsseldorf for #ABZ2025! #Bergamo #Düsseldorf

Thank you for this great experience!! See you in 2025!!! #ABZ2025

Manuel Núñez, Universidad Complutense de Madrid, giving the first lecture on Metamorphic testing of maps at the Tarot SUMMER school that just started

Paolo Arcaini's lecture on "Search-based analysis of autonomous systems" is going on TAROT Summer School

We proudly announce the 37th International Conference on Testing Software and Systems in the beautiful city of Limassol, Cyprus, starting on 17 to 19 September 2025. youtu.be/JvtWjtSrXEo IFIP University of Cyprus Silvia Bonfanti George Papadopoulos #ICTSS2025 #testing #softwaretesting

ICTSS 2025 is now co-located with ECSA 2025. Double the knowledge, double the networking opportunities! For more information, visit: conf.researchr.org/home/ecsa-2025 #ICTSS2025 #testing #softwaretesting #Limassol IFIP University of Cyprus Silvia Bonfanti George Papadopoulos

The 37th International Conference on Testing Software and Systems will be held in the beautiful city of Limassol, known for its rich history and vibrant culture! cyprusconferences.org/limassol/ #ICTSS2025 #softwaretesting #Limassol IFIP University of Cyprus Silvia Bonfanti George Papadopoulos

Are you planning to submit your work at #ICTSS2025? Here is some information about #Springer's templates

Do you have work on Testing Software and Systems? Submit the results at ICTSS2025 IFIP

We are honored to announce Dr. Bertrand Meyer from the ETH Zurichas our keynote speaker for ICTSS 2025! ➡️ More details here conf.researchr.org/info/ictss-202… #ICTSS2025 #testing #softwaretesting #Limassol IFIP University of Cyprus Silvia Bonfanti George Papadopoulos EasyConferences