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.
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.
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.
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!
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.
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!
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!
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.
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.
Miroslav Bures participates in the workshop Artificial Intelligence in Military IoT Applications, October 11th 2019, Czech Academy of Sciences, Prague
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.
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.
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.
Our research group is now a member of the Network for Anomaly Detection and Incident Management in IoT Environments.
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.
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).
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.
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.
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.
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.
24.1.2018, 14:00 Red Hat Open Source Lab, E228
Presentation explaining Spectre/Meltdown CPU security issues and options of fixing them.
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.