PhD positions opened!
We are looking for PhD students interested in the fields of Model-based software and IoT testing, test automation and formal verifications of SW and IoT systems.more
The NASIA network
Our research group is the member of the Network for Anomaly Detection and Incident Management in IoT Environments.more
Future Vision of Testing
Feb 2019: STILL group hosted the ISTQB Academia workgroup session dedicated to the Future Vision of Testing, including topics as AI in testing or IoT systems reliability.more
We have moved
Our lab is growing, so we have moved to the new office space. Now we are located in rooms 221-222 in the CTU FEE campus on Karlovo namesti (building E).more
Oxygen 2.0 beta
Dec 2017: New version of Oxygen Model-based Testing platform released, including simplified UML Activity Diagram as SUT model and new Prioritized Process Test (PPT) algorithmmore
RedHat talk on
Spectre/Meltdown security issues
24.1.2018, 14:00 Red Hat Open Source Lab, E228
Presentation explaining Spectre/Meltdown CPU security issues and options of fixing them.
Quality Assurance System for Internet of Things Technology
From January 2017 we are starting four years TACR project „Quality Assurance System for Internet of Things Technology“ in coopearation with Red Hat Czech Republic.more