System Testing IntelLigent Lab (STILL)

Research lab at CTU in Prague, @ctu_cs @CVUTFEL @CVUTPraha. We develop new effective testing methods for complex and critical systems. #software #IoT #AI 🇨🇿

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

We are looking for PhD students interested in the fields of model-based testing, test automation and formal verifications of complex SW, IoT and mission-critical systems. We offer you interesting projects in the field, and Prague is a great city to live in!

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

13.11. a 4.12.2025 budeme v Praze opět pořádat další workshopy projektu AR-Rescue, tentokrát již s připomínkováním konkrétního hardware a uživatelských rozhraní aplikací. Srdečně zveme cílové uživatele řešení z oblasti CBRN a IZS.

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

13.11. a 4.12.2025 budeme v Praze opět pořádat další workshopy projektu AR-Rescue, tentokrát již s připomínkováním konkrétního hardware a uživatelských rozhraní aplikací. Srdečně zveme cílové uživatele řešení z oblasti CBRN a IZS.

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

Looking forward to sharing my thoughts on test automation, Model-based Testing, DeepMBT project and #AI at MeetUp this Thursday in Prague: https://t.co/opIIq1dnyg

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

Can the current drawbacks of the Model-based Testing (MBT) be minimized to make the technique much more effective in test automation? How can #AI help in this process? Join the DeepMBT project workshop, Prague, October 1st, 2025. Agenda: https://t.co/FqiAQpB2C5

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

We know the date and place of the upcoming DeepMBT project workshop for the research team and prospective solution users: Wednesday, October 1st 2025, Vila Lanna, Prague. Agenda details are going to be announced soon.

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

AR-Rescue project goes forward well. The hardware in a diagnostic configuration is completed according to the plan, and the software is now tuned to be tested in the field soon! #FirstResponders #CBRN @Vrgineers @Defseccz @uniobranybrno

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

AR-Rescue project with @Vrgineers, @Defseccz, and @uniobranybrno: Putting the first AR visor hardware assembly together and looking forward to the first field tests! This is how the optical module is going to look like. The image quality when you see it in real is much higher ;)

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

Working on a new web app with collections of real-life path-based #testing models, including a generator of artificial models to give more realism to comparison and further evolution of path-based testing techniques. #MBT

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

It’s almost four years since we finished developing the software engine for the https://t.co/IMkiX8QsjQ and handed the system over to the National Pedagogical Institute of the Czech Republic. Since then, minimum outages, bugs, and 50k submitted e-learning exercises every year.

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

The next step in handling negative constraints in test path generation is successfully done! Check our recent report on using Ant Colony Optimization to generate test paths satisfying two types of negative constraints in @QRS_Conference 2024 proceedings: https://t.co/JbPcdNXYiZ

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

Our project DeepMBT, with the Faculty of Computer Science and Mathematics of @UniPassau is progressing well. The first two conference papers about constraints handling in path-based testing will soon be submitted to @icstconference!

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

Help citizens of Lviv city, damaged after recent Russian rocket and drone attacks. Thanks, @CVUTPraha and @CLOVEKVTISNI, for organizing this donation! #StayWithUkraine https://t.co/MMNqUoyahm

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

17.10. a 14.11. odpoledne budeme v Praze pořádat workshopy k našemu projektu AR-Rescue, výzkumu a vývoji technologie pro zvýšení efektivity a bezpečnosti zásahů jednotek CBRN a HZS. Srdečně zveme potenciální cílové uživatele řešení!

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

17.10. a 14.11. odpoledne budeme v Praze pořádat workshopy k našemu projektu AR-Rescue, výzkumu a vývoji technologie pro zvýšení efektivity a bezpečnosti zásahů jednotek CBRN a HZS. Srdečně zveme potenciální cílové uživatele řešení!

[CS Department at FEE CTU Prague @ctu_cs]

🍂 Fall season in the name of #cybersecurity! 🔐 Join our 🆓 course to become an expert in just 14 weeks. This popular class is run by researchers with love for teaching who gained the respect of the cybersecurity community. 🦸‍♀️ Register until Sept. 30! 📥 https://t.co/c4teaCtRxk

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

Our new project, DeepMBT with @UniPassau, recently started to increase the effectiveness and power of path-based testing techniques. In this project, we explore introducing constraints to test paths generation and model inference techniques leading to more effective tests.

[Stratosphere Laboratory AIC FEE CTU @StratosphereIPS]

𝗢𝗻𝗹𝗶𝗻𝗲, 𝗵𝗮𝗻𝗱𝘀-𝗼𝗻, 𝗽𝗿𝗮𝗰𝘁𝗶𝗰𝗮𝗹, 𝗮𝗻𝗱 𝗳𝗿𝗲𝗲!
CTU's "Introduction to Security" Class opens online for free! Join us and register for free. Starting on Sep 26th. #cybersec #infosec #blueteam #redteam
https://t.co/Cnk6p1AmJl

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

Great panel discussion dedicated to the impact of #AI on current defence systems in the Fires&Effects 2024 conference by @ArmadaCR and @Defseccz! It was our pleasure to join.

https://t.co/v1eGiey9JL

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

From the window of our lab #2 - a detail. 💙CTU

[System Testing IntelLigent Lab (STILL) @intelligent_lab]

From the window of our lab #1