1 paper
Ivan Mladenov, Alperen Keles, Leonidas Lampropoulos
Property-based testing (PBT) with QuickChick relies on extracting Rocq programs to OCaml. However, this extraction mechanism, while crucial for QuickChick to function, has signific…