Writing a useful fuzz-tester for a library like CGAL would be an interesting research problem. CGAL makes it a lot easier for many algorithms because it implements certifying algorithms [1] wherever possible.

[1] https://en.wikipedia.org/wiki/Certifying_algorithm