3 papers
cs.DS2024
Random Generation of Git Graphs
Julien Courtiel, Martin Pépin
Version Control Systems, such as Git and Mercurial, manage the history of a project as a Directed Acyclic Graph encoding the various divergences and synchronizations happening in i…
cs.DM2023
Asymptotic analysis and efficient random sampling of directed ordered acyclic graphs
Martin Pépin, Alfredo Viola
Directed acyclic graphs (DAGs) are directed graphs in which there is no path from a vertex to itself. DAGs are an omnipresent data structure in computer science and the problem of…
cs.PL2022
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
Ghiles Ziat, Vincent Botbol, Matthieu Dien +3
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However…