System Testing IntelLigent Lab (STILL)
@intelligent_lab
Followers
63
Following
51
Media
38
Statuses
114
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
Joined July 2020
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!
0
0
1
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.
0
0
0
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
0
0
0
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 ;)
0
0
0
It’s almost four years since we finished developing the software engine for the 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.
0
0
0
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
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)...
0
0
0
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!.
0
0
0
Help citizens of Lviv city, damaged after recent Russian rocket and drone attacks. Thanks, @CVUTPraha and @CLOVEKVTISNI, for organizing this donation! #StayWithUkraine
darujme.cz
Výzva pro zaměstnance a studenty ČVUT: Pomozme Lvovu!
0
0
0
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í!
0
1
0
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í!
0
1
0
RT @ctu_cs: 🍂 Fall season in the name of #cybersecurity! 🔐 Join our 🆓 course to become an expert in just 14 weeks. This popular class is ru….
0
8
0
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.
0
1
1
RT @StratosphereIPS: 𝗢𝗻𝗹𝗶𝗻𝗲, 𝗵𝗮𝗻𝗱𝘀-𝗼𝗻, 𝗽𝗿𝗮𝗰𝘁𝗶𝗰𝗮𝗹, 𝗮𝗻𝗱 𝗳𝗿𝗲𝗲!.CTU's "Introduction to Security" Class opens online for free! Join us and regis….
stratosphereips.org
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!
0
22
0
A detail about our AR-Rescue project with CTU FMBI, @uniobranybrno, @Vrgineers, and @Defseccz in @CRozhlas radio broadcast: (in Czech). Thanks @IvetaVav for great job covering this topic!.
irozhlas.cz
Armáda plánuje vznik speciálního praporu, který bude experimentovat s novými technologiemi a zavádět je do praxe. Prohlubuje proto spolupráci s českými univerzitami.
0
2
1
Finishing the first round of analysis for the AR-Rescue project with CTU FBMI, @uniobranybrno, @Vrgineers, and @Defseccz. The goal is to make First Responder's and #CBRN unit's missions more effective and safer through better situational awareness employing #sensors and #AR.
0
0
1
Will AI replace human testers? What about a 10-year horizon? Miroslav Bures will give a few thoughts about this topic this March at TestCrunch 2024, Brno.
0
0
0
5/5 Simply, it's worth using some mathematics to give industry testing practitioners another set of useful testing tools and to give this business a self-explanatory name - Constrained Path-based Testing (CPT).
0
0
1