Projects

Mutation testing for R with mutator

mutator brings mutation testing to R packages: it systematically mutates source code, runs the test suite against each mutant, and reports how many are killed, survived, or timed out.

R4R: Reproducibility for R

The project focuses on the reproducibility of computational notebooks in R.

Data Bugs

The goal of this project is to develop new programming language technologies to assist data scientists, using the R language for empirical validation of our novel ideas. The project is financed by the operational program Jan Amos Comenius and spans from March, 2023, to March, 2025.

Fuzzing R

R is a vector-oriented, dynamic language, mostly used in data-science. It is difficult to statically analyze, and so we mainly use dynamic techniques to gather insights about R programs. One instance of them is fuzzing.

Eval in R

The R language eval function is powerful and makes analysis difficult. WWhat are the usage of eval in R?

Rhythm Quantization

Rhythms are represented using trees and quantization is performed by applying rewrite rules on the rhythm trees.