10 citations · 18 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
Mathieu Montin, Amélie Ledein, Catherine Dubois
Nested datatypes have been widely studied in the past 25 years, both theoretically using category theory, and practically in programming languages such as Haskell. They consist in…
Formally Verified Transformation of Non-binary Constraints into Binary Constraints
Catherine Dubois
It is well known in the Constraint Programming community that any non-binary constraint satisfaction problem (with finite domains) can be transformed into an equivalent binary one.…
Proceedings Second International Workshop on Formal Integrated Development Environment
Catherine Dubois, Paolo Masci, Dominique Méry
This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on…