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.

Official Page of Avocado Here

Github Repository Here

Project Name: Code-based Testing

Developing a test generation tool using adaptive analysis process

Project Description:  The goal of the project is to use code internal structures and analysis for test generation. The analyzed information is used in the test generation process in the developed tool.

More to come soon …

Project Name: Statistical Test Generation

Study and design different statistical methods for test generation

Project Description: The goal of the project is to replace the random testing process with a statistical method and generate the test cases based on a designed algorithm.

More to come soon …

Project Name: Smart TV app

Developing a framework for smart TV application Testing

Project Description: The goal of the project is to develop a framework to test the smart TV applications for IoT purposes. The project is a long-running project and has many directions like test generation, test strategy, test execution, in addition to the mainstream of research which is the model-based testing.

More to come soon …

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.