42 Photos and videos
Pinned Tweet
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!
1
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.
12
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
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
16
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/…
1
39
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.
27
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
26
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 ;)
56
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.
54
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…
43
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!
37
Help citizens of Lviv city, damaged after recent Russian rocket and drone attacks. Thanks, @CVUTPraha and @CLOVEKVTISNI, for organizing this donation! #StayWithUkraine darujme.cz/vyzva/1204523#vyz…
72
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í!
1
85
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í!
1
97
System Testing IntelLigent Lab (STILL) retweeted
12 Sep 2024
🍂 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-…
1
8
13
1,094
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.
1
1
96
System Testing IntelLigent Lab (STILL) retweeted
𝗢𝗻𝗹𝗶𝗻𝗲, 𝗵𝗮𝗻𝗱𝘀-𝗼𝗻, 𝗽𝗿𝗮𝗰𝘁𝗶𝗰𝗮𝗹, 𝗮𝗻𝗱 𝗳𝗿𝗲𝗲!
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/202…
3
22
30
12,594
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-servi…
1
72
From the window of our lab #2 - a detail. 💙CTU
73