Parallelization of Unit Tests Generation by Control Flow Graph analysis. - Roman P. Bazylevych; Andrii Franko (CSIT (2), 2019)

Unit Test Generation in a Cluster Using Parallel Computations and Control Flow Graph Analysis. - Roman P. Bazylevych; Pawel Czarnul; Andrii Franko (CSIT (1), 2020)

Decomposition of the unit test generation task for parallel computations. - Roman P. Bazylevych; Pawel Czarnul; Andrii Franko (CSIT (1), 2021)

Input decomposition by clusterization for symbolic execution. - Roman P. Bazylevych; Andrii Franko (CSIT, 2022)