Skip to content



We are doing research within our STILL research group. STILL (Software Testing IntelLigent Lab) is a research lab located in the Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in Prague dedicated to research in software testing and search based software engineering. The overall aim of the lab is to develop new tools and strategies for testing complex software systems in an efficient and automated way. The lab also aims to help industrial partners for developing cost-effective and advanced testing techniques for real-world systems. Currently, we are working in six research topics related to software engineering.

  • Combinatorial Interaction Testing
  • Search-based Software Engineering
  • Quality aspects of IoT systems
  • Business process and workflow testing
  • Mutation testing
  • Architectures and process setup for test automation

For more details about these projects, please visit our research group webpage.

For collaboration and student supervision (Ph.D. & Master), please contact me


Current Projects


Developing testing strategies and consultation mainly in Avocado testing framework.

Project Name: CIT for Avocado

Project Description: The project aims to design and implement a new plugin to the open- source Avocado framework, which allows generating much more efficient test data. The new plugin will add the capability of Combinatorial Interaction Testing (CIT) to the framework by decreasing the number of test cases.


Past Projects

PSTG: Particle Swarm Test Generator

Project Description: Particle Swarm-based t-way Test Generator (PSTG) is designed for generating uniform and variable strength covering arrays. Unlike other existing AI-based t-way testing strategies, the lightweight computation of the particle swarm search process enables PSTG to support high interaction strengths of up to t=6. The performance of PSTG is evaluated using several sets of benchmark experiments. Comparatively, PSTG consistently outperforms its AI counterparts and other existing testing strategies as far as the size of the array is concerned.