ICTSS2025

The proceedings of ICTSS 2025 on Testing Software and Systems are now available! 📖 Access the full proceedings here: link.springer.com/book/10.1007/9… #ICTSS2025 @ifipnews @SilviaBG_IT @georgeangelos @easy_conf

The full ICTSS 2025 program has just been released—check out what’s in store for this exciting event. 🗓️ 📍 conf.researchr.org/home/ictss-2025 #ICTSS2025 #testing #softwaretesting #Limassol @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos @easy_conf

Heading to Limassol for #ICTSS2025? Don’t get lost—check out our quick travel guide with everything from airport transfers to local transport! 🔗 cyprusconferences.org/limassol-trave… @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos @easy_conf

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 @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos @easy_conf

The countdown has begun! In just 30 days, we’ll gather for the 37th International Conference on Testing Software and Systems filled with knowledge, & networking opportunities. #ICTSS2025 #testing #softwaretesting @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos @easy_conf

Acceptance letters for the 37th International Conference on Testing Software and Systems have been sent out! In case you have any inquiries, please communicate with the Organisers. #ICTSS2025 @easy_conf

The general track submission deadline for ICTSS 2025 has been extended! Don’t miss your chance to contribute to this exciting event.📝 📷 New Deadline: June 2, 2025 📷 #ICTSS2025 #Limassol @ifipnews @SilviaBG_IT @georgeangelos

Please consult Springer’s Instructions or the Word templates provided on the authors’ page. #Springer’s proceedings LaTeX templates are available in Overleaf. Authors are encouraged to include their ORCIDs in their papers. @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos #IFIP

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 @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos

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 @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos

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 @ifipnews @UCYOfficial @SilviaBG_IT @georgeangelos #ICTSS2025 #testing #softwaretesting

ABZ 2025 will be held in the city center of Düsseldorf, Germany at Haus der Universität @HHU_de from 10th June - 13th June #ABZ2025 #ABZ #FormalMethods #Conference #Düsseldorf #Germany #HHU #HausderUniversität

The deadline for SI on SN Computer Science is approaching!! You have 1 week left to submit your paper!! resource-cms.springernature.com/springer-cms/r… @SpringerNature #SNComputerScience #SpecialIssue #Testing

Are you interested in publishing a paper on the SI "Testing Software and Systems: theory and applications" on SN Computer Science? Here you can find the topics and the submission guidelines resource-cms.springernature.com/springer-cms/r… #SNComputerSciece #testing #ICTSS #journal #specialissue

We are very happy to announce that there is a Special Issue on SN Computer Science. The submission deadline will be the 31st of January 2024, don't miss it!! springer.com/journal/42979/… More details soon!!

Yesterday, ICTSS 2023 was concluded. The organizing committee thanks all the ICTSS participants. Hope to see you all (and others) next year!!! If you are interested in organizing future editions, details are here: sites.google.com/site/ictssmain…

Here we are at the last talk of this edition!! Natalia Kushik is presenting their work on “Probabilistic approach for minimizing checking sequences for non-deterministic FSMs”

The last session has just begun!! Ildar Nigmatullin from University of Toulouse is presenting their work entitled “RQCODE: Security Requirements Formalization with Testing”

Chao Tan from University of Oslo is now presenting their work about “Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language” #LLM #Testing

Are you interested in understanding the tester routines and behavior? Let’s listen to the talk given by @Greg4cr from @chalmersuniv @goteborgsuni that won the Best Paper Award!!