System Testing IntelLigent Lab (STILL)

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!

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.

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.

Looking forward to sharing my thoughts on test automation, Model-based Testing, DeepMBT project and #AI at MeetUp this Thursday in Prague: #about" target="_blank" rel="nofollow noopener">praha.meetupdate.cz/cs#about

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: still.felk.cvut.cz/download/deepm…

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.

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

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 ;)

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

It’s almost four years since we finished developing the software engine for the historylab.cz 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.

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: ieeexplore.ieee.org/document/10684…

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!

Help citizens of Lviv city, damaged after recent Russian rocket and drone attacks. Thanks, @CVUTPraha and @CLOVEKVTISNI, for organizing this donation! #StayWithUkraine #vyzva" target="_blank" rel="nofollow noopener">darujme.cz/vyzva/1204523#…

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í!

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í!

🍂 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! 📥 aic.fel.cvut.cz/news/become-a-…

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.

𝗢𝗻𝗹𝗶𝗻𝗲, 𝗵𝗮𝗻𝗱𝘀-𝗼𝗻, 𝗽𝗿𝗮𝗰𝘁𝗶𝗰𝗮𝗹, 𝗮𝗻𝗱 𝗳𝗿𝗲𝗲! CTU's "Introduction to Security" Class opens online for free! Join us and register for free. Starting on Sep 26th. #cybersec #infosec #blueteam #redteam stratosphereips.org/blog/2024/9/3/…

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. acr.army.cz/informacni-ser…

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

From the window of our lab #1