Teresa project in media

Overview of the post-COVID-19 syndrome, including the Teresa project aiming to help patients that have respiratory problems in disease aftermath, broadcasted in the Czech public TV channel evening news CT1 Udalosti, from 30:45. More details about the project in the recent interview in Czech public radio channel Cesky Rozhlas Plus or in the Cesky Rozhlas Radiozurnal reportage from the University Hospital Hradec Kralove (in Czech).

Cyber-Security for the Maritime Industry Special Issue

We welcome you to submit your manuscripts to "Cyber-Security for the Maritime Industry", special issue of Information journal. Submission deadline is 30 September 2021.

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.


IoT system to help COVID-19 patients

The pilot run of TERESA (TEleREhabilitation Self-training Assistant) project was successfully finished, helping the first group of COVID-19 patients that have respiratory problems in the subacute phase of the disease. We are currently adding more interaction with patients to the software part to increase its effect further.

DTA in media

Some brief information about the Digital Triage Assistant (DTA) project was recently broadcasted in the Czech public news TV CT24 (Daily news, from 19:18, and Studio CT24, from 17:44) as well as Czech public radio channel (Cesky Rozhlas Plus, from 15:48).

Sensor network for combat casualty care

We cooperate with Johns Hopkins University, the University of Defence, the Czech Armed Forces, the NATO Allied Command Transformation Innovation Hub and the DefSec Innovation Hub on a system to assist in the treatment of wounded soldiers in combat situations or in crisis situations in which the Armed Forces assist the First Responders.

Virtual Reality in Tactical Training of Airport Security

How can virtual reality be used in tactical and operational training of airport security? Our student Filip Bursik explores these options in his master thesis in cooperation with the Prague Airport. We are looking forward to the outcomes of this interesting project!

NATO Innovation Conference, Prague

Miroslav Bures will participate in the panel of the NATO Innovation Conference which is going to be held in Prague. Due to the current COVID situation, the conference is postponed.

Our group is renamed to System Testing IntelLigent Lab

Considering our recent focus on testing of a variety of systems, spanning from complex software to electronics, IoT and mission-critical systems, we renamed our research group from Software Testing to System Testing IntelLigent Lab.

Cognitive Warfare: Battlefield of Tomorrow

We cooperate on ideathon “Hack the Mind. Hack the Brain. Help Us Understand”, organised by DefSec Innovation Hub in collaboration with NATO, Czech Armed Forces and other partners. The event focuses on the actual topic of cognitive warfare and use of modern technologies in it. If this topic belongs to your research interests, we warmly welcome you to participate in this ideathon with your input!

QASM'21 (track of ACM SAC 2021)

We co-organize the QASM'21: ACM SAC track on Quality Assurance and Software Mining, part of The 36th ACM/SIGAPP Symposium On Applied Computing, March 22-March 26, 2021, Gwangju, Korea. This year, the scope of the track is extended more towards software testing methods and test automation. We welcome you to submit a paper to our track!

Model-based Testing Proof-of-Concept for Skoda Auto

May 2020: Skoda Auto is cooperating with our lab on the PoC of automated generation of test scenarios for car tests. In this project, we use the latest MBT methods to automate the generation of complex state-machine based test cases, which are then performed by car testing teams.

Scientific Programming Special Issue

We welcome you to submit your manuscripts to Code Analysis and Software Mining in Scientific and Engineering Applications, special issue of Scientific Programming journal (IF 1.28). Submission deadline is Friday, 10 January 2020.

AI in military IoT applications

Miroslav Bures participates in the workshop Artificial Intelligence in Military IoT Applications, October 11th 2019, Czech Academy of Sciences, Prague

CASM'20 (ACM SAC'20 track)

STILL group co-organizes the CASM'20: ACM SAC track on Code Analysis and Software Mining, part of The 35th ACM/SIGAPP Symposium On Applied Computing, March 30 – April 3, 2020, Brno, Czech Republic.

PatrIoT framework used for Red Hat AMQ integration testing

A joint project of Red Hat and STILL, the PatrIoT integration test automation framework for IoT systems, is being successfully applied to automate core integration tests for Red Hat AMQ product. AMQ serves as communication infrastructure for number of IT an IoT solutions in various businesses.

Test strategy for rescue mission management system

Our lab cooperates on test strategy and automated test design in a project developing a prototype of the new generation system for planning and managing rescue missions conducted by the Police of the Czech Republic and Mountain Rescue Service.

The NASIA network

Our research group is now a member of the Network for Anomaly Detection and Incident Management in IoT Environments.

Future Vision of Testing

Feb 2019: STILL group hosted the ISTQB Academia workgroup session dedicated to the Future Vision of Testing, including topics such as AI in testing or IoT systems reliability.

We have moved

Our lab is growing, so we have moved to a new office space. Now we are located in rooms 221-222 in the CTU FEE campus on Karlovo namesti (building E).

STILL contributes to Electrolux IoT test automation framework

Our lab cooperates with Electrolux on the development of their innovative test automation framework for integration testing of smart appliances. In this project, we follow the vision of automating both principal phases of tests: test design as well as execution of the tests.

CIT Module for Avocado Test Automation Framework by Red Hat

Our lab develops new Combinatorial Interaction Testing (CIT) Module for Avocado Test Automation Framework developed by Red Hat. Repeating the same test script with various testing data combinations is effective test automation pattern, and this capability of the innovative Avocado framework is now further increased.

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.

STILL helps Electrolux to identify IoT testing optimization opportunities

In a joint project of our lab and Electrolux, the leading provider of smart home appliances, our lab does a comprehensive analysis of Electrolux IoT testing processes and suggests their enhancement and optimization opportunities.

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 a four year TACR project „Quality Assurance System for Internet of Things Technology“ in cooperation with Red Hat Czech Republic.