Chamelon : A Delta-Debugger for OCaml

Milla Valnet, Nathanaƫlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron. Chamelon : A Delta-Debugger for OCaml. In Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 0001, editors, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Volume 14934 of Lecture Notes in Computer Science, pages 76-83, Springer, 2024. [doi]

Abstract

Abstract is missing.