News

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

Archive

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
released

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) algorithm

more

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.

more

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