From the window of our lab #1

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

Great panel discussion dedicated to the impact of #AI on current defence systems in the Fires&Effects 2024 conference by Armáda ČR and DefSec Innovation Hub! It was our pleasure to join. acr.army.cz/informacni-ser…

𝗢𝗻𝗹𝗶𝗻𝗲, 𝗵𝗮𝗻𝗱𝘀-𝗼𝗻, 𝗽𝗿𝗮𝗰𝘁𝗶𝗰𝗮𝗹, 𝗮𝗻𝗱 𝗳𝗿𝗲𝗲! 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/…

🍂 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 Universität Passau, 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.

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

Help citizens of Lviv city, damaged after recent Russian rocket and drone attacks. Thanks, ČVUT v Praze and Člověk v tísni, for organizing this donation! #StayWithUkraine darujme.cz/vyzva/1204523#…

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

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…

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.

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

AR-Rescue project with Vrgineers, DefSec Innovation Hub, and Univerzita obrany: 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 ;)

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 DefSec Innovation Hub Univerzita obrany

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.

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…

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

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.