research
∙
04/09/2023
Dependently Typing R Vectors, Arrays, and Matrices
The R programming language is widely used in large-scale data analyses. ...
share
research
∙
11/19/2021
Automated, Targeted Testing of Property-Based Testing Predicates
Context: This work is based on property-based testing (PBT). PBT is an i...
research
∙
10/30/2020
