Andrii Franko

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 4

Top Topics

Mutation Testing

Static Analysis

Symbolic Execution

Test Generation

Top Venues

Publications

Roman P. Bazylevych, Andrii Franko
Input decomposition by clusterization for symbolic execution. CSIT (2022)
Roman Bazylevych, Pawel Czarnul, Andrii Franko
Decomposition of the unit test generation task for parallel computations. CSIT (1) (2021)
Roman Bazylevych, Pawel Czarnul, Andrii Franko
Unit Test Generation in a Cluster Using Parallel Computations and Control Flow Graph Analysis. CSIT (1) (2020)
Roman Bazylevych, Andrii Franko
Parallelization of Unit Tests Generation by Control Flow Graph analysis. CSIT (2) (2019)