2 papers
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…
cs.SE2016
Static Analysis of Communicating Processes using Symbolic Transducers
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
We present a general model allowing static analysis based on abstract interpretation for systems of communicating processes. Our technique, inspired by Regular Model Checking, repr…