@intelligent_lab

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

 Prague, Czechia
still.felk.cvut.cz
Joined July 2020
  • Tweets118
  • Following115
  • Followers59
42Media
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
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
43
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…

Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints

Path-based testing is an established method for creating test cases comprising sequences of steps executed in a System Under Test (SUT). Several algorithms for generating the test sequences (paths)...

ieeexplore.ieee.org
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…

Pomozme městu LVOV

Výzva pro zaměstnance a studenty ČVUT: Pomozme Lvovu!

darujme.cz
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
CS Department at FEE CTU Prague@ctu_cs12 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,097
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
Stratosphere Laboratory AIC FEE CTU@StratosphereIPS3 Sep 2024
𝗢𝗻𝗹𝗶𝗻𝗲, 𝗵𝗮𝗻𝗱𝘀-𝗼𝗻, 𝗽𝗿𝗮𝗰𝘁𝗶𝗰𝗮𝗹, 𝗮𝗻𝗱 𝗳𝗿𝗲𝗲! 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…

CTU’s "Introduction to Security" Class is now a Free Online Course! — Stratosphere Laboratory

We are thrilled to announce that, for the first time, the Czech Technical University in Prague is offering the "Introduction to Security" course as a Massive Open Online Course!

stratosphereips.org
3
22
7
30
12,606
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
From the window of our lab #1
65
Load more